Skip to main content
  • Conference proceedings
  • © 2008

Composition of Embedded Systems. Scientific and Industrial Issues

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

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

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

Conference series link(s): Monterey Workshop: Monterey Workshop

Conference proceedings info: Monterey Workshop 2006.

Buy it now

Buying options

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

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

Table of contents (12 papers)

  1. Front Matter

    Pages I-XII
  2. Model Driven Development and Embedded Systems

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

      • Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kuehl
      Pages 19-34
    2. 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. 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
    2. 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

Other Volumes

  1. Composition of Embedded Systems. Scientific and Industrial Issues

Bibliographic Information

Buy it now

Buying options

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