Formal verification of safety-critical user interfaces: a space system case study

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

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Sousa, Manuel	por
dc.contributor.author	Campos, J. Creissac	por
dc.contributor.author	Alves, Miriam	por
dc.contributor.author	Harrison, M. D.	por
dc.date.accessioned	2015-07-30T10:38:11Z	-
dc.date.available	2015-07-30T10:38:11Z	-
dc.date.issued	2014	-
dc.identifier.citation	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.	por
dc.identifier.isbn	9781577356554	por
dc.identifier.uri	https://hdl.handle.net/1822/36509	-
dc.description.abstract	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.	por
dc.description.sponsorship	J.C. Campos is funded by project ref. NORTE-07-0124-FEDER-000062 co-financed by the North Portugal Regional Operational Programme (ON.2 – O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), and by national funds, through the Portuguese foundation for science and technology (FCT).	por
dc.language.iso	eng	por
dc.publisher	Association for the Advancement of Artificial Intelligence	por
dc.rights	openAccess	por
dc.title	Formal verification of safety-critical user interfaces: a space system case study	por
dc.type	conferencePaper	por
dc.peerreviewed	yes	por
sdum.publicationstatus	published	por
oaire.citationStartPage	62	por
oaire.citationEndPage	67	por
oaire.citationVolume	SS-14-02	por
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
sdum.conferencePublication	Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium	por
Aparece nas coleções:	HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
7722-34384-1-pb.pdf		559,86 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas