Name
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. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1145/2950112.2964573 | HCI-Aero |
Field | DocType | Citations |
Software engineering,Trustworthiness,Computer science,Computer security,Automation,Human–computer interaction,Cyber-physical system,Software quality | Conference | 0 |
PageRank | References | Authors |
0.34 | 7 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Thomas Gurriet | 1 | 7 | 3.26 |
| Mark L. Mote | 2 | 0 | 0.34 |
| Aaron D. Ames | 3 | 1202 | 136.68 |
| Eric Feron | 4 | 42 | 8.23 |