Verification of Embedded Systems Based on Interval Analysis.
Iñigo UgartePablo SanchezPublished in: Int. J. Parallel Program. (2005)
Keyphrases
- embedded systems
- interval analysis
- autocalibration
- constrained optimization
- constraint propagation
- low cost
- embedded software
- computing power
- real time systems
- embedded devices
- resource limited
- fuzzy set theory
- hw sw
- hardware software
- embedded real time systems
- field programmable gate array
- fuzzy logic
- position and orientation
- constraint satisfaction problems