Use of Model-Based Software Product Line Engineering for Certifiable Avionics Software Development

The review included literature published from 2000 to 2013 reporting on research issues for ERP configuration and customization using software product line techniques..

For example, customer institution starting graduate courses should select and bind (to be downloaded or made available in a memory stick) the Graduate feature to their product

In particular, in [3] it is shown that due to presence of links between requirements and artifacts, defined with advanced traceability matrix (ATM), it was possible to improve the

Keywords: multi-level modelling, domain specific modelling languages, con- figuration, variability, software product line engineering, feature modeling.. 1

We will explore the product configuration using other variability modeling techniques such as text variability modeling or domain specific language, which will be compared to the

An SPL can be structured into: (i) a feature model de- scribing the variants in terms of features (each feature is a name representing an abstract description of functionality and

In addition, the separation in two independent components between PL expression derivation and UML2 state machines processes allows using PLiBS in the context of

Apart from abstraction, there are many other uses of the simulation function we have defined. For instance, simulation-based verification allows one to verify properties modelled