An automated software verification tool for model-based development of embedded systems with simulink®.
Josef BörcsökWalid ChaabanMichael H. SchwarzHuiyun ShengOleksandr ShelehBatsuren BatchuluunPublished in: ICAT (2009)
Keyphrases
- embedded systems
- embedded software
- embedded real time systems
- low cost
- safety critical
- communication technologies
- field programmable gate array
- computing power
- resource limited
- embedded devices
- processing power
- real time image processing
- real time systems
- cooperative
- case study
- software systems
- hw sw
- flash memory
- hardware software
- development projects
- consumer electronics
- high level
- sequence diagrams
- development process
- real world
- hardware implementation
- hardware and software