Evaluation of SET and SEU effects at multiple abstraction levels

2005 ◽  
Author(s):  
L. Anghel ◽  
R. Leveugle ◽  
P. Vanhauwaert
Keyword(s):  
Abstraction Levels

scholarly journals fenicsR13

2021 ◽  
Vol 47 (2) ◽  
pp. 1-29
Author(s):  
Lambert Theisen ◽  
Manuel Torrilhon
Keyword(s):  
Gas Flow ◽  
Differential Operators ◽  
Mixed Finite Element ◽  
Test Cases ◽  
Typical Application ◽  
Flow Models ◽  
Computing Platform ◽  
Abstraction Levels ◽  
Variational Formulations ◽  
Rarefaction Effects

We present a mixed finite element solver for the linearized regularized 13-moment equations of non-equilibrium gas dynamics. The Python implementation builds upon the software tools provided by the FEniCS computing platform. We describe a new tensorial approach utilizing the extension capabilities of FEniCS’ Unified Form Language to define required differential operators for tensors above second degree. The presented solver serves as an example for implementing tensorial variational formulations in FEniCS, for which the documentation and literature seem to be very sparse. Using the software abstraction levels provided by the Unified Form Language allows an almost one-to-one correspondence between the underlying mathematics and the resulting source code. Test cases support the correctness of the proposed method using validation with exact solutions. To justify the usage of extended gas flow models, we discuss typical application cases involving rarefaction effects. We provide the documented and validated solver publicly.

IMAGE RECOGNITION BY INTEGRATION OF CONNECTIONIST AND SYMBOLIC APPROACHES

1995 ◽  
Vol 09 (03) ◽  
pp. 485-515 ◽  
Author(s):  
F. ROLI ◽  
S. B. SERPICO ◽  
G. VERNAZZA
Keyword(s):  
Image Recognition ◽  
Magnetic Resonance Image ◽  
Contextual Information ◽  
Recognition System ◽  
Recognition Problem ◽  
Training Process ◽  
Neural Architecture ◽  
Recognition Phase ◽  
Abstraction Levels

This paper presents a methodology for integrating connectionist and symbolic approaches to 2D image recognition. The proposed integration paradigm exploits the synergy of the two approaches for both the training and the recognition phases of an image recognition system. In the training phase, a symbolic module provides an approximate solution to a given image-recognition problem in terms of symbolic models. Such models are hierarchically organized into different abstraction levels, and include contextual descriptions. After mapping such models into a complex neural architecture, a neural training process is carried out to optimize the solution of the recognition problem. The so-obtained neural networks are used during the recognition phase for pattern classification. In this phase, the role of symbolic modules consists of managing complex aspects of information processing: abstraction levels, contextual information, and global recognition hypotheses. A hybrid system implementing the proposed integration paradigm is presented, and its advantages over single approaches are assessed. Results on Magnetic Resonance image recognition are reported, and comparisons with some well-known classifiers are made.

scholarly journals EAST-ADL

2016 ◽  
Vol 5 (3) ◽  
pp. 1-20 ◽  
Author(s):  
Hans Blom ◽  
De-Jiu Chen ◽  
Henrik Kaijser ◽  
Henrik Lönn ◽  
Yiannis Papadopoulos ◽  
...  
Keyword(s):  
Research Work ◽  
Electronic Systems ◽  
Architecture Description Language ◽  
Iso 26262 ◽  
Automotive Electronic ◽  
Engineering Information ◽  
Architecture Description ◽  
Implementation Level ◽  
Many Core ◽  
Abstraction Levels

EAST-ADL is an Architecture Description Language (ADL) initially defined in several European-funded research projects and aligned with AUTOSAR and ISO26262. It provides a comprehensive approach for defining automotive electronic systems through an information model that captures engineering information in a standardized form. Aspects covered include vehicle features, requirements, analysis functions, software and hardware components and communication. The representation of the system's implementation is not defined in EAST-ADL itself but by AUTOSAR. However, traceability is supported from EAST-ADL's lower abstraction levels to the implementation level elements in AUTOSAR. In this article the authors describe EAST-ADL in detail, show how it relates to AUTOSAR as well as other significant automotive standards and present recent research work on using and advancing EAST-ADL, the functional safety standard ISO 26262, heterogeneous multi / many core architectures, security and for multi-objective optimization.

scholarly journals Instruction Based Power Estimation Method in AURIX Micro controller

2021 ◽  
Vol 23 (06) ◽  
pp. 784-793
Author(s):  
Kiran Guruprasad Shetty P S ◽  
◽  
Dr. Ravish Aradhya H V ◽  
Keyword(s):  
Data Processing ◽  
Data Transfer ◽  
Estimation Method ◽  
Power Estimation ◽  
New Method ◽  
Abstraction Levels ◽  
Program Software

Power estimation is a very prominent aspect in micro controllers which aims to to be more efficient in terms of power. A new method of estimation of power based on the execution of instruction in AURIX, which is an automotive micro- controller is proposed. The main aim of this method is to estimate the power in perspective of program(software) or instruction level which is constantly processed in microprocessor which is more accurate when compared with the previous methodologies. The estimation is done based on some set of instructions which is used in AURIX for Data transfer/storing in to memories, Data processing and Data Execution for various application. Most of the previous methodologies are all not accurate due to the abstraction levels.

Abstraction As a Configuration Design Methodology

1993 ◽  
Author(s):  
Gary L. Snavely ◽  
Panos Y. Papalambros
Keyword(s):  
Design Methodology ◽  
Configuration Design ◽  
Levels Of Abstraction ◽  
Level Of Abstraction ◽  
Abstraction Levels

Abstract Configuration design can be thought of as a process of generating artifacts by assembling pre-defined components. This paper introduces a method for reducing the size of configuration problems by abstracting components to higher levels of abstraction. At higher abstraction levels, less important detail is temporarily ignored, and each component represents a family of lower-level components. Configuration is then performed at the highest level, explicitly enumerating all configurations at that level. Any complete configuration at the highest level is recursively instantiated to lower levels. At the same time, any incomplete configuration at the highest level is eliminated, thereby eliminating all possible lower-level instantiations of that configuration. In this manner, all configurations of components at the lowest level of abstraction are implicitly enumerated.

Hybrid Segmentation Prototype for Arabic Text-Based Documents

2019 ◽  
pp. 459-472
Author(s):  
Sonia Alouane-Ksouri ◽  
Minyar Sassi Hidri
Keyword(s):  
Morphological Analysis ◽  
Matrix Representation ◽  
Document Analysis ◽  
Arabic Text ◽  
Computation Model ◽  
Document Similarity ◽  
Similarity Computation ◽  
Hybrid Segmentation ◽  
Abstraction Levels ◽  
Processing Steps

The contribution of this work relates to the field of Arabic text-based document analysis for the detection of plagiarism. This analysis will be carried out according to the triadic computation model of document similarity. The authors propose a hybrid segmentation prototype for Arabic text-based documents that links different processing steps in order to generate the similarity rate between the documents of an Arabic corpus. It involves two segmentation systems and a morphological analysis in order to obtain a matrix representation adapted to the triadic similarity computation according to three abstraction levels: documents, sentences and words.

Reverse Engineering of Object-Oriented Code

2017 ◽  
pp. 1479-1502
Author(s):  
Liliana Favre ◽  
Liliana Martinez ◽  
Claudia Pereira
Keyword(s):  
Reverse Engineering ◽  
Information Integration ◽  
Object Oriented ◽  
Research Area ◽  
Model Driven ◽  
Management Group ◽  
Engineering Models ◽  
Software Modernization ◽  
New Research ◽  
Abstraction Levels

Software modernization is a new research area in the software industry that is intended to provide support for transforming an existing software system to a new one that satisfies new demands. Software modernization requires technical frameworks for information integration and tool interoperability that allow managing new platform technologies, design techniques, and processes. To meet these demands, Architecture-Driven Modernization (ADM) has emerged as the new OMG (Object Management Group) initiative for modernization. Reverse engineering techniques play a crucial role in system modernization. This chapter describes the state of the art in the model-driven modernization area, reverse engineering in particular. A framework to reverse engineering models from object-oriented code that distinguishes three different abstraction levels linked to models, metamodels, and formal specification is described. The chapter includes an analysis of technologies that support ADM standards and provides a summary of the principles that can be used to govern current modernization efforts.

From MARTE to Reconfigurable NoCs

2010 ◽  
pp. 135-157
Author(s):  
Imran Rafiq Quadri ◽  
Majdi Elhaji ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser
Keyword(s):  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling And Analysis ◽  
Unified Modeling ◽  
Model Driven ◽  
Abstraction Level ◽  
Management Group ◽  
High Level Modeling ◽  
High Level ◽  
Abstraction Levels

Due to the continuous exponential rise in SoC’s design complexity, there is a critical need to find new seamless methodologies and tools to handle the SoC co-design aspects. We address this issue and propose a novel SoC co-design methodology based on Model Driven Engineering and the MARTE (Modeling and Analysis of Real-Time and Embedded Systems) standard proposed by Object Management Group, to raise the design abstraction levels. Extensions of this standard have enabled us to move from high level specifications to execution platforms such as reconfigurable FPGAs. In this chapter, we present a high level modeling approach that targets modern Network on Chips systems. The overall objective: to perform system modeling at a high abstraction level expressed in Unified Modeling Language (UML); and afterwards, transform these high level models into detailed enriched lower level models in order to automatically generate the necessary code for final FPGA synthesis.

Sign in / Sign up

Export Citation Format

Share Document