Towards pattern-based reuse in safety-critical systems.

Nermin Kajtazovic Christopher Preschern Andrea Höller Christian Kreiner

Published in: EuroPLoP (2014)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
real time
nuclear power plant
databases
agent architecture
support systems
artificial intelligence
knowledge based systems