Skip to main content
SpringerLink
Log in
Book cover

Software Technologies for Embedded and Ubiquitous Systems

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Sang Lyul Min

    1. School of Computer Science and Engineering, Seoul National University, Seoul, Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Pettit

    1. The Aerospace Corporation, Software Systems Engineering Department, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Puschner

    1. Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Theo Ungerer

    1. Systems and Networking, University of Augsburg, Augsburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: SEUS 2010.

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 (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Program

    1. Component-Based Design of Embedded Systems

      • Hermann Kopetz
      Pages 1-1

    2. 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. A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks

      • Kai Beckmann, Marcus Thoss
      Pages 95-106

    2. Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling

      • Sang Hoon Lee, Yunmook Nah, Lynn Choi
      Pages 107-118

    3. 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

    1. Error Detection Rate of MC/DC for a Case Study from the Automotive Domain

      • Susanne Kandl, Raimund Kirner
      Pages 131-142

    2. Simultaneous Logging and Replay for Recording Evidences of System Failures

      • Shuichi Oikawa, Jin Kawasaki
      Pages 143-154

  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

    3. Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics

      • José Rufino, João Craveiro, Paulo Verissimo
      Pages 179-190

  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
Back to top

Other volumes

  1. Software Technologies for Embedded and Ubiquitous Systems

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation