Abstract
Multiformalism approaches and automatic model generation are challenging issues in the context of the analysis of critical systems for which formal verification and validation are mandatory. Reusable model transformations may reduce the skill level required in formal modeling, time and cost of the analysis process, and they may support the integration among different formal languages. This paper investigates how the relationship existing between different classes of formal languages may be exploited to define new model transformations by extending existing definitions. Specifically, the inheritance relationship is considered with the ultimate goal of achieving formalisms integration also by developing proper reusable model transformations. This idea is applied to the integration between Repairable Fault Trees and Generalized Stochastic Petri Nets, where the inheritance relationship between Fault Trees and Repairable Fault Trees is the basis to define inheritable model transformations. The described techniques are demonstrated on the availability model of a modern railway controller.
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.
Similar content being viewed by others
References
Apel, S., Janda, F., Trujillo, S., Kästner, C.: Model Superimposition in Software Product Lines. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 4–19. Springer, Heidelberg (2009)
Balogh, A., Varró, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: 21st Annual ACM Symposium on Applied Computing, pp. 1280–1287. ACM, New York (2006)
Balogh, A., Varró, D.: Pattern composition in graph transformation rules. In: European Workshop on Composition of Model Transformations (2006)
Barbero, M., Jouault, F., Gray, J., Bézivin, J.: A Practical Approach to Model Extension. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA 2007. LNCS, vol. 4530, pp. 32–42. Springer, Heidelberg (2007)
Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri net models. In: Proceedings of the 3rd International Workshop on Software and Performance, pp. 35–45. ACM, New York (2002)
Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Software and Systems Modeling (2009)
Bobbio, A., Franceschinis, G., Gaeta, R., Portinale, L.: Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. IEEE Transaction on Software Engineering 29(3), 270–287 (2009)
Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation 24(1), 47–68 (1995)
Codetta-Raiteri, D.: Extended Fault Trees Analysis supported by Stochastic Petri Nets. Ph.D. Thesis. Univ. di Torino (2005)
Di Lorenzo, G., Flammini, F., Iacono, M., Marrone, S., Moscato, F., Vittorini, V.: The software architecture of the OsMoSys Multisolution Framework. In: Proc. of 2nd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS). ACM, New York (2007)
Flammini, F., Mazzocca, M., Iacono, M., Marrone, S.: Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. In: Proc. of High Assurance System Engineering, pp. 163–172. IEEE Computer Society, Washington (2005)
Franceschinis, G., Gribaudo, M., Iacono, M., Marrone, S., Moscato, F., Vittorini, V.: Interfaces and Binding in Component Based Development of Formal Models. In: Proc. of 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS). ACM, New York (2009)
Wagelaar, D., Van Der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. Software and Systems Modeling (2009)
Kurtev, I., van den Berg, K., Jouault, F.: Rule-based modularization in model transformation languages illustrated with ATL. Sci. Comput. Program. 68(3), 111–127 (2007)
Lee, W.S., Grosh, D.L., Tillman, F.A., Lie, C.H.: Fault Tree Analysis, Methods and Applications-A Review. IEEE Trans. Reliability 34, 194–203 (1985)
Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic dependability analysis of system architecture based on UML models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol. 2677, pp. 219–244. Springer, Heidelberg (2003)
Mens, T., Czarnecki, K., Van Gorp, P.: A Taxonomy of Model Transformations. In: Proc. Dagstuhl Seminar on Language Engineering for Model-Driven Software Development (2005)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Raiteri, D.C., Franceschinis, G., Iacono, M., Vittorini, V.: Repairable fault tree for automatic evaluation of repair policies. In: Proc. of the Performance and Dependability Symposium. IEEE Computer Society, Washington (2004)
Rugina, A.E., Kanoun, K., Kaâniche, K.: A System Dependability Modeling Framework Using AADL and GSPNs. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol. 4615, pp. 14–38. Springer, Heidelberg (2007)
Taivalsaari, A.: On the notion of inheritance. ACM Computing Surveys 28(3), 438–479 (1996)
UIC: ERTMS/ETCS class1 System Requirements Specification, SUBSET-026, issue 2.2.2 (2002)
Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G.: The OsMoSys approach to multiformalism modeling of systems. Journal of Software and Systems Modeling 3(1), 68–81 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marrone, S., Papa, C., Vittorini, V. (2010). Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. In: Méry, D., Merz, S. (eds) Integrated Formal Methods. IFM 2010. Lecture Notes in Computer Science, vol 6396. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16265-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-16265-7_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16264-0
Online ISBN: 978-3-642-16265-7
eBook Packages: Computer ScienceComputer Science (R0)