Establishing trust in remotely reprogrammable systems

Thomas Gurriet, Mark L. Mote, Aaron Ames, Eric Feron

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


Remote reprogrammability can serve as a powerful and enabling tool, allowing widespread and rapid evolution of cyber-physical systems. Together with the effects of ever increasing automation, this tool is redefining the relationship between the designer, user, and their methods of interaction with the system. The cost of these advancements is a series of new challenges in terms of safety and security. This paper describes the need for a formal framework in which safety, performance, and all operational modes of the system can be described and analyzed efficiently. An approach to establishing trustworthiness of cyber-physical systems that allows for automated and efficient verification of the system is considered in the context of a concrete implementation.
Original languageEnglish (US)
Title of host publicationProceedings of the International Conference on Human-Computer Interaction in Aerospace, HCI-Aero 2016
PublisherAssociation for Computing Machinery,
ISBN (Print)9781450344067
StatePublished - Sep 14 2016
Externally publishedYes

Bibliographical note

Generated from Scopus record by KAUST IRTS on 2021-02-18


Dive into the research topics of 'Establishing trust in remotely reprogrammable systems'. Together they form a unique fingerprint.

Cite this