Safety Critical Java erleichtert die Zertifizierung sicherheitskritischer Echtzeit-Anwendungen.
Thomas HentiesPublished in: Software Engineering (Workshops) (2008)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- nuclear power plant
- embedded systems
- safety analysis
- agent architecture
- support systems
- open source
- object oriented
- source code
- web services
- programming language
- adaptive systems
- artificial intelligence
- database applications
- data mining
- regulatory requirements
- decision support system
- knowledge base