scholarly journals Analysis and Identification of Possible Automation Approaches for Embedded Systems Design Flows

Information ◽  
2020 ◽  
Vol 11 (2) ◽  
pp. 120
Author(s):  
Augusto Y. Horita ◽  
Denis S. Loubach ◽  
Ricardo Bonna
Keyword(s):  
Embedded Systems ◽  
High Performance ◽  
Development Process ◽  
Systems Design ◽  
Design Flow ◽  
Formal Models ◽  
Models Of Computation ◽  
Implementation Phase ◽  
Novel Method

Sophisticated and high performance embedded systems are present in an increasing number of application domains. In this context, formal-based design methods have been studied to make the development process robust and scalable. Models of computation (MoC) allows the modeling of an application at a high abstraction level by using a formal base. This enables analysis before the application moves to the implementation phase. Different tools and frameworks supporting MoCs have been developed. Some of them can simulate the models and also verify their functionality and feasibility before the next design steps. In view of this, we present a novel method for analysis and identification of possible automation approaches applicable to embedded systems design flow supported by formal models of computation. A comprehensive case study shows the potential and applicability of our method.

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.

Run-time Monitoring and Trace Analysis Methodology for Component-based Embedded Systems Design Flow

2020 ◽  
Author(s):  
Vittoriano Muttillo ◽  
Giacomo Valente ◽  
Luigi Pomante ◽  
Hector Posadas ◽  
Javier Merino ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Trace Analysis ◽  
Systems Design ◽  
Design Flow ◽  
Analysis Methodology ◽  
Run Time

Efficient Qualification Strategy of New Steel Alloys for Laser Powder Bed Fusion

2021 ◽  
Vol 1161 ◽  
pp. 27-36
Author(s):  
Gregor Graf ◽  
Manuela Neuenfeldt ◽  
Tobias Müller ◽  
Jörg Fischer-Bühner ◽  
Daniel Beckers ◽  
...  
Keyword(s):  
High Performance ◽  
Development Process ◽  
Mechanical Characterization ◽  
Cutting Tools ◽  
Tool Steels ◽  
New Materials ◽  
Performance Properties ◽  
Powder Bed ◽  
Die Forming

The requirements regarding the materials in use are steadily increasing in the AM market. As part of a GER-CAN research project (HiPTSLAM), the development of high-performance tool steels for AM is a promising topic regarding the acceptance of LPBF technology for functionally optimized die, forming and cutting tools. Therefore, a holistic development process to efficiently qualify new materials is introduced and its advantages are shown based on a case study with a maraging tool steel. The chemical composition of the steel was particularly developed for the use in the LPBF process to achieve beneficial performance properties. In the case study, effects of the LPBF parameters are evaluated on the material properties. Based on initial microstructure analysis, a promising set of parameters is used to build samples for heat treatment studies and mechanical characterization. By means of further investigations on the process interfaces, it will be possible to optimize the interaction of the whole LPBF process chain to increase the number of qualified materials with better performance properties.

High-performance optimizations on tiled many-core embedded systems: a matrix multiplication case study

2013 ◽  
Vol 66 (1) ◽  
pp. 431-487 ◽  
Author(s):  
Arslan Munir ◽  
Farinaz Koushanfar ◽  
Ann Gordon-Ross ◽  
Sanjay Ranka
Keyword(s):  
Embedded Systems ◽  
High Performance ◽  
Matrix Multiplication ◽  
Performance Optimizations ◽  
Many Core

scholarly journals Fostering Analysis from Industrial Embedded Systems Modeling

2014 ◽  
pp. 283-300 ◽  
Author(s):  
Michel Bourdellès ◽  
Shuai Li ◽  
Imran Quadri ◽  
Etienne Brosse ◽  
Andrey Sadovykh ◽  
...  
Keyword(s):  
Performance Analysis ◽  
Embedded Systems ◽  
Development Process ◽  
System Development ◽  
System Modeling ◽  
Systems Development ◽  
Development Projects ◽  
Early Stages ◽  
Dual Core

In most industrial embedded systems development projects, the software and the hardware development parts are separated, and the constraint requirements/capabilities are informally exchanged in the system development phase of the process. To prevent failures due to the violation of timing constraints, hardware components of the platform are typically over dimensioned for the capabilities needed. This increases both cost and power consumption. Performance analysis is not done sufficiently at early stages of the development process to optimize the system. This chapter presents results of the integration of tools and extra modeling to offer new performance analysis capabilities in the early stages of the development process. These results are based on trace generation from code instrumentation. A number of enhancements were made, spanning the system modeling stage down to the execution stage (based on an ARM dual core Cortex A9-based target board). Final results taken from a software-based radio case study (including the analysis and validation stages) are presented.

Sign in / Sign up

Export Citation Format

Share Document