Performability modelling tools and techniques
Performance Evaluation
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Dependability Modeling and Evaluation of Phased Mission Systems: A DSPN Approach
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
Integrated Frameworks for Multi-Level and Multi-Formalism Modeling
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Vehicular Mobility Simulation for VANETs
ANSS '07 Proceedings of the 40th Annual Simulation Symposium
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
A system dependability modeling framework using AADL and GSPNs
Architecting dependable systems IV
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Efficient Model Transformations by Combining Pattern Matching Strategies
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Architecting and validating dependable systems: experiences and visions
Architecting dependable systems VII
| Hi-index | 0.00 |
Current distributed mobile systems are usually characterized by a huge number of nodes, different network domains, different applications running, variability of the users' behavior, and dynamicity and heterogeneity of the communication networks. A typical example can be found in the automotive context, considering car-to-car and car-to-infrastructure communication scenarios. In this paper we propose a model-based approach for the dependability evaluation of distributed applications in a mobile environment. The final Multiple Phased System model representing the analyzed mobile scenario is automatically derived from high-level UML specifications through a sequence of model transformation steps. The evaluation workflow is based on i) a hierarchical modelling approach that analyzes the system at different levels, namely communication, architecture, application and user level; ii) a time-based system decomposition identifying different phases for different user activities and environment conditions.