Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.
Stefan BjörnanderLars GrunskeKristina LundqvistPublished in: QoSA (2009)
Keyphrases
- colored petri nets
- petri net
- discrete event
- timed automata
- simulation model
- finite state machines
- real time
- reactive systems
- management system
- high level
- software architecture
- formal specification
- hardware software
- simulation environment
- simulation models
- agent model
- code generation
- architectural design
- distributed architecture
- data flow
- knowledge base