Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.
Giacomo BucciAndrea FedeliEnrico VicarioPublished in: SDL Forum (2003)
Keyphrases
- concurrent systems
- real time
- transition systems
- formal specification
- process algebra
- temporal logic
- high fidelity
- formal methods
- distributed systems
- simulation tools
- low cost
- model checking
- petri net
- simulation model
- code generation
- mathematical models
- tool suite
- educational modeling languages
- high speed
- control system
- formal verification
- software tools
- software components
- decision support
- software engineering
- high level