Matlab extensions for the development, testing and verification of real-time DSP software.
David P. MageePublished in: DAC (2005)
Keyphrases
- real time
- software testing
- digital signal processor
- development lifecycle
- testing process
- quality assurance
- formal methods
- formal verification
- safety critical
- test cases
- development process
- embedded software
- software development
- software design
- object oriented software
- software developers
- cross platform
- programming environments
- software process
- knowledge based systems
- regression testing
- signal processing
- high speed
- technical issues
- software evolution
- software application
- design patterns
- software tools
- model checking
- computer systems
- source code
- hardware platforms
- development cycle
- test suite
- dedicated hardware
- computer network security
- design tools
- software architecture
- data acquisition
- vision system
- low cost
- control system
- case study
- image processing
- information systems