• Home
  • Search
  • Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective
  • Cite Icon15
  • https://doi.org/10.1007/978-3-642-34032-1_20Copy DOI Icon

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective

  • Jan 1, 2012
  • Francesco Flammini +4 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
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.

Similar Papers
  • Research Article
  • Citations107

Process-Based Software Engineering: Building the Infrastructures

  • Dec 01, 2002
  • Annals of Software Engineering
  • Yingxu Wang +1
  • Research Article
  • Citations5

The future of software engineering: Visions of 2025 and beyond

  • Aug 01, 2021
  • International Journal of Electrical and Computer Engineering (IJECE)
  • Firoz Khan +3
  • PDF
  • Book Chapter
  • Citations1

Closing the Loop Between Ops and Dev

  • Dec 23, 2016
  • Weikun Wang +2
  • PDF
  • Research Article
  • Citations1

Software engineering and 12 prominent sub‐areas: Comprehensive bibliometric assessment on 13 years (2007–2019)

  • Sep 22, 2021
  • IET Software
  • Sana Alam +2
  • Conference Article
  • Citations2

Comprehensive analysis of trends in software engineering Q&A site

  • Jan 01, 2019
  • Ayushi Verma +2
  • Book Chapter

Supporting Experience and Information Flow in Software Projects

  • Jun 23, 2008
  • Kurt Schneider
  • Research Article
  • Citations7

Trending Topics in Software Engineering

  • Jul 07, 2022
  • ACM SIGSOFT Software Engineering Notes
  • Stefano Forti +2
  • Conference Article
  • Citations1

Towards a proper aspect-oriented model for distributed systems

  • Mar 21, 2011
  • Ismael Mejía
  • Book Chapter
  • Citations1

Object-Oriented Concepts

  • Jan 01, 2013
  • Roger Y Lee
  • PDF
  • Research Article
  • Citations2

The Role of Artificial Intelligence in Modern Software Engineering

  • Nov 26, 2024
  • Applied and Computational Engineering
  • Qinbo Zhang
  • Book Chapter
  • Citations1

Toward Third-Party Immune Applications

  • Jan 01, 2017
  • Omar Iraqi +1
  • Research Article
  • Citations5

Filling the gap between mobile and service-oriented computing: issues for evolving mobile computing towards wired infrastructures and vice versa

  • Jan 01, 2006
  • International Journal of Web and Grid Services
  • Loreno Oliveira +4
  • Conference Article
  • Citations10

Software architecture adaptability metrics for QoS-based self-adaptation

  • Jun 20, 2011
  • Diego Perez-Palacin +2
  • Conference Article
  • Citations10

A framework for testing distributed software components

  • May 01, 2005
  • Yizheng Yao +1
  • Book Chapter
  • Citations3

Towards a High-Availability-Driven Service Composition Framework

  • Jan 01, 2014
  • Jonathan Lee +4
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.