Trustworthy variant derivation with translation validation for safety critical product lines

DOI10.1016/J.JLAMP.2016.02.001zbMATH Open1392.68145OpenAlexW2314220009MaRDI QIDQ338617FDOQ338617

Authors: Alexandru F. Iosif-Lazăr, Andrzej Wąsowski 

Publication date: 7 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.02.001

Recommendations

• Model mining and efficient verification of software product lines
• Incremental model-based testing of delta-oriented software product lines
• Verification of software product lines with delta-oriented slicing
• Family-based model checking with mCRL2
• Delta modeling and model checking of product families

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• ATL: A model transformation tool
• Software Product Line Engineering
• Generic semantics of feature diagrams
• Fundamental approaches to software engineering. 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22--29, 2009. Proceedings
• Fundamental approaches to software engineering. 11th international conference, FASE 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings
• Formal verification of translation validators
• Feature-oriented programming: A new way of object composition

Cited In (1)

• Model mining and efficient verification of software product lines

Uses Software

• Coq
• AGG
• ATL
• SPLLIFT

This page was built for publication: Trustworthy variant derivation with translation validation for safety critical product lines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q338617)