Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems.
Tino TeigeAndreas EggersKarsten ScheiblerMatthias StaschUdo BrockmeyerHans Jürgen HolbergTom BienmüllerPublished in: FM (2021)
Keyphrases
- embedded systems
- formal methods
- safety critical
- resource limited
- low cost
- computing power
- hardware software
- embedded software
- artificial intelligence
- embedded devices
- processing power
- real time systems
- knowledge based systems
- formal specification
- real time image processing
- software systems
- software engineering
- protocol stack
- flash memory
- model checking
- hw sw
- information systems
- critical infrastructure
- field programmable gate array
- modeling language
- reactive systems
- data model
- multi agent
- knowledge base
- consumer electronics