A Profile for Safety Critical Java.
Martin SchoeberlHans SøndergaardBent ThomsenAnders P. RavnPublished in: ISORC (2007)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- agent architecture
- safety analysis
- embedded systems
- nuclear power plant
- object oriented
- support systems
- open source
- source code
- regulatory requirements
- programming language
- database applications
- adaptive systems
- load balancing
- user profiles
- knowledge base
- intelligent agents
- software development
- web services