9th IET International Conference on System Safety and Cyber Security (2014) 2014
DOI: 10.1049/cp.2014.0964
|View full text |Cite
|
Sign up to set email alerts
|

Proving Properties of Automotive Systems of Systems under ISO 26262 using Automated Formal Methods

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2016
2016
2023
2023

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 6 publications
(1 citation statement)
references
References 0 publications
0
1
0
Order By: Relevance
“…(Keating, C. B., and Katina 2011). Recently, SoSE practices have been broadened to include much smaller systems such as automotive SoS (Tudor and Botham 2014). For example, the electric-vehicle (EV) ecosystem can be considered an automotive system of systems that consists of multiple constituent systems such as the vehicle, the charging stations, the infrastructure and the information and communication systems that work together to achieve a unique capability (Doufene et al 2014).…”
Section: Systems Of Systems Engineering (Sose)mentioning
confidence: 99%
“…(Keating, C. B., and Katina 2011). Recently, SoSE practices have been broadened to include much smaller systems such as automotive SoS (Tudor and Botham 2014). For example, the electric-vehicle (EV) ecosystem can be considered an automotive system of systems that consists of multiple constituent systems such as the vehicle, the charging stations, the infrastructure and the information and communication systems that work together to achieve a unique capability (Doufene et al 2014).…”
Section: Systems Of Systems Engineering (Sose)mentioning
confidence: 99%