The Cardiac Pacemaker: SystemJ versus Safety Critical Java.
HeeJong ParkAvinash MalikMuhammad NadeemZoran A. SalcicPublished in: JTRES (2014)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- embedded systems
- nuclear power plant
- agent architecture
- safety analysis
- open source
- support systems
- regulatory requirements
- source code
- adaptive systems
- programming language
- object oriented
- artificial intelligence
- web services
- expert systems
- real time
- medical diagnosis
- cooperative
- case study