Establishing trust in remotely reprogrammable systems

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

doi:10.1145/2950112.2964573

Establishing trust in remotely reprogrammable systems

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

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 language	English (US)
Title of host publication	Proceedings of the International Conference on Human-Computer Interaction in Aerospace, HCI-Aero 2016
Publisher	Association for Computing Machinery, [email protected]
ISBN (Print)	9781450344067
DOIs	https://doi.org/10.1145/2950112.2964573
State	Published - Sep 14 2016
Externally published	Yes

Bibliographical note

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

Access to Document

10.1145/2950112.2964573

Cite this

@inproceedings{9c333088327645c18accaf810c5a0f69,

title = "Establishing trust in remotely reprogrammable systems",

abstract = "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.",

author = "Thomas Gurriet and Mote, {Mark L.} and Aaron Ames and Eric Feron",

note = "Generated from Scopus record by KAUST IRTS on 2021-02-18",

year = "2016",

month = sep,

day = "14",

doi = "10.1145/2950112.2964573",

language = "English (US)",

isbn = "9781450344067",

booktitle = "Proceedings of the International Conference on Human-Computer Interaction in Aerospace, HCI-Aero 2016",

publisher = "Association for Computing Machinery, [email protected]",

}

TY - GEN

T1 - Establishing trust in remotely reprogrammable systems

AU - Gurriet, Thomas

AU - Mote, Mark L.

AU - Ames, Aaron

AU - Feron, Eric

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

PY - 2016/9/14

Y1 - 2016/9/14

N2 - 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.

AB - 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.

UR - https://dl.acm.org/doi/10.1145/2950112.2964573

UR - http://www.scopus.com/inward/record.url?scp=85012889710&partnerID=8YFLogxK

U2 - 10.1145/2950112.2964573

DO - 10.1145/2950112.2964573

M3 - Conference contribution

SN - 9781450344067

BT - Proceedings of the International Conference on Human-Computer Interaction in Aerospace, HCI-Aero 2016

PB - Association for Computing Machinery, [email protected]

ER -

Establishing trust in remotely reprogrammable systems

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this