Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.
Peter Csaba ÖlveczkyPublished in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Keyphrases
- formal analysis
- embedded systems
- modeling language
- formal methods
- safety critical
- real time systems
- real time
- low cost
- resource limited
- hardware software
- formal specification
- agent model
- computing power
- embedded devices
- smart camera
- embedded software
- control flow
- metamodel
- software systems
- hw sw
- embedded real time systems
- model checking
- field programmable gate array
- ban logic
- knowledge based systems
- cyber physical systems
- real time embedded