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, Incacmhelp@acm.org|
|State||Published - Sep 14 2016|