Targeting different abstraction layers by model-based design methods for embedded systems: A case study

2013 ◽  
Author(s):  
Omair Rafique ◽  
Manuel Gesell ◽  
Klaus Schneider
Keyword(s):  
Embedded Systems ◽  
Design Methods ◽  
Model Based

Optimized System-Level Design Methods for NoC-Based Many Core Embedded Systems

2014 ◽  
pp. 150-179
Author(s):  
Haoyuan Ying ◽  
Klaus Hofmann ◽  
Thomas Hollstein
Keyword(s):  
Embedded Systems ◽  
Design Optimization ◽  
Optimization Methods ◽  
Design Methods ◽  
System Level ◽  
System Level Design ◽  
Level Design ◽  
On Chip ◽  
Many Core

Due to the growing demand on high performance and low power in embedded systems, many core architectures are proposed the most suitable solutions. While the design concentration of many core embedded systems is switching from computation-centric to communication-centric, Network-on-Chip (NoC) is one of the best interconnect techniques for such architectures because of the scalability and high communication bandwidth. Formalized and optimized system-level design methods for NoC-based many core embedded systems are desired to improve the system performance and to reduce the power consumption. In order to understand the design optimization methods in depth, a case study of optimizing many core embedded systems based on 3-Dimensional (3D) NoC with irregular vertical link distribution topology through task mapping, core placement, routing, and topology generation is demonstrated in this chapter. Results of cycle-accurate simulation experiments prove the validity and efficiency of the design methods. Specific to the case study configuration, in maximum 60% vertical links can be saved while maintaining the system efficiency in comparison to full vertical link connection 3D NoCs by applying the design optimization methods.

Bridging the Abstraction Gap for the Design of Embedded Reactive Systems Using Esterel: A Case Study

2007 ◽  
Author(s):  
Martin Zauner ◽  
Michael Kramer ◽  
Peter Balog
Keyword(s):  
Embedded Systems ◽  
Control Systems ◽  
Reactive Systems ◽  
Design Methods ◽  
Design Approach ◽  
Reactive Control ◽  
Systems Implementation ◽  
Traditional Design ◽  
Abstraction Levels

New design methodologies at higher abstraction levels are necessary to deal with the increasing complexity of modern embedded systems. As a consequence, new design paradigms must supersede traditional design methods to bridge the abstraction gap which often exists between specification and implementation. This paper examines several examples which evaluate the applicability of Esterel, a language with well-defined semantics for specification and verification of reactive control systems. Implementation size, performance and design effort were selected as measures to assess the benefits of this design approach in comparison to a traditional one.

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.

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.

scholarly journals A Combined Approach for Model-Based PV Power Plant Failure Detection and Diagnostic

Energies ◽  
2021 ◽  
Vol 14 (5) ◽  
pp. 1261
Author(s):  
Christopher Gradwohl ◽  
Vesna Dimitrievska ◽  
Federico Pittino ◽  
Wolfgang Muehleisen ◽  
András Montvay ◽  
...  
Keyword(s):  
Power Plants ◽  
Large Scale ◽  
Failure Detection ◽  
Energy Yield ◽  
Combined Approach ◽  
Levelized Cost Of Electricity ◽  
Term Operation ◽  
Model Based

Photovoltaic (PV) technology allows large-scale investments in a renewable power-generating system at a competitive levelized cost of electricity (LCOE) and with a low environmental impact. Large-scale PV installations operate in a highly competitive market environment where even small performance losses have a high impact on profit margins. Therefore, operation at maximum performance is the key for long-term profitability. This can be achieved by advanced performance monitoring and instant or gradual failure detection methodologies. We present in this paper a combined approach on model-based fault detection by means of physical and statistical models and failure diagnosis based on physics of failure. Both approaches contribute to optimized PV plant operation and maintenance based on typically available supervisory control and data acquisition (SCADA) data. The failure detection and diagnosis capabilities were demonstrated in a case study based on six years of SCADA data from a PV plant in Slovenia. In this case study, underperforming values of the inverters of the PV plant were reliably detected and possible root causes were identified. Our work has led us to conclude that the combined approach can contribute to an efficient and long-term operation of photovoltaic power plants with a maximum energy yield and can be applied to the monitoring of photovoltaic plants.

Sign in / Sign up

Export Citation Format

Share Document