Abstract | ||
---|---|---|
We introduce a simulator (slimsim) for a subset of AADL extended with formalized behavioral semantics for nominal and error models. The simulator allows to perform probabilistic analysis using the Monte Carlo method, on linear-hybrid, stochastic models, which describe a combination of nominal and error behaviors of hard- and software components. The tool supports the use of different strategies, which control the behavior of the simulator when dealing with various forms of non-determinism. The simulator is tested using benchmarks of the COMPASS toolset, as well as a case study by Airbus Defense and Space. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/DSN.2015.32 | The International Conference on Dependable Systems and Networks |
Keywords | Field | DocType |
Monte Carlo methods,reachability analysis,software engineering,statistical analysis,AADL model,COMPASS toolset,Monte Carlo method,error model,formalized behavioral semantics,linear-hybrid model,nominal model,slimsim,software components,statistical approach,stochastic model,timed reachability | Data modeling,Synchronization,Monte Carlo method,Compass,Computer science,Real-time computing,Probabilistic analysis of algorithms,Reachability,Stochastic modelling,Component-based software engineering,Distributed computing | Conference |
ISSN | Citations | PageRank |
1530-0889 | 2 | 0.37 |
References | Authors | |
26 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Harold Bruintjes | 1 | 50 | 2.58 |
Joost-Pieter Katoen | 2 | 4444 | 289.65 |
David Lesens | 3 | 2 | 0.37 |