Safety-critical Java for low-end embedded platforms.
Hans SøndergaardStephan KorsholmAnders P. RavnPublished in: JTRES (2012)
Keyphrases
- low end
- safety critical
- embedded systems
- safety analysis
- high end
- formal methods
- fault tolerant
- low cost
- agent architecture
- source code
- object oriented
- software systems
- support systems
- open source
- low bit rate
- databases
- distributed systems
- programming language
- adaptive systems
- knowledge base
- information systems
- software engineering
- learning process