Towards usage of formal methods within embedded systems co-design.
Luís GomesJoão Paulo BarrosAnikó CostaRui PaisFilipe MoutinhoPublished in: ETFA (2005)
Keyphrases
- embedded systems
- formal methods
- safety critical
- low cost
- embedded devices
- computing power
- processing power
- model checking
- embedded software
- resource limited
- artificial intelligence
- real time image processing
- hw sw
- real time systems
- formal specification
- software systems
- consumer electronics
- knowledge based systems
- software engineering
- field programmable gate array
- embedded real time systems
- development lifecycle
- communication technologies
- hardware software
- real time
- formal specification language
- reactive systems
- flash memory
- knowledge representation
- information systems
- database