Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation.
Reinhold HeckmannChristian FerdinandPublished in: DATE (2005)
Keyphrases
- memory usage
- embedded software
- safety critical
- embedded systems
- abstract interpretation
- model checking
- memory requirements
- termination analysis
- formal methods
- software architecture
- development projects
- low cost
- active rules
- static analysis
- agent architecture
- fault tolerant
- support systems
- real time
- distributed systems
- object oriented
- multi agent systems
- data mining