Towards Patterns for Handling Safety Critical Adaptive Control Software.

André Alexandersen Hauge Ketil Stølen

Published in: ICINCO (1) (2011)

Keyphrases

safety critical
control software
adaptive systems
formal methods
safety analysis
fault tolerant
embedded systems
nuclear power plant
agent architecture
support systems
real time
design patterns
control system
object oriented