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
Conference paper
Electronic Resource
English
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
Cybersecurity Guidebook for Cyber-Physical Vehicle Systems
SAE Technical Papers | 2021