Thank you for reading software product line engineering foundations principles and techniques. Maybe you have knowledge that, people have look numerous times for their favorite books like this software product line engineering foundations principles and techniques, but end up in malicious downloads. Rather than reading a good book with a cup of coffee in the afternoon, instead they are facing with some infectious bugs inside their desktop computer.

Software Product Line Engineering Foundations Principles And Techniques

Process intensification offers the potential to drastically reduce the energy consumption and cost of producing chemicals from both bulk and distributed feedstocks. This review article aims to offer an extensive survey on state-of-the-art process systems engineering (PSE) approaches for process intensification. From both academic and industrial perspectives, this paper provides an overview of the development of various process intensification technologies, specifically those under the categories of separation, reaction, hybrid reaction/separation, and alternative energy sources. A current status analysis in the areas of modeling and simulation is then provided. An indicative list of PSE publications specialized on process intensification is presented to illustrate the progresses made so far towards the deployment of novel process intensification technologies. We also highlight some recent advances for the modeling, design, and synthesis of intensified systems, as well as for the assessment of their controllability/operability/safety performance. Key open questions in these areas include: (i) how to systematically derive intensified designs, and (ii) how to ensure the operability and optimality of the derived intensified structures while delivering their expected functionality.

An overview of process systems engineering approaches for process intensification: State of the art

Trends in computer-aided process modeling

Process systems engineering: From Solvay to modern bio- and nanotechnology.: A history of development, successes and prospects for the future

OntoCAPE—A (re)usable ontology for computer-aided process engineering

http://www.cs.northwestern.edu/~paritosh/papers/sketch-to-models/Marquardt-Modkit.pdf

Computer-aided process modeling with MODKIT

A formal representation of process model equations

The diversity of requirements elicited from different customers leads to the development of many variants. Furthermore, compliance with safety standards as mandated for safety-critical systems requires high test efforts for each variant. Model-based testing aims to reduce test efforts by automatically generating test cases from test models.In this paper, we introduce variability management to usage models, a widely used model-based testing formalism. We present an approach that allows to derive usage model variants from a desired set of features and thus generate test cases for each variant. The approach is integrated in the industrial model-based testing tool chain MaTeLo and exemplified using an industrial case study from the aerospace domain.

/pdf/mplm-matelo-product-line-manager-relating-variability-sh0dv7h30s.pdf

MPLM - MaTeLo product line manager: [relating variability modelling and model-based testing]

The strong cost pressure of the market and safety issues faced by aerospace industry affect the development. Suppliers are forced to continuously optimize their life-cycle processes to facilitate the development of variants for different customers and shorten time to market. Additionally, industrial safety standards like RTCA/DO-178C require high efforts for testing single products. A suitably organized test process for Product Lines (PL) can meet standards. In this paper, we propose an approach that adopts Model-based Testing (MBT) for PL. Usage models, a widely used MBT formalism that provides automatic test case generation capabilities, are equipped with variability information such that usage model variants can be derived for a given set of features. The approach is integrated in the professional MBT tool MaTeLo. We report on our experience gained from an industrial case study in the aerospace domain.

https://hal.inria.fr/hal-01002099/document

Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study

Testing techniques in industry are not yet adapted for product line engineering (PLE). In particular, Model-based Testing (MBT), a technique that allows to automatically generate test cases from requirements, lacks support for managing variability (differences) among a set of related product. In this paper, we present an approach to equip usage models, a widely used formalism in MBT, with variability capabilities. Formal correspondences are established between a variability model, a set of functional requirements, and a usage model. An algorithm then exploits the traceability links to automatically derive a usage model variant from a desired set of selected features. The approach is integrated into the professional MBT tool MaTeLo and is currently used in industry.

/pdf/an-approach-to-derive-usage-models-variants-for-model-based-1zzwn6mhnl.pdf

Ralf Bogusch

Papers

Computer-aided process modeling with MODKIT

A formal representation of process model equations

MPLM - MaTeLo product line manager: [relating variability modelling and model-based testing]

Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study

An Approach to Derive Usage Models Variants for Model-Based Testing