Formal Verification of a Space System's User Interface With the IVY Workbench

dc.contributor.author José Creissac Campos en
dc.contributor.author Sousa,M en
dc.contributor.author Bergue Alves,MCB en
dc.contributor.author Michael Douglas Harrison en
dc.date.accessioned 2017-12-21T23:37:10Z
dc.date.available 2017-12-21T23:37:10Z
dc.date.issued 2016 en
dc.description.abstract This paper describes the application of the IVY workbench to the formal analysis of a user interface for a safety-critical aerospace system. The operation manual of the system was used as a requirement 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 verification. This paper discusses both the modeling strategy and the analytical results found using the IVY workbench. The purpose of the reference model is to provide a standard against which future versions of the interface may be assessed. en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/4719
dc.identifier.uri http://dx.doi.org/10.1109/thms.2015.2421511 en
dc.language eng en
dc.relation 5599 en
dc.relation 6421 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Formal Verification of a Space System's User Interface With the IVY Workbench en
dc.type article en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00K-9T0.pdf
Size:
1.61 MB
Format:
Adobe Portable Document Format
Description: