Automotive SPICE Assessments in Safety-Critical Contexts: An Experience Report.

Giuseppe Lami Fabio Falcini

Published in: ISSRE Workshops (2014)

Keyphrases

safety critical
formal methods
fault tolerant
nuclear power plant
agent architecture
safety analysis
embedded systems
support systems
regulatory requirements
adaptive systems
real time
machine learning
artificial intelligence
decision support
semi automatic