Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36509
Título: | Formal verification of safety-critical user interfaces: a space system case study |
Autor(es): | Sousa, Manuel Campos, J. Creissac Alves, Miriam Harrison, M. D. |
Data: | 2014 |
Editora: | Association for the Advancement of Artificial Intelligence |
Citação: | M. Sousa, J.C. Campos, M. Alves and M.D. Harrison. Formal Verification of Safety-Critical User Interfaces: a space system case study. In Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, pages 62-67. AAAI Press. 2014. |
Resumo(s): | Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces based on model checking techniques. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/36509 |
ISBN: | 9781577356554 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
7722-34384-1-pb.pdf | 559,86 kB | Adobe PDF | Ver/Abrir |