Graphical Design of Embedded Control System Software Based on SDL/RealTime with Special Support for Safety Critical Applications.
R. WelgeChristian Müller-SchloerPublished in: IEEE International Workshop on Rapid System Prototyping (1999)
Keyphrases
- safety critical
- embedded systems
- safety analysis
- support systems
- control system
- formal methods
- software intensive systems
- control software
- real time
- low cost
- nuclear power plant
- fault tolerant
- agent architecture
- user interface
- software systems
- regulatory requirements
- knowledge based systems
- modeling language
- adaptive systems
- design patterns
- decision support
- knowledge acquisition
- case study
- artificial intelligence