Model-based engineering of cyber-physical software systems for smart worlds: A case study of automobile control systems

2013 ◽  
Author(s):  
K. Ravindran ◽  
S. Ramesh
Keyword(s):  
Control Systems ◽  
Software Systems ◽  
Model Based

Towards Test-Driven and Architecture Model-Based Security and Resilience Engineering

2013 ◽  
pp. 163-188
Author(s):  
Ayda Saidane ◽  
Nicolas Guelfi
Keyword(s):  
Software Systems ◽  
Critical Systems ◽  
Functional Requirements ◽  
Security Testing ◽  
Modeling Framework ◽  
Architecture Model ◽  
Model Based ◽  
Security Modeling

The quality of software systems depends strongly on their architecture. For this reason, taking into account non-functional requirements at architecture level is crucial for the success of the software development process. Early architecture model validation facilitates the detection and correction of design errors. In this research, the authors are interested in security critical systems, which require a reliable validation process. So far, they are missing security-testing approaches providing an appropriate compromise between software quality and development cost while satisfying certification and audit procedures requirements through automated and documented validation activities. In this chapter, the authors propose a novel test-driven and architecture model-based security engineering approach for resilient systems. It consists of a test-driven security modeling framework and a test based validation approach. The assessment of the security requirement satisfaction is based on the test traces analysis. Throughout this study, the authors illustrate the approach using a client server architecture case study.

Towards Test-Driven and Architecture Model-Based Security and Resilience Engineering

2014 ◽  
pp. 2072-2098
Author(s):  
Ayda Saidane ◽  
Nicolas Guelfi
Keyword(s):  
Software Systems ◽  
Critical Systems ◽  
Functional Requirements ◽  
Security Testing ◽  
Modeling Framework ◽  
Architecture Model ◽  
Model Based ◽  
Security Modeling

The quality of software systems depends strongly on their architecture. For this reason, taking into account non-functional requirements at architecture level is crucial for the success of the software development process. Early architecture model validation facilitates the detection and correction of design errors. In this research, the authors are interested in security critical systems, which require a reliable validation process. So far, they are missing security-testing approaches providing an appropriate compromise between software quality and development cost while satisfying certification and audit procedures requirements through automated and documented validation activities. In this chapter, the authors propose a novel test-driven and architecture model-based security engineering approach for resilient systems. It consists of a test-driven security modeling framework and a test based validation approach. The assessment of the security requirement satisfaction is based on the test traces analysis. Throughout this study, the authors illustrate the approach using a client server architecture case study.

Model Based Performance Correction Methodology — A Case Study

2014 ◽  
Author(s):  
Koldo Zuniga ◽  
Thomas P. Schmitt ◽  
Herve Clement ◽  
Joao Balaco
Keyword(s):  
Control System ◽  
Control Systems ◽  
Gas Turbine ◽  
Gas Turbines ◽  
Performance Test ◽  
Test Results ◽  
Model Based ◽  
Test Conditions ◽  
Partial Load

Correction curves are of great importance in the performance evaluation of heavy duty gas turbines (HDGT). They provide the means by which to translate performance test results from test conditions to the rated conditions. The correction factors are usually calculated using the original equipment manufacturer (OEM) gas turbine thermal model (a.k.a. cycle deck), varying one parameter at a time throughout a given range of interest. For some parameters bi-variate effects are considered when the associated secondary performance effect of another variable is significant. Although this traditional approach has been widely accepted by the industry, has offered a simple and transparent means of correcting test results, and has provided a reasonably accurate correction methodology for gas turbines with conventional control systems, it neglects the associated interdependence of each correction parameter from the remaining parameters. Also, its inherently static nature is not well suited for today’s modern gas turbine control systems employing integral gas turbine aero-thermal models in the control system that continuously adapt the turbine’s operating parameters to the “as running” aero-thermal component performance characteristics. Accordingly, the most accurate means by which to correct the measured performance from test conditions to the guarantee conditions is by use of Model-Based Performance Corrections, in agreement with the current PTC-22 and ISO 2314, although not commonly used or accepted within the industry. The implementation of Model-based Corrections is presented for the Case Study of a GE 9FA gas turbine upgrade project, with an advanced model-based control system that accommodated a multitude of operating boundaries. Unique plant operating restrictions, coupled with its focus on partial load heat rate, presented a perfect scenario to employ Model-Based Performance Corrections.

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2013 ◽  
pp. 108-125
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2011 ◽  
Vol 2 (2) ◽  
pp. 22-41
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

Model-Based Testing of Highly Configurable Embedded Systems

2014 ◽  
pp. 234-261
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Case Studies ◽  
Embedded Software ◽  
Product Line ◽  
Combinatorial Design ◽  
Feature Model ◽  
Software Systems ◽  
Model Based ◽  
Model Based Testing

This chapter reports the results of a cycle computer case study and a previously conducted industrial case study from the automation domain. The key result is a model-based testing process for highly configurable embedded systems. The initial version of the testing process was built upon parameterizeable systems. The cycle computer case study adds the configuration using the product line concept and a feature model to store the parameterizable data. Thus, parameters and their constraints can be managed in a very structured way. Escalating demand for flexibility has made modern embedded software systems highly adjustable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can often account for significant changes in the system's behavior, whereas in some other cases, changed parameters may not result in any perceivable reaction. The case studies address the challenge of applying model-based testing to configurable embedded software systems in order to reduce development effort. As a result of the case studies, a model-based testing process was developed. This process integrates existing model-based testing methods and tools such as combinatorial design and constraint processing as well as the product line engineering approach. The testing process was applied as part of the case studies and analyzed in terms of its actual saving potentials, which turned out to reduce the testing effort by more than a third.

scholarly journals Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation

2008 ◽  
Vol 5 (2) ◽  
pp. 87-101 ◽  
Author(s):  
Elisabete Ferreira ◽  
Rogério Paulo ◽  
Cruz da ◽  
Pedro Henriques
Keyword(s):  
Control Systems ◽  
Virtual Machine ◽  
Code Generation ◽  
Multiple Target ◽  
Meta Model ◽  
Domain Specific ◽  
Model Based ◽  
Multiple Input ◽  
Engineering Environment

In the context of the INTEGRA project, compilation and code generation features for behavior definition are to be integrated in an existing model-based engineering environment for control systems. The devised compiler architecture is domain-specific and provides support for multiple input languages and multiple target platforms. In this paper we discuss an architectural approach in which the compiling process is organized in two different stages: the compiling stage and the linking stage. The compiling stage generates target independent code from possibly multiple input languages. The linking stage assembles precompiled code modules and generates a target specific executable code for a given virtual machine. To be more specific this paper describes the integration of the ST language in the tool core meta-model and the ST compiler is presented as an application case study. .

Model-Based Testing of Highly Configurable Embedded Systems

2017 ◽  
pp. 557-584
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Case Studies ◽  
Embedded Software ◽  
Product Line ◽  
Combinatorial Design ◽  
Feature Model ◽  
Software Systems ◽  
Model Based ◽  
Model Based Testing

This chapter reports the results of a cycle computer case study and a previously conducted industrial case study from the automation domain. The key result is a model-based testing process for highly configurable embedded systems. The initial version of the testing process was built upon parameterizeable systems. The cycle computer case study adds the configuration using the product line concept and a feature model to store the parameterizable data. Thus, parameters and their constraints can be managed in a very structured way. Escalating demand for flexibility has made modern embedded software systems highly adjustable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can often account for significant changes in the system's behavior, whereas in some other cases, changed parameters may not result in any perceivable reaction. The case studies address the challenge of applying model-based testing to configurable embedded software systems in order to reduce development effort. As a result of the case studies, a model-based testing process was developed. This process integrates existing model-based testing methods and tools such as combinatorial design and constraint processing as well as the product line engineering approach. The testing process was applied as part of the case studies and analyzed in terms of its actual saving potentials, which turned out to reduce the testing effort by more than a third.

Sign in / Sign up

Export Citation Format

Share Document