Utilize este identificador para referenciar este registo: http://hdl.handle.net/1822/36509

TítuloFormal verification of safety-critical user interfaces: a space system case study
Autor(es)Sousa, Manuel
Campos, J. Creissac
Alves, Miriam
Harrison, M. D.
Data2014
EditoraAssociation for the Advancement of Artificial Intelligence
CitaçãoM. 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.
TipoconferencePaper
URIhttp://hdl.handle.net/1822/36509
ISBN9781577356554
Arbitragem científicayes
AcessoopenAccess
Aparece nas coleções:HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
7722-34384-1-pb.pdf559,86 kBAdobe PDFVer/Abrir

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu Currículo DeGóis