Skip to main content
SpringerLink
Log in

Embedded Systems Design

The ARTIST Roadmap for Research and Development

  • Textbook
  • © 2005

Overview

Authors:
  1. Bruno Bouyssounouse

    1. Verimag Laboratory, Centre Equation, Gieres, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Joseph Sifakis

    1. VERIMAG, Centre Équation, Gières, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3436)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 chapters)

  1. Front Matter

    Download chapter PDF

  2. Hard Real-Time Development Environments

    1. Executive Overview on Hard Real-Time Development Environments

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 1-9

    2. Hard Real-Time System Development

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 10-14

    3. Current Design Practice and Needs in Selected Industrial Sectors

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 15-38

    4. Tools for Requirements Capture and Exploration

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 39-53

    5. Tools for Architecture Design and Capture

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 54-62

    6. Tools for Programming, Code Generation, and Design

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 63-71

    7. Tools for Verification and Validation

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 72-84

    8. Middleware for Implementing Hard Real-Time Systems

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 85-91

    9. Review of Some Advanced Methodologies

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 92-102

  3. Component-Based Design and Integration Platforms

    1. Executive Overview on Component-Based Design and Integration Platforms

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 103-113

    2. Component-Based System Development

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 114-119

    3. Current Design Practice and Needs in Selected Industrial Sectors

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 120-138

    4. Components and Contracts

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 139-159

    5. Component Models and Integration Platforms: Landscape

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 160-193

    6. Standardization Efforts

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 194-203

    7. References

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 204-215

  4. Adaptive Real-Time Systems for Quality of Service Management

    1. Executive Overview on Adaptive Real-Time Systems for Quality of Service Management

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 216-226

    2. Adaptive Real-Time System Development

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 227-228

    3. Current Design Practice and Needs in Selected Industrial Sectors

      • Bruno Bouyssounouse, Joseph Sifakis
      Pages 229-241
Back to top

Keywords

About this book

Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.

Reviews

From the reviews:

"This book presents a roadmap aimed at ‘advancing the state of the art and structuring research on embedded systems in Europe.’ … The surveys of existing solutions for several important aspects, such as embedded operating systems, component models for embedded systems, and networks for distributed embedded systems, are another strong point. All in all, this book could be very useful for academics and researchers already working in the embedded systems domain, as a source of open problems for future research and references to existing techniques." (Sudeep Pasricha, Computing Reviews, April, 2006)

Authors and Affiliations

  • Verimag Laboratory, Centre Equation, Gieres, France

    Bruno Bouyssounouse

  • VERIMAG, Centre Équation, Gières, France

    Joseph Sifakis

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation