Skip to main content
SpringerLink
Log in
Book cover

Composition of Embedded Systems. Scientific and Industrial Issues

13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Fabrice Kordon
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Oleg Sokolsky
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: Monterey Workshop 2006.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (12 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Model Driven Development and Embedded Systems

    1. On the Correctness of Model Transformations in the Development of Embedded Systems

      • Gabor Karsai, Anantha Narayanan
      Pages 1-18

    2. Supporting System Level Design of Distributed Real Time Systems for Automotive Applications

      • Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kuehl
      Pages 19-34

    3. From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain

      • Jérôme Hugues, Laurent Pautet, Bechir Zalila
      Pages 35-52

    4. Model-Based Failure Management for Distributed Reactive Systems

      • Vina Ermagan, Ingolf Krüger, Massimiliano Menarini
      Pages 53-74

  3. Software Engineering for Embedded Systems

    1. A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems

      • Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis
      Pages 75-96

    2. Industrial Challenges in the Composition of Embedded Systems

      • David Corman, James Paunicka
      Pages 97-110

    3. Deep Random Search for Efficient Model Checking of Timed Automata

      • Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis
      Pages 111-124

    4. OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks

      • Xenofon Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits
      Pages 125-149

  4. Composition Technologies

    1. Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward

      • Richard Schantz, Joseph Loyall
      Pages 150-167

    2. Recent Additions on the Application Programming Interface of the TMO Support Middleware

      • K. H. (Kane) Kim, Juan A. Colmenares, Liangchen Zheng, Sheng Liu, Qian Zhou, Moon-Cheol Kim
      Pages 168-186

    3. Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol

      • Roman Obermaisser
      Pages 187-206

    4. Reliability Properties of Models for Flexible Design and Run-Time Analysis

      • Luqi, Valdis Berzins, P. M. Musial
      Pages 207-219

  5. Back Matter

    Pages 221-221
    Download chapter PDF
Back to top

Other volumes

  1. Composition of Embedded Systems. Scientific and Industrial Issues

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation