https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Model-driven V&V processes for computer based control systems: A unifying perspective
Ansaldo STS, Italy.ORCID iD: 0000-0002-2833-7196
Seconda Université di Napoli, Italy.
Università di Napoli “Federico II”, Italy.
University of Naples Federico II, Italy.
Show others and affiliations
2012 (English)In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012, Springer , 2012, p. 190-204Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer , 2012. p. 190-204
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7610
Keywords [en]
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
National Category
Embedded Systems
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:mdh:diva-47809DOI: 10.1007/978-3-642-34032-1_20Scopus ID: 2-s2.0-84868274424ISBN: 9783642340314 (print)OAI: oai:DiVA.org:mdh-47809DiVA, id: diva2:1427354
Conference
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012; Heraklion, Crete; Greece; 15 - 18 October 2012
Available from: 2018-06-05 Created: 2020-04-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 91 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf