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
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-009-Q6K.pdf
Size:
559.86 KB
Format:
Adobe Portable Document Format
Description: