MARTE vs. AADL for Discrete-Event and Discrete-Time Domains.
Frédéric MalletRobert de SimonePublished in: FDL (Selected Papers) (2008)
Keyphrases
- discrete event
- dynamic systems
- simulation model
- discrete event simulation
- discrete event systems
- crisis response
- dynamical systems
- hybrid systems
- real world
- supervisory control
- markov chain
- multiple faults
- real time
- mathematical modeling
- test cases
- expert systems
- search algorithm
- manufacturing process
- cooperative
- test case generation