embedded system-35
ENGINEERING RESEARCH PAPERS

embedded system-35




DYANA: an environment for embedded system design and analysis
FREE DOWNLOAD
The results presented here are based on the experience of development and application of DYANA-an environment for analysis of multiprocessor computer systems operation. The architecture and basic features of such an environments are discussed. Main problems of

Object-oriented embedded system development based on synthesis and reuse of OO-ASIPs
FREE DOWNLOAD
ABSTRACT We present an embedded-system design flow, discuss its details, and demonstrate its advantages. We adopt the object-oriented methodology for the system-level model because software dominates hardware in embedded systems and the objectoriented

Multi-objective design space exploration of embedded system platforms
FREE DOWNLOAD
In this paper we present a multi-objective genetic algorithm to solve the problem of mapping a set of task graphs onto a heterogeneous multiprocessor platform. The objective is to meet all real-time deadlines subject to minimizing system cost and power consumption, while

Low disturbance embedded system tracing with linux trace toolkit next generation
FREE DOWNLOAD
ABSTRACT Embedded systems in applications that include GPS, airplanes, life support devices, video decoders and many others are often required to meet hard and soft real-time constraints. Various proprietary operating systems, like VxWorks and µC/OS-II, aim

Embedded system architecture co-design and its validation
FREE DOWNLOAD
Roman Gumzej University of Maribor Faculty of Electrical Engineering and Computer Science Smetanova 17, SI-2000 Maribor, Slovenia roman. gumzej uni-mb. si Keywords: information systems, embedded systems, hard real-time systems, multiprocessor systems,

Formal verification for embedded system designs
FREE DOWNLOAD
Embedded electronics today are becoming increasingly complex, which makes their design and analysis more and more difficult. In this paper, we focus on the formal verification of embedded system designs at multiple levels ofAbstraction, enabled by the Metropolis

Real-time operating system services for realistic SystemC simulation models of embedded systems
FREE DOWNLOAD
In this sense, SystemC support for a realistic assessment of embedded system in the process of develop-validate-and-test its software is advocated.  Just one SystemC model is necessary to specify both the hardware and software parts of an embedded system.

Solving embedded system scheduling problems using constraint programming
FREE DOWNLOAD
ABSTRACT Static scheduling of tasks in embedded distributed real-time systems often implies a tediuos iterative design process. The reason for this is the lack of exibility and expressive power in existing scheduling frameworks, which makes it di cult to both model the system

Embedded system design: a unified hardware/software approach
FREE DOWNLOAD
This book introduces embedded system design using a modern approach. Modern design requires a designer to have a unified view of software and hardware, seeing them not as completely different domains, but rather as two implementation options along a continuum

Reliability issues in deep deep submicron technologies: Time-dependent variability and its impact onembedded system design
FREE DOWNLOAD
Technology scaling has traditionally offered advantages to embedded systems in terms of reduced energy consumption and die cost as well as increased performance, without requiring significant additional design effort. Scaling past the 45 nm technology node,

An architecture description language for in-vehicle embedded system development
FREE DOWNLOAD
ABSTRACT. This paper presents the AEE project (Embedded Electronic Architecture), a French cooperative research and development program whose purpose is to specify new solutions for in-vehicle embedded system development. The Architecture Implementation Language

Configuring embedded system families using feature models
FREE DOWNLOAD
ABSTRACT A well planned reuse is a precondition to fulfil short release times and high quality demands for an embedded system development. System families have become an accepted method addressing exactly these problems. In this paper we present an extension of the

Experience of using a lightweight formal specification method for a commercial embedded systemproduct line
FREE DOWNLOAD
A simple specification method is introduced and the results of its application to a series of projects in Philips are reported. The method is principally designed to ensure that that every unusual scenario is considered in a systematic way. In practice, this has led to high-quality

Embedded system education: a new paradigm for engineering schools?
FREE DOWNLOAD
ABSTRACT Embedded systems are emerging as an essential component of modern electronic products. Embedded system design problems are posing challenges that involve entirely new skills for engineers. These skills are related to the combination of traditionally

Key technology of embedded system implementation for software-based CNC system
FREE DOWNLOAD
ABSTRACT The software-based computer numerical control (CNC) system includes three types of tasks, periodic real-time tasks, aperiodic real-time tasks, and non-real-time tasks. The tasks are characterized by concurrency, hybridization, and correlation, which make system

Representing embedded system sequence diagrams as a formal language
FREE DOWNLOAD
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require special support for branching, state information, and composing SDs. Actors must

Embedded system development for automotive applications: trends and challenges
FREE DOWNLOAD
? System Specification-Responsibility for design of new subsystems realizing new function- Autosar approach: target independent design using function networks-Assessment of realizability of new function using sufficiently detailedAbstractions of implementation

Related

embedded system-33

embedded system-36
FREE IEEE PAPERS