Skip to main content
SpringerLink
Log in

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
  • © 2007

Overview

Editors:
  1. Roman Obermaisser
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yunmook Nah
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Puschner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Franz J. Rammig
    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 4761)

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

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

  1. Front Matter

    Download chapter PDF

  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

    5. Ontology Based Context Alignment for Heterogeneous Context Aware Services

      • Seungkeun Lee
      Pages 40-46

    6. Community Computing Model Supporting Community Situation Based Strict Cooperation and Conflict Resolution

      • Youna Jung, Jungtae Lee, Minkoo Kim
      Pages 47-56

  3. Safety-Critical Systems

    1. Advancements in Dependable Time-Triggered Communication

      • Wilfried Steiner
      Pages 57-66

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

    3. Probabilistic Optimization and Assessment of Voting Strategies for X-by-Wire Systems

      • Markus Kucera, Hans Mauser
      Pages 82-92

    4. Application of Safety Analyses in Model Driven Development

      • Javier Fernández Briones, Miguel Ángel de Miguel, J. P. Silva, Alejandro Alonso
      Pages 93-104

    5. Mission Modes for Safety Critical Java

      • Martin Schoeberl
      Pages 105-113

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

Other volumes

  1. Software Technologies for Embedded and Ubiquitous Systems

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation