Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project.

Gerald Sonneck Erwin Schoitsch

Published in: SAFECOMP (1999)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
embedded systems
agent architecture
nuclear power plant
project management
real time
artificial intelligence
software development
case study
databases
expert systems
knowledge base
e learning
machine learning
regulatory requirements