A technology compatibility kit for safety critical Java.
Lei ZhaoDaniel TangJan VitekPublished in: JTRES (2009)
Keyphrases
- safety critical
- formal methods
- safety analysis
- support systems
- fault tolerant
- agent architecture
- nuclear power plant
- object oriented
- programming language
- decision makers
- open source
- case study
- artificial intelligence
- source code
- embedded systems
- management system
- database systems
- real time
- learning systems
- low cost
- adaptive systems