Learning for Verification in Embedded Systems: A Case Study

2016 ◽  
pp. 525-538 ◽  
Author(s):  
Ali Khalili ◽  
Massimo Narizzano ◽  
Armando Tacchella
Keyword(s):  
Embedded Systems

New Alternatives to the Estimation Problem in Hardware-Software Codesign of Complex Embedded Systems: The H.261 Video Co-dec Case Study

2004 ◽  
Vol 9 (3) ◽  
pp. 193-210
Author(s):  
Juan Antonio Maestro ◽  
Daniel Mozos ◽  
Raquel Dormido ◽  
Pedro Reviriego
Keyword(s):  
Embedded Systems ◽  
Estimation Problem

The disappearance of the sacred Swedish Sámi drum and the protection of Sámi cultural heritage

Polar Record ◽  
2018 ◽  
Vol 54 (4) ◽  
pp. 255-266 ◽  
Author(s):  
Francis Joy
Keyword(s):  
Embedded Systems ◽  
Cultural Heritage ◽  
Sources Of Knowledge ◽  
Witchcraft Trials

AbstractOne of the last frontiers of the pre-Christian Sámi religion and cosmology from the seventeenth and eighteenth centuries can be found recorded as embedded systems of knowledge on a range of noaidi-shaman drums kept in museums across Europe. Missionaries and clergymen as well as explorers who sought interest in the magical powers of the Sámi noaidi collected these artefacts during witchcraft trials and persecutions throughout Sápmi, the Sámi homeland areas. Insomuch as the drums being taken away from their owners and shipped from their homelands to other countries, their safeguarding, security and preservation as ancient sources of knowledge in museums is seldom discussed. As a consequence, the investigation presented here is a case study concerning the disappearance of a Sámi noaidi drum sent to a museum in France that has its origins in Swedish Sápmi, which I was informed about in 2017 prior to a visit to Paris for a seminar concerning the Sámi and their culture in Finland. The loss of the drum has only recently become known, and raises a series of important questions concerning responsibilities museums have with regard to the protection of property belonging to the Sámi as well as the repatriation and return of cultural heritage with regard to historical artefacts.

scholarly journals Capability Evaluation of Embedded Systems, Cell Phone Case Study

2010 ◽  
Vol 9 (10) ◽  
pp. 41-47
Author(s):  
Hamid Reza Naji ◽  
Hossein Farahmand ◽  
Masoud RashidiNejad
Keyword(s):  
Embedded Systems ◽  
Cell Phone ◽  
Capability Evaluation

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.

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.

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.

Sign in / Sign up

Export Citation Format

Share Document