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

• 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. © 2012 Springer-Verlag.

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)

Nyckelord

Critical Systems

Domain Specific Languages

Model-Driven Engineering

Railway Systems

Verification & Validation

Computer based control systems

Computer-based system

Development process

Enabling techniques

Flexible tool

Formal modeling

Functional requirement

Industrial context

Industrial settings

Message delivery

Model driven approach

Model-driven

Non-functional

Performance evaluation

Railway system

Recent trends

Signalling systems

System property

Test case generation

Verification and validation

Verification process

Artificial intelligence

Software engineering

Software Technology

Programvaruteknik

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)