Skip to main content
  • Conference proceedings
  • © 2010

Software Technologies for Embedded and Ubiquitous Systems

8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings

  • State-of-the-art research

  • Fast-track conference proceedings

  • Unique visibility

Conference proceedings info: SEUS 2010.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (23 papers)

  1. Front Matter

  2. Invited Program

    1. AUTOSAR Appropriates Functional Safety and Multi-core Exploitation

      • Bert Böddeker, Rafael Zalman
      Pages 2-2
  3. Hardware

    1. Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller

      • Michael Bauer, Mathias Pacher, Uwe Brinkschulte
      Pages 3-12
    2. Crash Recovery in FAST FTL

      • Sungup Moon, Sang-Phil Lim, Dong-Joo Park, Sang-Won Lee
      Pages 13-22
  4. Real-Time Systems

    1. Time-Predictable Computing

      • Raimund Kirner, Peter Puschner
      Pages 23-34
    2. OTAWA: An Open Toolbox for Adaptive WCET Analysis

      • Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
      Pages 35-46
    3. Ubiquitous Verification of Ubiquitous Systems

      • Reinhard Wilhelm, Matteo Maffei
      Pages 47-58
  5. Model-Based Design and Model-Checking

    1. A Model–Based Design Methodology with Contracts to Enhance the Development Process of Safety–Critical Systems

      • Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber
      Pages 59-70
    2. Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability

      • Charbel El Kaed, Yves Denneulin, François-Gaël Ottogalli, Luis Felipe Melo Mora
      Pages 71-82
    3. Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems

      • Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka
      Pages 83-94
  6. Sensor Nets

    1. On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems

      • Luís Almeida, Ricardo Marau, Karthik Lakshmanan, Raj Rajkumar
      Pages 119-130
  7. Error Detection and System Failures

  8. Hard Real-Time

    1. Code Generation for Embedded Java with Ptolemy

      • Martin Schoeberl, Christopher Brooks, Edward A. Lee
      Pages 155-166
    2. Specification of Embedded Control Systems Behaviour Using Actor Interface Automata

      • Christo Angelov, Feng Zhou, Krzysztof Sierszecki
      Pages 167-178
  9. Middleware and Smart Spaces

    1. EMWF: A Middleware for Flexible Automation and Assistive Devices

      • Ting-Shuo Chou, Yu Chi Huang, Yung Chun Wang, Wai-Chi Chen, Chi-Sheng Shih, Jane W. S. Liu
      Pages 191-203

Other Volumes

  1. Software Technologies for Embedded and Ubiquitous Systems

About this book

The 8th IFIP Workshop on Software Technologies for Embedded and Ubiq- tous Systems (SEUS 2010) in Waidhofen/Ybbs, Austria, October 13-15, 2010, succeeded the seven previous workshops in Newport Beach, USA (2009); Capri, Italy (2008); Santorini, Greece (2007); Gyeongju, Korea (2006); Seattle, USA (2005); Vienna, Austria (2004); and Hokodate, Japan (2003); installing SEUS as a successfully established workshop in the ?eld of embedded and ubiquitous systems. SEUS 2010 continued the tradition of fostering cross-community scienti?c excellence and establishing strong links between research and industry. SEUS 2010 provided a forum where researchers and practitioners with substantial - periences and serious interests in advancing the state of the art and the state of practice in the ?eld of embedded and ubiquitous computing systems gathered with the goal of fostering new ideas, collaborations, and technologies. The c- tributions in this volume present advances in integrating the ?elds of embedded computing and ubiquitous systems. The call for papers attracted 30 submissions from all around the world. Each submission was assigned to at least four members of the Program Committee for review. The Program Committee decided to accept 21 papers, which were arranged in eight sessions. The accepted papers are from Austria, Denmark, France, Germany, Italy, Japan, Korea, Portugal, Taiwan, UK, and USA. Two keynotes complemented the strong technical program.

Keywords

  • communication
  • design
  • emerging applications
  • emerging infrastructure support
  • government strategies
  • middleware
  • operating systems

Editors and Affiliations

  • School of Computer Science and Engineering, Seoul National University, Seoul, Korea

    Sang Lyul Min

  • The Aerospace Corporation, Software Systems Engineering Department, USA

    Robert Pettit

  • Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria

    Peter Puschner

  • Systems and Networking, University of Augsburg, Augsburg, Germany

    Theo Ungerer

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions