Skip to main content
  • Conference proceedings
  • © 2007

Software Technologies for Embedded and Ubiquitous Systems

5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers

Conference proceedings info: SEUS 2007.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (57 papers)

  1. Front Matter

  2. Ubiquitous Computing Frameworks

    1. An Efficient Method to Create Business Level Events Using Complex Event Processing Based on RFID Standards

      • Byung-Kook Son, Jun-Hwan Lee, Kyung-Lang Park, Cheong-Ghil Kim, Hie-Cheol Kim, Shin-Dug Kim
      Pages 1-10
    2. Physical/Cyber Objects Management Framework for Multiple-Area Detectable RFID

      • Masayuki Iwai, Ryo Osawa, Suzuki Kei, Takuya Imaeda, Hideyuki Tokuda
      Pages 11-19
    3. A Task Decomposition Scheme for Context Aggregation in Personal Smart Space

      • Hoseok Ryu, Insuk Park, Soon J. Hyun, Dongman Lee
      Pages 20-29
    4. Distributed k-NN Query Processing for Location Services

      • Jonghyeong Han, Joonwoo Lee, Seungyong Park, Jaeil Hwang, Yunmook Nah
      Pages 30-39
  3. Safety-Critical Systems

    1. On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures

      • Binoy Ravindran, Jonathan S. Anderson, E. Douglas Jensen
      Pages 67-81
    2. Application of Safety Analyses in Model Driven Development

      • Javier Fernández Briones, Miguel Ángel de Miguel, J. P. Silva, Alejandro Alonso
      Pages 93-104
    3. Mission Modes for Safety Critical Java

      • Martin Schoeberl
      Pages 105-113
    4. Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS

      • Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae
      Pages 114-124
  4. Validation of Embedded and Ubiquitous Systems

    1. Testing Embedded Control Systems with TTCN-3

      • Ina Schieferdecker, Jürgen Großmann
      Pages 125-136
    2. Cross-Platform Verification Framework for Embedded Systems

      • Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter Puschner
      Pages 137-148
    3. Experimental Analysis on Time-Triggered Power Consumption Measurement with DVS-Enabled Multiple Power Domain Platform

      • Songah Chae, Doo-Hyun Kim, Changhee Jung, Duk-Kyun Woo, Chaedeok Lim
      Pages 149-158
    4. A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture

      • Martin Schlager, Roman Obermaisser, Wilfried Elmenreich
      Pages 159-170
    5. An Embedded Integration Prototyping System Based on Component Technique

      • Youngjin Jung, Jeongbae Lee, Jinbaek Kwon, Keewook Rim, Sangyoung Cho
      Pages 171-180
  5. Ubiquitous Computing Applications

    1. TMO Structuring of a Networked System for Seamless Streaming and Tiled Display of High-Definition Movies

      • Sheng Liu, K. H. (Kane) Kim, Sung-Jin Kim, Zhen Zhang, Jongho Nang, Ki-Seok Choi et al.
      Pages 181-191
    2. Design and Experimental Validation of UAV Control System Software Based on the TMO Structuring Scheme

      • Hansol Park, Moon Hae Kim, Chun-Hyon Chang, Keechon Kim, Jung-Guk Kim, Doo-Hyun Kim
      Pages 192-201

Other Volumes

  1. Software Technologies for Embedded and Ubiquitous Systems

About this book

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2007, held on Santorini Island, Greece, in May 2007 in conjunction with ISORC 2007, the 10th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing.

The 31 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on ubiquitous computing frameworks, safety-critical systems, validation of embedded and ubiquitous systems, ubiquitous computing applications, scheduling and non functional properties, self-organization and reconfiguration, service discovery and development platform, wireless networks, middleware architectures and virtualization, and environment interaction.

Keywords

  • CompTIA RFID+
  • Java
  • Pervasive Computing
  • Radio-Frequency Identification (RFID)
  • agent technology
  • context awareness
  • design
  • distributed computing
  • embedded software
  • fault-tolerance
  • middleware
  • mobile ad hoc network
  • programming
  • speech recognition
  • validation

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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