Trustworthy variant derivation with translation validation for safety critical product lines

DOI10.1016/J.JLAMP.2016.02.001MaRDI QIDQ338617zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• ATL: A model transformation tool
• Feature-oriented programming: A new way of object composition
• Formal verification of translation validators
• 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
• 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
• Generic semantics of feature diagrams
• Software Product Line Engineering

Cited in

(1)

• Model mining and efficient verification of software product lines

Describes a project that uses

Uses Software

• SPLLIFT
• ATL
• AGG
• Coq

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)