skip to main content
10.1145/1479772.1479778acmconferencesArticle/Chapter ViewAbstractPublication PagessereneConference Proceedingsconference-collections
research-article

An integrated framework for the dependability evaluation of distributed mobile applications

Published: 17 November 2008 Publication History

Abstract

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.

References

[1]
A. Balogh and D. Varró. Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In ACM Symposium on Applied Computing --- Model Transformation Track (SAC 2006), pages 1280--1287, Dijon, France, April 2006. ACM Press.
[2]
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and I. Mura. Dependability Modeling and Evaluation of Multiple-Phased Systems using DEEM. IEEE Transactions on Reliability, 53(4):509--522, 2004.
[3]
A. Bondavalli, M. D. Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability Analysis in the Early Phases of UML Based System Design. International Journal of Computer Systems - Science & Engineering, 16(5):265--275, September 2001.
[4]
A. Bondavalli, I. Mura, S. Chiaradonna, R. Filippini, S. Poli, and F. Sandrini. DEEM: a Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. In DSN-2000 IEEE Int. Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8), pages 231--236, June 25--28 2000.
[5]
G. Ciardo and C. Lindemann. Analysis of Deterministic and Stochastic Petri Nets. In Proc. 5th Int. Workshop on Petri Nets and Performance Models (PNPM'93), pages 160--169, Toulouse, France, October 1993.
[6]
M. Fiore, J. Härri, F. Filali, and C. Bonnet. Vehicular Mobility Simulation for VANETs. In Annual Simulation Symposium, pages 301--309, 2007.
[7]
L. Gönczy, S. Chiaradonna, F. D. Giandomenico, A. Pataricza, A. Bondavalli, and T. Bartha. Dependability Evaluation of Web Service-Based Processes. In EPEW, pages 166--180, 2006.
[8]
B. R. Haverkort and I. G. Niemegeers. Performability Modelling Tools and Techniques. Performance Evaluation, 25:17--40, 1996.
[9]
HIDENETS. HIghly DEpendable ip-based NETworks and Services (contract n. 26979). http://www.hidenets.aau.dk.
[10]
HIDENETS Consortium. Use Case Scenarios and Preliminary Reference Model. Technical report, available at http://www.hidenets.aau.dk/, public deliverables section, September 2006.
[11]
I. Majzik, P. Domokos, and M. Magyar. Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems. In E. Schnieder and G. Tarnai, editors, Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 342--352, Braunschweig, Germany, 25--26 January 2007.
[12]
I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic Dependability Analysis of System Architecture Based on UML Models. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, volume LNCS-2677, pages 219--244, Berlin, 2003. Springer Verlag.
[13]
M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. SIGMETRICS Performance Evaluation Review, 26(2):2, 1998.
[14]
M. Moretto. Progettazione, realizzazione ed utilizzo di un generatore di simulatori per sistemi a fasi multiple. Master's thesis, Università degli Studi di Pisa, 2004/2005. in Italian, available at http://dcl.isti.cnr.it/.
[15]
I. Mura and A. Bondavalli. Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions. IEEE Transactions on Computers, 50(12):1337--1351, 2001.
[16]
I. Mura, A. Bondavalli, X. Zang, and K. S. Trivedi. Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach. In IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications, pages 319--337, San Jose, CA, USA, January 6--8 1999.
[17]
D. M. Nicol, W. H. Sanders, and K. S. Trivedi. Model-Based Evaluation: From Dependability to Security. IEEE Transactions on Dependable and Securure Computing, 1(1):48--65, 2004.
[18]
A.-E. Rugina, K. Kanoun, and M. Kaâniche. A System Dependability Modeling Framework Using AADL and GSPNs, volume 4615 of LNCS, pages 14--38. Springer Berlin / Heidelberg, 2007.
[19]
W. H. Sanders. Integrated Frameworks for Multi-Level and Multi-Formalism Modeling. In Proc. of The 8th International Workshop on Petri Nets and Performance Models, page 2, 1999.

Cited By

View all
  • (2018)Experimental assessment of combining pattern matching strategies with VIATRA2International Journal on Software Tools for Technology Transfer (STTT)10.5555/3220879.322095912:3-4(211-230)Online publication date: 28-Dec-2018
  • (2011)The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile SystemsIEEE Transactions on Mobile Computing10.1109/TMC.2010.22210:6(783-796)Online publication date: 1-Jun-2011
  • (2011)Dependability Concerns in Model-Driven EngineeringProceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops10.1109/ISORCW.2011.32(254-263)Online publication date: 28-Mar-2011
  • Show More Cited By
  1. An integrated framework for the dependability evaluation of distributed mobile applications

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
    November 2008
    133 pages
    ISBN:9781605582757
    DOI:10.1145/1479772
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 17 November 2008

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. dependability evaluation
    2. mobile applications
    3. multiple phased systems

    Qualifiers

    • Research-article

    Conference

    SERENE '08
    Sponsor:

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 17 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2018)Experimental assessment of combining pattern matching strategies with VIATRA2International Journal on Software Tools for Technology Transfer (STTT)10.5555/3220879.322095912:3-4(211-230)Online publication date: 28-Dec-2018
    • (2011)The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile SystemsIEEE Transactions on Mobile Computing10.1109/TMC.2010.22210:6(783-796)Online publication date: 1-Jun-2011
    • (2011)Dependability Concerns in Model-Driven EngineeringProceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops10.1109/ISORCW.2011.32(254-263)Online publication date: 28-Mar-2011
    • (2011)Towards a MDE Transformation Workflow for Dependability AnalysisProceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems10.1109/ICECCS.2011.23(157-166)Online publication date: 27-Apr-2011
    • (2010)Architecting and validating dependable systemsArchitecting dependable systems VII10.5555/1985596.1985613(297-321)Online publication date: 1-Jan-2010
    • (2010)Experimental assessment of combining pattern matching strategies with VIATRA2International Journal on Software Tools for Technology Transfer10.1007/s10009-010-0149-712:3-4(211-230)Online publication date: 11-Apr-2010
    • (2010)Architecting and Validating Dependable Systems: Experiences and VisionsArchitecting Dependable Systems VII10.1007/978-3-642-17245-8_13(297-321)Online publication date: 2010

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media