Abstract
A recent trend in software engineering is to support the development process by providing flexible tool chains allowing for effective Model-Driven approaches. These solutions are very appealing in industrial settings since they enable the creation of development and verification processes, enhancing abstraction and reuse, and hence improving productivity. This paper addresses advantages and challenges in extending Model-Driven approaches to system engineering and specifically to verification and validation (V&V) of critical computer-based systems. Specifically, the paper highlights the needs for real-world industrial contexts and proposes the definition of a unifying Model-Driven process for V&V of functional and non-functional system properties. Some enabling techniques which aim at improving the reuse of Model-Driven artifacts are addressed to deal with process scalability and effectiveness. Two sample applications are described for ERTMS/ETCS signalling system in order to show the advantages of the approach: formal modeling for performance evaluation of message delivery between train and track controllers and test case generation for the verification of functional requirements of trains outdistancing.
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
ARTEMIS-2008-1-100022 CHESS - composition with guarantees for high-integrity embedded components software assembly, https://www.artemis-ju.eu/chess
MBAT: Combined Model-based Analysis and Testing of Embedded Systems, http://www.mbat-artemis.eu/
PRIDE - ambiente di progettazione integrato per sistemi dependable, transformations for dependability analysis, deliverable 2.1 (February 2003)
Model driven architecture guide, Version 1.0.1, OMG document (2003)
Bernardi, S., Flammini, F., Marrone, S., Merseguer, J., Papa, C., Vittorini, V.: Model-Driven Availability Evaluation of Railway Control Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 15–28. Springer, Heidelberg (2011)
Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Journal of Software and Systems Modeling (2009)
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML-based system design. Comput. Syst. Sci. Eng. 16(5), 265–275 (2001)
Causevic, A., Sundmark, D., Punnekkat, S.: An industrial survey on contemporary aspects of software testing. In: 2010 Third International Conference on Software Testing, Verification and Validation (ICST), pp. 393–401 (April 2010)
Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996)
Dai, Z.: Model-driven testing with UML 2.0. In: Proceedings of the 2nd European Workshop on Model Driven Architecture (2004)
Flammini, F.: Railway safety, reliability, and security: Technologies and systems engineering. IGI Global (2012)
Gómez-Martínez, E., Merseguer, J.: ArgoSPE: Model-Based Software Performance Engineering. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 401–410. Springer, Heidelberg (2006)
Holzmann, G.J.: The SPIN model checker (September 2003)
Hsueh, M.C., Tsai, T.K., Iyer, R.K.: Fault injection techniques and tools. Computer 30(4), 75–82 (1997)
Lagarde, F., et al.: Improving UML profile design practices by leveraging conceptual domain models. In: 22nd Int.l Conf. on Automated Software Engineering, Atlanta, USA, pp. 445–448. ACM (November 2007)
Marrone, S., Papa, C., Vittorini, V.: Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 215–228. Springer, Heidelberg (2010)
UML profile for modeling and analysis of real-time and embedded systems (marte), Version 1.0, OMG document (2009)
Moreno, G.A., Merson, P.: Model-driven performance analysis. In: Proceedings of the 4th International Conference on the Quality of Software Architectures, QoSA (2008)
UML testing profile, Version 1.1, OMG document (2012)
Petriu, D.B., Woodside, M.: A metamodel for generating performance models from UML designs. In: Proceedings of the 7th Int. Conference on the Unified Modeling Language. Modelling Languages and Applications, pp. 41–53 (2004)
Petriu, D.B., Woodside, M.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. In: Software and Systems Modeling, Special Issue, SoSyM, pp. 163–184 (2007)
Rugina, A., Kanoun, K., Kaâniche, M.: A system dependability modeling framework using AADL and GSPNs, pp. 14–38. Springer, Heidelberg (2007)
Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE Int.l Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), pp. 2–9 (2007)
Tadano, K., Xiang, J., Kawato, M., Maeno, Y.: Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 296–309. Springer, Heidelberg (2011)
UIC. ERTMS/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2 (2002)
UNISIG. ERTMS/ETCS RAMS requirements specification, ref. 96s1266
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V. (2012). Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-34032-1_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34031-4
Online ISBN: 978-3-642-34032-1
eBook Packages: Computer ScienceComputer Science (R0)