Formal Semantics of a VDM Extension for Distributed Embedded Systems.
Jozef HoomanMarcel VerhoefPublished in: Concurrency, Compositionality, and Correctness (2010)
Keyphrases
- embedded systems
- formal semantics
- low cost
- embedded devices
- computing power
- resource limited
- real time systems
- distributed systems
- logical reasoning
- cooperative
- embedded software
- artificial intelligence
- logical language
- design rationale
- modeling language
- theorem prover
- first order logic
- software systems
- field programmable gate array
- real time embedded
- operational semantics
- modelling language
- embedded real time systems
- protocol stack
- consumer electronics
- multi agent
- flash memory
- computer networks
- natural language
- hardware software
- e learning
- machine learning
- relational databases
- object oriented
- owl dl ontology