Model-driven V&V processes for computer based control systems: A unifying perspective

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7610 LNCS, Issue PART 2, 2012, Pages 190-204

  Flammini, Francesco ^a   Marrone, Stefano ^b   Mazzocca, Nicola ^c   Nardone, Roberto ^c   Vittorini, Valeria ^c  

^a ANSALDO ENERGIA   (Italy)

^b SECOND UNIVERSITY OF NAPLES   (Italy)

^c UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Critical Systems; Domain Specific Languages; Model Driven Engineering; Railway Systems; Verification Validation

Indexed keywords

COMPUTER BASED CONTROL SYSTEMS; COMPUTER-BASED SYSTEM; CRITICAL SYSTEMS; DEVELOPMENT PROCESS; DOMAIN SPECIFIC LANGUAGES; ENABLING TECHNIQUES; FLEXIBLE TOOL; FORMAL MODELING; FUNCTIONAL REQUIREMENT; INDUSTRIAL CONTEXT; INDUSTRIAL SETTINGS; MESSAGE DELIVERY; MODEL DRIVEN APPROACH; MODEL-DRIVEN; MODEL-DRIVEN ENGINEERING; NON-FUNCTIONAL; PERFORMANCE EVALUATION; RAILWAY SYSTEM; RECENT TRENDS; SIGNALLING SYSTEMS; SYSTEM PROPERTY; TEST CASE GENERATION; VERIFICATION AND VALIDATION; VERIFICATION PROCESS;

ARTIFICIAL INTELLIGENCE;

SOFTWARE ENGINEERING;

EID: 84868274424     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34032-1_20     Document Type: Conference Paper

References (26)

1. ARTEMIS-2008-1-100022 CHESS - composition with guarantees for high-integrity embedded components software assembly, https://www.artemis-ju.eu/ chess
2. MBAT: Combined Model-based Analysis and Testing of Embedded Systems, http://www.mbat-artemis.eu/
3. PRIDE - ambiente di progettazione integrato per sistemi dependable, transformations for dependability analysis, deliverable 2.1 (February 2003)
4. Model driven architecture guide, Version 1.0.1, OMG document (2003)
5. 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)
6. Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Journal of Software and Systems Modeling (2009)
7. 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)
8. 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)
9. Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626-643 (1996)
10. Dai, Z.: Model-driven testing with UML 2.0. In: Proceedings of the 2nd European Workshop on Model Driven Architecture (2004)
11. Flammini, F.: Railway safety, reliability, and security: Technologies and systems engineering. IGI Global (2012)
12. 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)
13. Holzmann, G.J.: The SPIN model checker (September 2003)
14. Hsueh, M.C., Tsai, T.K., Iyer, R.K.: Fault injection techniques and tools. Computer 30(4), 75-82 (1997)
15. 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)
16. 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)
17. UML profile for modeling and analysis of real-time and embedded systems (marte), Version 1.0, OMG document (2009)
18. Moreno, G.A., Merson, P.: Model-driven performance analysis. In: Proceedings of the 4th International Conference on the Quality of Software Architectures, QoSA (2008)
19. UML testing profile, Version 1.1, OMG document (2012)
20. 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)
21. 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)
22. Rugina, A., Kanoun, K., Kaâniche, M.: A system dependability modeling framework using AADL and GSPNs, pp. 14-38. Springer, Heidelberg (2007)
23. 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)
24. 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)
25. UIC. ERTMS/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2 (2002)
26. UNISIG. ERTMS/ETCS RAMS requirements specification, ref. 96s1266