Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/51349| Título: | Formal verification of a space system's user Interface with the IVY workbench |
| Autor(es): | Campos, José C. Sousa, Manuel Alves, Miriam C. Bergue Harrison, Michael douglas |
| Palavras-chave: | Formal verification IVY workbench Usability |
| Data: | Abr-2016 |
| Editora: | Institute of Electrical and Electronics Engineers (IEEE) |
| Revista: | IEEE Transactions on Human-Machine Systems |
| Resumo(s): | 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. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/51349 |
| DOI: | 10.1109/THMS.2015.2421511 |
| ISSN: | 2168-2291 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| thms-paper-author_version.pdf | 1,66 MB | Adobe PDF | Ver/Abrir |
