Abstract
For efficiency and cost control reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications and design, and also to perform dependability analyses. The SAE (Society of Automotive Engineers) AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling. We present a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of dependability measures, such as reliability or availability. We propose a stepwise approach for system dependability modeling using AADL. The AADL dependability model is transformed into a GSPN (Generalized Stochastic Petri Net) by applying model transformation rules that can be automated. The resulting GSPN can be processed by existing tools. The modeling approach is illustrated on a subsystem of the French Air Traffic Control System.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
SAE-AS5506: SAE Architecture Analysis and Design Language (AADL), International Society of Automotive Engineers, Warrendale, PA, USA (November 2004)
SAE-AS5506/1: SAE Architecture Analysis and Design Language (AADL) Annex vol. 1, Annex E: Error Model Annex, International Society of Automotive Engineers, Warrendale, PA, USA (June 2006)
Bondavalli, A., Chiaradonna, S., Di Giandomenico, F., Mura, I.: Dependability Modeling and Evaluation of multiple-phased systems, using DEEM. IEEE Transactions on Reliability 53, 509–522 (2004)
Kanoun, K., Borrel, M.: Fault-tolerant systems dependability. Explicit modeling of hardware and software component-interactions. IEEE Transactions on Reliability 49, 363–376 (2000)
Bernardi, S., Bobbio, A., Donatelli, S.: Petri Nets and Dependability. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 125–179. Springer, Heidelberg (2004)
Farines, J.-M., et al.: The Cotre project: rigorous software development for real time systems in avionics. In: 27th IFAC/IFIP/IEEE Workshop on Real Time Programming, Zielona Góra, Poland (2003)
Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Scheduling and Memory Requirements Analysis with AADL. In: SIGAda Int. Conf. on Ada, Atlanta, GE, USA (2005)
Béounes, C., et al.: Surf-2: a program for dependability evaluation of complex hardware and software systems. In: 23rd IEEE Int. Symposium on Fault Tolerant Computing, Toulouse, France, IEEE Computer Society Press, Los Alamitos (1993)
Deavours, D.D., et al.: The Mobius Framework and its Implementation. IEEE Transactions on Software Engineering 28, 956–969 (2002)
Hirel, C., Sahner, R., Zang, X., Trivedi, K.: Reliability and performability modeling using SHARPE 2000. In: 11th Int. Conf. on Computer Performance Evaluation: Modelling Techniques and Tools, Schaumburg, IL, USA (2000)
Bernardi, S., Bertoncello, C., Donatelli, S., Franceschinis, G., Gaeta, R., Gribaudo, M., Horvath, A.: GreatSPN in the new millenium. In: Tool Session of 9th Int. Workshop on Petri Nets and Performance Models, Aachen, Germany (2001)
Ciardo, G., Trivedi, K.S.: SPNP: The Stochastic Petri Net Package (Version 3.1). In: 1st Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, San Diego, CA, USA (1993)
Rugina, A.E., Kanoun, K., Kaâniche, M.: An Architecture-based Dependability Modeling Framework using AADL. In: 10th IASTED Int. Conf. on Software Engineering and Applications, Dallas, USA (2006)
Rugina, A.E., Kanoun, K., Kaâniche, M.: Modélisation de la sûreté de fonctionnement à partir du langage AADL. In: 15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Lille, France (2006)
Hugues, J., Kordon, F., Pautet, L., Vergnaud, T.: A Factory To Design and Build Tailorable and Verifiable Middleware. In: Kordon, F., Sttipanovits, J. (eds.) Monterey Workshop 2005. LNCS, vol. 4322, pp. 121–142. Springer, Heidelberg (2007)
OMG: Unified Modelling Language Specification (October 2004), http://www.omg.org
Majzik, I., Bondavalli, A.: Automatic Dependability Modeling of Systems Described in UML. In: Int. Symposium on Software Reliability Engineering (1998)
Bondavalli, A., et al.: Dependability Analysis in the Early Phases of UML Based System Design. Int. Journal of Computer Systems-Science & Engineering 16, 265–275 (2001)
Pai, G.J., Bechta Dugan, J.: Automatic Synthesis of Dynamic Fault Trees from UML System Models. In: 13th Int. Symposium on Software Reliability Engineering, Annapolis, USA (2002)
Lòpez-Grao, J.P., Merseguer, J., Campos, J.: From UML Activity Diagrams To Stochastic Petri Nets: Application to Software Performance Engineering. In: 4th Int. Workshop on Software and Performance, Redwood City, CA, USA (2004)
Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and Statecharts to Analysable Petri Net Models. In: 3rd Int. Workshop on Software and Performance, Rome, Italy (2002)
Feiler, P.H., Gluch, D.P., Hudak, J.J., Lewis, B.A.: Pattern-Based Analysis of an Embedded Real-time System Architecture. In: 18th IFIP World Computer Congress, ADL Workshop, Toulouse, France (2004)
Rugina, A.E., Kanoun, K., Kaâniche, M.: AADL-based Dependability Modelling, LAAS-CNRS Research Report n°06209 (April 2006)
Ajmone Marsan, M., et al.: Modelling With Generalized Stochastic Petri Nets. John Wiley & Sons, Chichester (1995)
Kanoun, K., Borrel, M., Morteveille, T., Peytavin, A.: Availability of CAUTRA, a Subset of the French Air Traffic Control System. IEEE Transactions on Computers 48, 528–535 (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rugina, AE., Kanoun, K., Kaâniche, M. (2007). A System Dependability Modeling Framework Using AADL and GSPNs. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems IV. Lecture Notes in Computer Science, vol 4615. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74035-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-74035-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74033-9
Online ISBN: 978-3-540-74035-3
eBook Packages: Computer ScienceComputer Science (R0)