Rigorous Development of Embedded Systems Supported by Formal Tools.
Tomasz SzmucWojciech SzmucPublished in: MIXDES (2020)
Keyphrases
- embedded systems
- embedded real time systems
- communication technologies
- embedded software
- low cost
- real time systems
- safety critical
- computing power
- resource limited
- embedded devices
- processing power
- commercial software
- formal methods
- hw sw
- case study
- hardware software
- real time image processing
- development process
- resource usage
- mathematical foundations
- flash memory
- software developers
- real world
- mobile devices
- building blocks
- software systems
- information systems