Abstract
The requirement for higher reliability and availability of systems is continuously increasing even in domains not traditionally strongly involved in such issues. Solutions are expected to be efficient, flexible, reusable on rapidly evolving hardware and of course at low cost. Model driven approaches can be very helpful for this purpose. In this paper, we propose a study associating model-driven technology and component-based development. This work is illustrated by the realization of a use case from aerospace industry that has fault-tolerance requirements: a launch vehicle.
UML based modeling is used to capture application structure and related non-functional requirements thanks to the profiles CCM (CORBA Component Model) and QoS&FT (Quality of Service and Fault Tolerance). The application model is enriched with infrastructure component dedicated to fault-tolerance. From this model we generate CCM descriptor files which in turns are used to build bootcode (static deployment) which instantiates, configures and connects components. Within this process, component replication and FT properties are declaratively specified at model level and are transparent for the component implementation.
Chapter PDF
Similar content being viewed by others
Keywords
References
Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed system. Journal of the ACM 43(2), 225–267 (1996)
Dumitras, T., Srivastava, D., Narasimhan, P.: Architecting and implementing versatile dependability. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol. 3549, pp. 212–231. Springer, Heidelberg (2005)
Feiler, P., Rugina, A.: Dependability Modeling with the Architecture Analysis & Design Language (AADL). Technical report, CMU/SEI-2007-TN-043 (2007)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical report, CMU/SEI-2006-TN-011 (2006)
Fraga, J., Siqueira, F., Favarim, F.: Adaptive Fault-Tolerant Component Model. In: Ninth IEEE international workshop on Object-Oriented Real-Time Dependable Systems (2003)
Hamid, B.: Distributed fault-tolerance techniques for local computations. Ph.D thesis, University of Bordeaux 1 (2007)
Hamid, B., Lanusse, A., Radermacher, A., Gérard, S.: Designing Reconfigurable Component Systems with a Model Based Approach. In: Workshop on Adaptive and Reconfigurable Embedded Systems, APRES (to appear, 2008)
Hayden, M.G.: The Ensemble System. Ph.D thesis, Cornell University (1998)
Kobusinska, A., Kobusinski, J., Szychowiak, M.: An Analysis of distributed platforms applying replication mechanisms. Technical Report Report RA-014, Poznan University of Technology (2001)
Lung, L.C., Favarim, F., Santos, G.T., Correia, M.: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA. In: ISORC 2006: Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006), Washington, DC, USA, 2006, pp. 504–511. IEEE Computer Society Press, Los Alamitos (2006)
OMG. CORBA Core specification, Version 3.0.3. OMG Document formal/2004-03-12 (2004)
OMG. CORBA Core specification, Version 3.0.3. OMG Document formal/2004-03-12 (2004)
OMG. CORBA Component Model Specification, Version 4.0, 4. OMG Document formal/2006-04-01 (2006)
OMG. Deployment and Configuration of Component Based Distributed Applications, v4.0. OMG document ptc/2006-04-02 (2006)
OMG. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, 5. OMG Document formal/2006-05-02 (2006)
OMG. UML Profile for MARTE. OMG document ptc/07-08-04 (2007)
Ren, Y., Cukier, M., Sanders, W.H.: An adaptive algorithm for tolerating value faults and crash failures. IEEE transaction on parallel an distributed systems 2, 173–192 (2001)
Robert, S., Radermacher, A., Seignole, V., Gérard, S., Watine, V., Terrier, F.: Enhancing interaction support in the corba component model. In: From Specification to Embedded Systems Application
Schmidt, D.: Model-driven engineering. IEEE computer 39(2), 41–47 (2006)
Zinky, J.A., Bakken, D.E., Schantz, R.E.: Architectural support for quality of service for CORBA objects. Theory and Practice of Object Systems 3(1) (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
� 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Hamid, B., Radermacher, A., Lanusse, A., Jouvray, C., G�rard, S., Terrier, F. (2008). Designing Fault-Tolerant Component Based Applications with a Model Driven Approach. In: Brinkschulte, U., Givargis, T., Russo, S. (eds) Software Technologies for Embedded and Ubiquitous Systems. SEUS 2008. Lecture Notes in Computer Science, vol 5287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87785-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-87785-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87784-4
Online ISBN: 978-3-540-87785-1
eBook Packages: Computer ScienceComputer Science (R0)