Interval analysis of microcontroller code using abstract interpretation of hardware and software.
Jörg BrauerThomas NollBastian SchlichPublished in: SCOPES (2010)
Keyphrases
- hardware and software
- interval analysis
- abstract interpretation
- static analysis
- low cost
- termination analysis
- dynamic analysis
- autocalibration
- constrained optimization
- source code
- constraint propagation
- computer systems
- model checking
- active rules
- fuzzy set theory
- active databases
- control system
- databases
- reasoning engine
- open source
- database
- data model
- hardware software co design
- software and hardware implementations