Simulation of safety-critical, real-time Java: A case study of dynamic analysis of scoped memory consumption.
Hamza HamzaSteve CounsellPublished in: Simul. Model. Pract. Theory (2012)
Keyphrases
- safety critical
- dynamic analysis
- real time
- static analysis
- fault tolerant
- safety analysis
- formal methods
- reverse engineering
- embedded systems
- agent architecture
- source code
- support systems
- regulatory requirements
- model checking
- open source
- adaptive systems
- knowledge based systems
- object oriented
- case study
- database applications
- formal specification
- low cost
- database systems
- decision making