A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra.
Stefan FörsterMarco FischerAndré WindischBurkhard BalserDieter MonjauPublished in: IEEE International Workshop on Rapid System Prototyping (2003)
Keyphrases
- process algebra
- embedded systems
- formal specification
- asynchronous circuits
- concurrent systems
- model checking
- formal methods
- communication protocols
- design methodology
- low cost
- web services composition
- computing power
- embedded software
- resource limited
- embedded devices
- petri net
- real time systems
- temporal logic
- hw sw
- software systems
- formal languages
- distributed systems
- protocol stack
- reverse engineering
- real time
- conceptual model