scholarly journals From Lustre to Simulink

2021 ◽  
Vol 5 (3) ◽  
pp. 1-20
Author(s):  
Hamza Bourbouh ◽  
Pierre-Loïc Garoche ◽  
Christophe Garion ◽  
Xavier Thirioux
Keyword(s):  
Embedded System ◽  
Code Generation ◽  
Test Cases ◽  
Equivalence Testing ◽  
Automatic Synthesis ◽  
Matlab Simulink ◽  
Coverage Criteria ◽  
Generation Means ◽  
Compilation Process ◽  
Definition Of

Model-based design is now unavoidable when building embedded systems and, more specifically, controllers. Among the available model languages, the synchronous dataflow paradigm, as implemented in languages such as MATLAB Simulink or ANSYS SCADE, has become predominant in critical embedded system industries. Both of these frameworks are used to design the controller itself but also provide code generation means, enabling faster deployment to target and easier V&V activities performed earlier in the design process, at the model level. Synchronous models also ease the definition of formal specification through the use of synchronous observers, attaching requirements to the model in the very same language, mastered by engineers and tooled with simulation means or code generation. However, few works address the automatic synthesis of MATLAB Simulink annotations from lower-level models or code. This article presents a compilation process from Lustre models to genuine MATLAB Simulink, without the need to rely on external C functions or MATLAB functions. This translation is based on the modular compilation of Lustre to imperative code and preserves the hierarchy of the input Lustre model within the generated Simulink one. We implemented the approach and used it to validate a compilation toolchain, mapping Simulink to Lustre and then C, thanks to equivalence testing and checking. This backward compilation from Lustre to Simulink also provides the ability to produce automatically Simulink components modeling specification, proof arguments, or test cases coverage criteria.

scholarly journals Testing embedded systems using test cases generated through combinatorial techniques

2018 ◽  
Vol 7 (2.7) ◽  
pp. 146
Author(s):  
Lakshmi Prasad Mudarakola ◽  
J K.R. Sastry ◽  
V Chandra Prakash
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Traffic Control ◽  
Nuclear Reactor ◽  
Test Cases ◽  
Critical Systems ◽  
Daily Lives ◽  
Intelligent Devices ◽  
Wireless Infrastructure ◽  
Combinatorial Methods

Thorough testing of embedded systems is required especially when the systems are related to monitoring and controlling the mission critical and safety critical systems. The embedded systems must be tested comprehensively which include testing hardware, software and both together. Embedded systems are highly intelligent devices that are infiltrating our daily lives such as the mobile in your pocket, and wireless infrastructure behind it, routers, home theatre system, the air traffic control station etc. Software now makes up 90% of the value of these devices. In this paper, authors present different methods to test an embedded system using test cases generated through combinatorial techniques. The experimental results for testing a TMCNRS (Temperature Monitoring and Controlling Nuclear Reactor System) using test cases generated from combinatorial methods are also shown.

Removing the Nationality Paradigm from Herodotus’ Histories

2018 ◽  
Vol 10 (2) ◽  
pp. 306-323
Author(s):  
Salvatore Tufano
Keyword(s):  
Case Studies ◽  
Final Section ◽  
Fifth Century ◽  
Test Cases ◽  
Persian Wars ◽  
Classical Definition ◽  
Mixed Language ◽  
Archaic Greece ◽  
The Common ◽  
Definition Of

Abstract The present paper suggests that the recurring appeal to kinship diplomacy undermines a fixed idea of ‘nation’ in Archaic Greece, especially in the first two decades of the fifth century BC. It aims to present a series of test cases in Herodotus that explain why contemporary patterns and theories on ancient ethnicity can hardly explain the totality of the historical spectrum. Blood ties could sometimes fortify ethnic relationships, as in the case of Aristagoras’ mission to Sparta (Hdt. 5.49.3), since the common Greekness could elicit the Spartan to help to the Ionians. In other times, the same blood ties were applied to divine genealogies, and they could also be used to show the feeble devotion of cities like Argos to the Greek cause (7.150.2: Xerxes expects the Argives to join the Persian cause, since they descend from Perses). Habits and traditions, often taken as indicia of national feeling, could be thought of as clues of ancient migrations (so the Trojans became Maxyes in Lybia: 4.191). Even language might not help in justifying ethnic relationships: for instance, the Greeks living in the Scythian Gelonus spoke a mixed language (4.108). These few case studies may shed a different light on the classical definition of Greekness (to hellenikon) in terms of blood, language, cults, and habits, all given by Herodotus (8.144). Far from being a valid label for all the Greeks of the fifth century, this statement owes much to a specific variety of the language of kinship diplomacy. The final section argues for the opportunity to avoid the later and misleading idea of nation when studying Herodotus and the age of the Persian Wars, which are instead characterized by various and contrasting strategies. Greek groups and ethne can be better described as networks of lightly defined communities.

UML as Front-End Language for Embedded Systems Design

2010 ◽  
pp. 1-23
Author(s):  
Lisane Brisolara de Brisolara ◽  
Marcio Eduardo Kreutz ◽  
Luigi Carro
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Systems Design ◽  
Design Flow ◽  
Domain Specific ◽  
History Of ◽  
Uml Diagrams ◽  
The Embedded System ◽  
Definition Of

This chapter covers the use of UML as a modeling language for embedded systems design. It introduces the UML language, presenting the history of its definition, its main diagrams and characteristics. Using a case study, we show that using the standard UML with its limitations one is not able to model many important characteristics of embedded systems. For that reason, UML provides extension mechanisms that enable one to extend the language for a given domain, through the definition of profiles covering domain-specific applications. Several profiles have been proposed for the embedded systems domain, and some of those that have been standardized by OMG are presented here. A case study is also used to present MARTE, a new profile specifically proposed for the embedded system domain, enabling designers to model aspects like performance and schedulability. This chapter also presents a discussion about the effort to generate code from UML diagrams and analyses the open issues to the successful use of UML in the whole embedded system design flow.

Definition of Performance Requirements and Test Cases for Offshore/Subsea Winch Drive Systems With Digital Hydraulic Motors

2019 ◽  
Author(s):  
Sondre Nordås ◽  
Morten K. Ebbesen ◽  
Torben O. Andersen
Keyword(s):  
Force Control ◽  
Drive System ◽  
Test Cases ◽  
Performance Requirements ◽  
Hydraulic Motors ◽  
Constant Tension ◽  
Drive Systems ◽  
Definition Of ◽  
Heave Motion ◽  
Rough Sea

Abstract A subsea crane is normally mounted on a floating vessel and equipped with a winch system. The crane can operate in water down to 3000 m. The vessel tends to move up and down due to waves. This heave motion makes offshore lifting operations challenging. In order to ease the winch operation in rough sea, the winch can be equipped with additional systems like active heave compensation and constant tension. In active heave compensation and constant tension system, both motion and force control of the winch are important. This paper presents a digital displacement winch drive system and gives a description of challenges related to subsea lifting operations. The operation challenges are used to design a set of test cases for evaluating the performance of the digital displacement winch drive system.

scholarly journals Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design

2014 ◽  
Vol 29 (4) ◽  
pp. 433-451
Author(s):  
Huafeng Yu ◽  
Abdoulaye Gamatié ◽  
Éric Rutten ◽  
Jean-Luc Dekeyser
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Code Generation ◽  
High Performance ◽  
Control Model ◽  
Multimedia System ◽  
Reactive Control ◽  
Data Intensive ◽  
On Chip ◽  
Automatic Code

AbstractSystem adaptivity is increasingly demanded in high-performance embedded systems, particularly in multimedia system-on-chip (SoC), owing to growing quality-of-service requirements. This paper presents a reactive control model that has been introduced in Gaspard, our framework dedicated to SoC hardware/software co-design. This model aims at expressing adaptivity as well as reconfigurability in systems performing data-intensive computations. It is generic enough to be used for description in the different parts of an embedded system, for example, specification of how different data-intensive algorithms can be chosen according to some computation modes at the functional level; and expression of how hardware components can be selected via the usage of a library of intellectual properties according to execution performances. The transformation of this model toward synchronous languages is also presented, in order to allow an automatic code generation usable for formal verification, based on techniques such as model checking and controller synthesis, as illustrated in the paper. This work, based on Model-Driven Engineering and the standard UML MARTE profile, has been implemented in Gaspard.

A Complexity-Based Approach to Robust Design and Structural Assessment of Aero Engine Components

2007 ◽  
Author(s):  
D. Lomario ◽  
G. P. De Poli ◽  
L. Fattore ◽  
J. Marczyk
Keyword(s):  
Design Space ◽  
Response Surfaces ◽  
Probability Density Functions ◽  
Test Cases ◽  
System A ◽  
Aero Engine ◽  
Novel Method ◽  
Design Requirements ◽  
Definition Of ◽  
Engine Components

This paper presents a complexity-based methodology for the design of aero engine components. Upon a rigorous definition of complex system, a metric for the complexity is introduced as a function of system’s topology and entropy. As a consequence, complexity becomes a measurable and manageable property of systems. Furthermore, a novel definition of robustness is provided, based on the shape of the probability density functions (PDF) of the performances. Complexity and robustness are related together by a simple, qualitative law. Based on these premises, two algorithms are introduced, namely the Stochastic Design Improvement (SDI) and the Complex Systems Analyzer (CSA). The former searches the design space seeking for solutions which meet the design requirements. The latter extracts the fundamental features of the design, previously perturbed by means of Monte Carlo Simulation (MCS). The SDI is proposed as a competitor of the practice of optimization. Though both can be used separately, the combination of SDI and CSA provides a powerful novel method for design. The capabilities of the algorithms are illustrated on three test-cases, namely an LPT Casing, a Turbo-prop bearing retainer and an LPT disk. It is important to point out that response surfaces or other surrogates have never been used.

Test Case Selection: A Systematic Literature Review

2014 ◽  
Vol 24 (04) ◽  
pp. 653-676 ◽  
Author(s):  
Everton Note Narciso ◽  
Márcio Eduardo Delamaro ◽  
Fátima De Lourdes Dos Santos Nunes
Keyword(s):  
Resource Constraints ◽  
Test Case ◽  
Test Cases ◽  
Random Testing ◽  
Test Case Selection ◽  
Test Strategies ◽  
Case Selection ◽  
Definition Of ◽  
Selection Of ◽  
Leading Journals

Time and resource constraints should be taken into account in software testing activities, and thus optimizing the test suite is fundamental in the development process. In this context, the test case selection aims to eliminate redundant or unnecessary test data, which is crucial for the definition of test strategies. This paper presents a systematic review on the test case selection conducted through a selection of 449 articles published in leading journals and conferences in Computer Science. We addressed the state-of-art by collecting and comparing existing evidence on the methods used in the different software domains and the methods used to evaluate the test case selection. Our study identified 32 papers that met the research objectives, which featured 18 different selection methods and were evaluated through 71 case studies. The most commonly reported methods are adaptive random testing, genetic algorithms and greedy algorithm. Most approaches rely on heuristics, such as diversity of test cases and code or model coverage. This paper also discusses the key concepts and approaches, areas of application and evaluation metrics inherent to the methods of test case selection available in the literature.

scholarly journals Coverage Criteria for Set-Based Specifications

2015 ◽  
Vol 22 (2) ◽  
pp. 316
Author(s):  
Maximiliano Cristiá ◽  
Joaquín Cuenca ◽  
Claudia Frydman
Keyword(s):  
Structural Testing ◽  
Test Cases ◽  
Logical Formula ◽  
Coverage Criteria ◽  
Testing Strategies ◽  
Model Based Testing ◽  
Path Coverage ◽  
Input Domain ◽  
Domain Partition ◽  
Scripting Language

Model-based testing (MBT) studies how test cases are generated from a model of the system under test (SUT). Many MBT methods rely on building an automaton from the model and then they generate test cases by covering the automaton with different path coverage criteria. However, if a model of the SUT is a logical formula over some complex mathematical theories (such as set theory) it may be more natural or intuitive to apply coverage criteria directly over the formula. On the other hand, domain partition, i.e. the partition of the input domain of model operations, is one of the main techniques in MBT. Partitioning is conducted by applying different rules or heuristics. Engineers may find it difficult to decide what, where and how these rules should be applied. In this paper we propose a set of coverage criteria based on domain partition for set-based specifications. We call them testing strategies. Testing strategies play a similar role to path- or data-based coverage criteria in structural testing. Furthermore, we show a partial order of testing strategies as is done in structural testing. We also describe an implementation of testing strategies for the Test Template Framework, which is a MBT method for the Z notation; and a scripting language that allows users to implement testing strategies.

Model-Driven Design and ASM-Based Validation of Embedded Systems

2010 ◽  
pp. 24-54 ◽  
Author(s):  
Angelo Gargantini ◽  
Elvinia Riccobene ◽  
Patrizia Scandurra
Keyword(s):  
Embedded System ◽  
Graphical Models ◽  
Code Generation ◽  
Formal Method ◽  
System Level ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
The Embedded System ◽  
On Chip ◽  
High Level

In the embedded system and System-on-Chip (SoC) design area, the increasing technological complexity coupled with requests for more performance and shorter time to market have caused a high interest for new methods, languages and tools capable of operating at higher levels of abstraction than the conventional system level. This chapter presents a model-driven and tool-assisted development process of SoCs, which is based on high-level UML design of system components, guarantees SystemC code generation from graphical models, and allows validation of system behaviors on formal models automatically derived from UML models. An environment for system design and analysis is also presented, which is based on a UML profile for SystemC and the Abstract State Machine formal method.

Sign in / Sign up

Export Citation Format

Share Document