Safety-Critical Java on a Time-Predictable Processor.
Stephan Erbs KorsholmMartin SchoeberlWolfgang PuffitschPublished in: JTRES (2015)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- agent architecture
- safety analysis
- nuclear power plant
- embedded systems
- open source
- object oriented
- programming language
- source code
- web services
- support systems
- adaptive systems
- regulatory requirements
- database applications
- real time
- software systems
- control system
- database systems