Login / Signup
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.
Martin Becker
Sajid Mohamed
Karsten Albers
P. P. Chakrabarti
Samarjit Chakraborty
Pallab Dasgupta
Soumyajit Dey
Ravindra Metta
Published in:
APSEC (2015)
Keyphrases
</>
safety critical
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
agent architecture
support systems
adaptive systems
regulatory requirements
software intensive systems
information systems
medical images
low cost
case study
decision making
artificial intelligence