Verification of real-time properties for Hardware-dependent Software.
Wolfgang MüllerMarcio F. da S. OliveiraHenning ZabelMarkus BeckerPublished in: HLDVT (2010)
Keyphrases
- real time
- dedicated hardware
- low cost
- hardware designs
- graphics hardware
- standard pc
- computer systems
- hardware design
- software systems
- embedded systems
- hardware implementation
- hardware and software
- model checking
- control system
- data acquisition
- real time systems
- digital signal processor
- hardware platforms
- computer hardware
- control software
- formal methods
- blue gene
- software engineering
- video rate
- control unit
- hardware software
- computing platform
- software implementation
- high end
- formal verification
- low latency
- software design
- quality of service
- software development
- image processing