Muutke küpsiste eelistusi

Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 253 pages, kaal: 410 g, 90 Illustrations, black and white; XI, 253 p. 90 illus., 1 Paperback / softback
  • Sari: Information Systems and Applications, incl. Internet/Web, and HCI 6399
  • Ilmumisaeg: 06-Oct-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 364216255X
  • ISBN-13: 9783642162558
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 253 pages, kaal: 410 g, 90 Illustrations, black and white; XI, 253 p. 90 illus., 1 Paperback / softback
  • Sari: Information Systems and Applications, incl. Internet/Web, and HCI 6399
  • Ilmumisaeg: 06-Oct-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 364216255X
  • ISBN-13: 9783642162558
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.
Invited Program
Component-Based Design of Embedded Systems (Abstract)
1(1)
Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract)
2(1)
Bert Boddeker
Rafael Zalman
Hardware
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller
3(10)
Michael Bauer
Mathias Pacher
Uwe Brinkschulte
Crash Recovery in FAST FTL
13(10)
Sungup Moon
Sang-Phil Lim
Dong-Joo Park
Sang-Won Lee
Real-Time Systems
Time-Predictable Computing
23(12)
Raimund Kirner
Peter Puschner
OTAWA: An Open Toolbox for Adaptive WCET Analysis
35(12)
Clement Ballabriga
Hugues Casse
Christine Rochange
Pascal Sainrat
Ubiquitous Verification of Ubiquitous Systems
47(12)
Reinhard Wilhelm
Matteo Maffei
Model-Based Design and Model-Checking
A Model Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems
59(12)
Andreaus Baumgart
Philipp Reinkemeier
Achim Rettberg
Ingo Stierand
Eike Thaden
Raphael Weber
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability
71(12)
Charbel El Kaed
Yves Denneulin
Francois-Gael Ottogalli
Luis Felipe Melo Mora
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems
83(12)
Shin Nakajima
Masaki Ishiguro
Kazuyuki Tanaka
Sensor Nets
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks
95(12)
Kai Beckmann
Marcus Thoss
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling
107(12)
Sang Hoon Lee
Yunmook Nah
Lynn Choi
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems
119(12)
Luis Almeida
Ricardo Marau
Karthik Lakshmanan
Raj Rajkumar
Error Detection and System Failures
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
131(12)
Susanne Kandl
Raimund Kirner
Simultaneous Logging and Replay for Recording Evidences of System Failures
143(12)
Shuichi Oikawa
Jin Kawasaki
Hard Real-Time
Code Generation for Embedded Java with Ptolemy
155(12)
Martin Schoeberl
Christopher Brooks
Edward A. Lee
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata
167(12)
Christo Angelov
Feng Zhou
Krzysztof Sierszecki
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics
179(12)
Jose Rufino
Joao Craveiro
Paulo Verissimo
Middleware and Smart Spaces
EMWF: A Middleware for Flexible Automation and Assistive Devices
191(13)
Ting-Shuo Chou
Yu Chi Huang
Yung Chun Wang
Wai-Chi Chen
Chi-Sheng Shih
Jane W.S. Liu
An Investigation on Flexible Communications in Publish/Subscribe Services
204(12)
Christian Esposito
Domenico Cotroneo
Stefano Russo
Mobile Agents for Digital Signage
216(11)
Ichiro Satoh
Function Composition and Task Mapping
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products
227(12)
Tatsuo Nakajima
Yuki Kinebuchi
Alexandre Courbot
Hiromasa Shimada
Tsung-Han Lin
Hitoshi Mitake
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring
239(14)
Robert Diemer
Samarjit Chakraborty
Author Index 253