Safety critical applications and hard real-time profile for Java: a case study in avionics.
Erik Yu-Shing HuEric JennNicolas ValotAlejandro AlonsoPublished in: JTRES (2006)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- safety analysis
- nuclear power plant
- embedded systems
- agent architecture
- support systems
- case study
- programming language
- adaptive systems
- source code
- regulatory requirements
- open source
- multi agent
- knowledge based systems
- databases
- web services
- development process
- user profiles
- distributed systems
- low cost
- object oriented
- multi agent systems
- artificial intelligence
- data mining