Safety-Critical Java Virtual Machine Services.
James BaxterAna CavalcantiAndy J. WellingsLeo FreitasPublished in: JTRES (2015)
Keyphrases
- safety critical
- java virtual machine
- regulatory requirements
- program execution
- formal methods
- embedded systems
- agent architecture
- web services
- garbage collection
- fault tolerant
- support systems
- ubiquitous computing
- adaptive systems
- memory management
- context aware
- computing environments
- building blocks
- artificial intelligence
- real time
- type checking