A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Formal Verification of a Space System's User Interface With the IVY Workbench
2016
IEEE Transactions on Human-Machine Systems
This paper describes the application of the IVY workbench to the formal analysis of a user interface for a safetycritical aerospace system. The operations manual of the system was used as a requirements document and this made it possible to build a reference model of the user interface, focusing on navigation between displays, the information provided by each display and how they are interrelated. Usability related property specification patterns were then used to derive relevant properties for
doi:10.1109/thms.2015.2421511
fatcat:ngnnguh4ufecrbpgtayskgvtqa