SEUS 2010: Waidhofen/Ybbs, Austria

Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer (Eds.): Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings. Lecture Notes in Computer Science 6399 Springer 2010, ISBN 978-3-642-16255-8

Invited Program

Hermann Kopetz:
Component-Based Design of Embedded Systems. 1
Bert Böddeker, Rafael Zalman:
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation. 2

Michael Bauer, Mathias Pacher, Uwe Brinkschulte:
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller. 3-12
Sungup Moon, Sang-Phil Lim, Dong-Joo Park, Sang-Won Lee:
Crash Recovery in FAST FTL. 13-22

Raimund Kirner, Peter P. Puschner:
Time-Predictable Computing. 23-34
Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat:
OTAWA: An Open Toolbox for Adaptive WCET Analysis. 35-46
Reinhard Wilhelm, Matteo Maffei:
Ubiquitous Verification of Ubiquitous Systems. 47-58

Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber:
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems. 59-70
Charbel El Kaed, Yves Denneulin, François-Gaël Ottogalli, Luis Felipe Melo Mora:
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability. 71-82
Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka:
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. 83-94

Kai Beckmann, Marcus Thoss:
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks. 95-106
Sang Hoon Lee, Yunmook Nah, Lynn Choi:
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling. 107-118
Luís Almeida, Ricardo Marau, Karthik Lakshmanan, Raj Rajkumar:
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems. 119-130

Susanne Kandl, Raimund Kirner:
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. 131-142
Shuichi Oikawa, Jin Kawasaki:
Simultaneous Logging and Replay for Recording Evidences of System Failures. 143-154

Martin Schoeberl, Christopher X. Brooks, Edward A. Lee:
Code Generation for Embedded Java with Ptolemy. 155-166
Christo Angelov, Feng Zhou, Krzysztof Sierszecki:
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata. 167-178
José Rufino, João Craveiro, Paulo Veríssimo:
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics. 179-190

Ting-Shuo Chou, Yu Chi Huang, Yung Chun Wang, Wai-Chi Chen, Chi-Sheng Shih, Jane W.-S. Liu:
EMWF: A Middleware for Flexible Automation and Assistive Devices. 191-203
Christian Esposito, Domenico Cotroneo, Stefano Russo:
An Investigation on Flexible Communications in Publish/Subscribe Services. 204-215
Ichiro Satoh:
Mobile Agents for Digital Signage. 216-226

Tatsuo Nakajima, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Tsung-Han Lin, Hitoshi Mitake:
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products. 227-238
Robert Diemer, Samarjit Chakraborty:
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring. 239-251

Last update Fri May 25 08:36:52 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page