This paper describes a cyber-physical architecture for behavior modeling and formal evaluation of safety properties in connected-vehicle systems. An ontology-based framework provides the description logic (DL) semantics and reasoning support needed for decision making. Safety properties are modeled as hard constraints, with their fulfillment determined through the synthesis and realization of predefined pathways on decision trees. To exercise the methodology, we consider the problem of ensuring system-level safety for a family of autonomous intelligent automobiles approaching a yellow traffic light.
Cyber-physical architecture for modeling and enhanced operations of connected-vehicle systems
2013-12-01
2009156 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Architecture Driven Development for Cyber Physical Systems
SAE Technical Papers | 2009
|Zero Trust Architecture Patterns for Cyber-Physical Systems
SAE Technical Papers | 2023
|Cybersecurity Guidebook for Cyber-Physical Vehicle Systems
SAE Technical Papers | 2016
Special Issue on Cyber Transportation Systems and Connected Vehicle Research
Taylor & Francis Verlag | 2016
|