Formal verification of safety-critical user interfaces: A space system case study
Formal verification of safety-critical user interfaces: A space system case study
dc.contributor.author | Sousa,M | en |
dc.contributor.author | José Creissac Campos | en |
dc.contributor.author | Alves,M | en |
dc.contributor.author | Michael Douglas Harrison | en |
dc.date.accessioned | 2017-12-21T12:26:45Z | |
dc.date.available | 2017-12-21T12:26:45Z | |
dc.date.issued | 2014 | en |
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. Copyright | en |
dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/4633 | |
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 safety-critical user interfaces: A space system case study | en |
dc.type | conferenceObject | en |
dc.type | Publication | en |
Files
Original bundle
1 - 1 of 1