Formal Methods in Designing Embedded Systems-the SACRES Experience.
Klaus WinkelmannPublished in: Formal Methods Syst. Des. (2001)
Keyphrases
- embedded systems
- formal methods
- safety critical
- computing power
- low cost
- formal analysis
- embedded devices
- resource limited
- processing power
- formal specification
- software engineering
- knowledge based systems
- real time systems
- software systems
- artificial intelligence
- real time image processing
- embedded software
- hardware software
- model checking
- hw sw
- field programmable gate array
- databases
- reactive systems
- information systems
- embedded real time systems
- flash memory
- communication technologies
- modeling language
- knowledge management
- cooperative
- database systems
- machine learning