Model-based Testing and Monitoring for Hybrid Embedded Systems.
Li TanJesung KimOleg SokolskyInsup LeePublished in: IRI (2004)
Keyphrases
- embedded systems
- model based testing
- low cost
- embedded software
- test cases
- computing power
- embedded devices
- resource limited
- software development
- real time
- software systems
- hw sw
- hardware software
- real time systems
- embedded real time systems
- field programmable gate array
- cyber physical systems
- software design
- consumer electronics
- security policies
- databases
- software testing
- testing process
- software engineering
- cooperative
- case study
- database