Dependability of Safety-Critical Computer Systems through Component-Based Evolution.
Vyacheslav S. KharchenkoVladimir V. SklyarAlexandr SioraPublished in: DepCoS-RELCOMEX (2009)
Keyphrases
- computer systems
- safety critical
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- agent architecture
- data processing
- nuclear power plant
- computing systems
- communication systems
- support systems
- information processing systems
- information systems
- high end
- adaptive systems
- real time
- regulatory requirements
- human beings
- distributed systems
- ambient intelligence
- intelligent agents
- software engineering
- object oriented
- multi agent systems
- multi agent
- decision making
- artificial intelligence