Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services

Authors:
Gergely Pintér;Zoltán Micskei;András Kövi;Zoltán Égel;Imre Kocsis;Gábor Huszerl;András Pataricza
Affiliations:
Department of Measurement and Information Systems, Budapest University of Technology and Economics,;Department of Measurement and Information Systems, Budapest University of Technology and Economics,;Department of Measurement and Information Systems, Budapest University of Technology and Economics,;Department of Measurement and Information Systems, Budapest University of Technology and Economics,;Department of Measurement and Information Systems, Budapest University of Technology and Economics,;Department of Measurement and Information Systems, Budapest University of Technology and Economics,;Department of Measurement and Information Systems, Budapest University of Technology and Economics,
Venue:
Architecting Dependable Systems V
Year:
2008

Citing 6
Cited 0

Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems

Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
Basic Concepts and Taxonomy of Dependable and Secure Computing

IEEE Transactions on Dependable and Secure Computing
A Self-Aware Clock for Pervasive Computing Systems

PDP '07 Proceedings of the 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
Mobile Systems from a Validation Perspective: a Case Study

ISPDC '07 Proceedings of the Sixth International Symposium on Parallel and Distributed Computing
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation

PRDC '07 Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing
Security rationale for a cooperative backup service for mobile devices

LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents our results in the field of Model Driven Design (MDD) gained in dependable, distributed application development communicating over ad-hoc mobile networks. The context of the discussion is the Highly Dependable IP-based Networks and Services (Hidenets) research project. Our efforts involve (i) construction of the platform's UML model, (ii) construction of a metamodelillustrating the intended organization of applications running on the platform, (iii) defining a UML profileon the basis of the metamodel facilitating the integration of the basic services provided by the Hidenets platform to support high availability of the application and (iv) providing a set of dependability enforcing design patternsto support the implementation of applications built for the Hidenets platform using our profile. The paper highlights the benefits of applying model-based approaches in the context of complex dependability frameworks.