๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

From Specification to Embedded Systems Application

โœ Scribed by Stefan Kubica, Wolfgang Friess (auth.), Achim Rettberg, Mauro C. Zanella, Franz J. Rammig (eds.)


Publisher
Springer US
Year
2005
Tongue
English
Leaves
330
Series
IFIP On-Line Library in Computer Science 184
Edition
1
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


As almost no other technology, embedded systems is an essential element of many innovations in automotive engineering. New functions and improvements of already existing functions, as well as the compliance with traffic regulations and customer requirements, have only become possible by the increasing use of electronic systems, especially in the fields of driving, safety, reliability, and functionality. Along with the functionalities that increase in number and have to cooperate, the complexity of the entire system will increase.

Synergy effects resulting from distributed application functionalities via several electronic control devies, exchanging information through the network brings about more complex system architectures with many different sub-networks, operating with different velocities and different protocol implementations.

To manage the increasing complexity of these systems, a deterministic behaviour of the control units and the communication network must be provided for, in particular when dealing with a distributed functionality.

From Specification to Embedded Systems Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP).

The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design.

โœฆ Table of Contents


DOMAIN-CROSSING SOFTWARE PRODUCT LINES IN EMBEDDED, AUTOMOTIVE SYSTEMS....Pages 1-12
MECHATRONICS DESIGN AND VERIFICATION....Pages 13-22
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS....Pages 23-34
FROM MODEL TO REQUIREMENTS: PATTERN-BASED ANALYSIS IN DISTRIBUTED DEVELOPMENT OF EMBEDDED SYSTEMS....Pages 35-44
AN EMBEDDED SW DESIGN EXPLORATION APPROACH BASED ON UML ESTIMATION TOOLS....Pages 45-54
AN APPLICATION-ORIENTED APPROACH FOR THE GENERATION OF SOC-BASED EMBEDDED SYSTEMS....Pages 55-64
SOFTWARE AND DRIVER SYNTHESIS FROM TRANSACTION LEVEL MODELS....Pages 65-76
EMBEDDED HARD REAL-TIME SOFTWARE SYNTHESIS CONSIDERING DISPATCHER OVERHEADS....Pages 77-86
ENERGY MANAGEMENT FOR THE TELEPRESENCE SYSTEM TSR....Pages 87-96
AN ENERGY-AWARE EXPLORATION APPROACH BASED ON OPEN SOFTWARE ENVIRONMENT....Pages 97-102
FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS....Pages 103-114
SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS Research partially supported by the Spanish MCYT project TIC2003-07848-C02-01, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT. ....Pages 115-124
A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM Research partially supported by the Spanish MCYT project TIC2003-07848-C02, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT. ....Pages 125-136
ENHANCING INTERACTION SUPPORT IN THE CORBA COMPONENT MODEL....Pages 137-146
OBJECT ORIENTATION PROBLEMS WHEN APPLIED TO THE EMBEDDED SYSTEMS DOMAIN....Pages 147-156
TOC-BISR: A SELF-REPAIR SCHEME FOR MEMORIES IN EMBEDDED SYSTEMS....Pages 157-168
INTEGRATION OF EMBEDDED SOFTWARE WITH CORPORATE INFORMATION SYSTEMS This work has been supported by projects STACOS (POSI/CHS/48875/2002) and METHODES (POSI/CHS/37334/2001) ....Pages 169-178
AUTOMATIC GENERATION OF COMMUNICATION ARCHITECTURES....Pages 179-188
ABSTRACT COMMUNICATION MODELING....Pages 189-200
ADAPTABLE SWITCH BOXES AS ON-CHIP ROUTING NODES FOR NETWORKS-ON-CHIP....Pages 201-210
INTEGRATION OF TWO COMPLEMENTARY TIME-TRIGGERED TECHNOLOGIES: TMO AND TTP....Pages 211-222
ASSESSING THE USE OF RT-JAVA IN AUTOMOTIVE TIME-TRIGGERED APPLICATIONS....Pages 223-234
DISTRIBUTED CONTROL STRUCTURE OF THE NBP TEST TRACK WITH LINEAR MOTOR DRIVEN VEHICLES....Pages 235-244
TOWARDS A REAL-TIME COMMUNICATION NETWORK FOR AUTONOMOUS RAIL VEHICLES....Pages 245-254
TOWARDS RUN-TIME PARTITIONING OF A REAL TIME OPERATING SYSTEM FOR RECONFIGURABLE SYSTEMS ON CHIP This work was developed in the course of the Special Research Initiative 614 - Self-optimizing Concepts and Structures in Mechanical Engineering - University of Paderborn, and was published on its behalf and funded by the Deutsche Forschungsgemeinschaft. ....Pages 255-266
COMPONENT CASE STUDY OF A SELF-OPTIMIZING RCOS/RTOS SYSTEM....Pages 267-276
A JITTER-FREE OPERATIONAL ENVIRONMENT FOR DEPENDABLE EMBEDDED SYSTEMS....Pages 277-288
PARTITIONING METRICS FOR IMPROVED PERFORMANCE AND ECONOMY OF DISTRIBUTED EMBEDDED SYSTEMS....Pages 289-300
TEMPORAL GRAPH PLACEMENT ON MESH-BASED COARSE GRAIN RECONFIGURABLE SYSTEMS USING THE SPECTRAL METHOD....Pages 301-310
OFF-LINE PLACEMENT OF TASKS ONTO RECONFIGURABLE HARDWARE CONSIDERING GEOMETRICAL TASK VARIANTS....Pages 311-311

โœฆ Subjects


Computer Communication Networks; Artificial Intelligence (incl. Robotics); Operating Systems; Information Systems and Communication Service; Software Engineering/Programming and Operating Systems


๐Ÿ“œ SIMILAR VOLUMES


Embedded System Applications
โœ D. R. Boutin (auth.), Claude Baron, Jean-Claude Geffroy, Gilles Motet (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1997 ๐Ÿ› Springer US ๐ŸŒ English

<p>Embedded systems encompass a variety of hardware and software components which perform specific functions in host systems, for example, satellites, washing machines, hand-held telephones and automobiles. Embedded systems have become increasingly digital with a non-digital periphery (analog power)

Microwave De-embedding. From Theory to A
โœ Giovanni Crupi and Dominique Schreurs (Eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2014 ๐Ÿ› Academic Press ๐ŸŒ English

<p>This groundbreaking book is the first to give an introduction to microwave de-embedding, showing how it is the cornerstone for waveform engineering. The authors of each chapter clearly explain the theoretical concepts, providing a foundation that supports linear and non-linear measurements, model

Fast and Effective Embedded Systems Desi
โœ Rob Toulson, Tim Wilmshurst ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› Newnes ๐ŸŒ English

This book is an introduction to embedded systems design, using the ARM mbed and C programming language as development tools.<br>The mbed provides a compact, self-contained and low-cost hardware core, and the on-line compiler requires no download or installation, being accessible wherever an internet

Fast and Effective Embedded Systems Desi
โœ Toulson, Rob;Wilmshurst, Tim ๐Ÿ“‚ Library ๐Ÿ“… 2016 ๐Ÿ› Newnes ๐ŸŒ English

<i>Fast and Effective Embedded Systems Design</i>is a fast-moving introduction to embedded systems design, applying the innovative ARM mbed and its web-based development environment. Each chapter introduces a major topic in embedded systems, and proceeds as a series of practical experiments, adoptin

Fast and Effective Embedded Systems Desi
โœ Rob Toulson, Tim Wilmshurst ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› Newnes ๐ŸŒ English

<p><i>Fast and Effective Embedded Systems Design</i> is a fast-moving introduction to embedded systems design, applying the innovative ARM mbed and its web-based development environment. Each chapter introduces a major topic in embedded systems, and proceeds as a series of practical experiments, ado

Languages for Embedded Systems and their
โœ Eric Senn, Saadia Douhib, Dominique Blouin, Johann Laurent, Skander Turki (auth. ๐Ÿ“‚ Library ๐Ÿ“… 2009 ๐Ÿ› Springer Netherlands ๐ŸŒ English

<p><P>Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improveme