Abstract is missing.
- Component-Based Design of Embedded SystemsHermann Kopetz. 1 [doi]
- AUTOSAR Appropriates Functional Safety and Multi-core ExploitationBert Böddeker, Rafael Zalman. 2 [doi]
- Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID ControllerMichael Bauer, Mathias Pacher, Uwe Brinkschulte. 3-12 [doi]
- Crash Recovery in FAST FTLSungup Moon, Sang-Phil Lim, Dong-Joo Park, Sang-Won Lee. 13-22 [doi]
- Time-Predictable ComputingRaimund Kirner, Peter P. Puschner. 23-34 [doi]
- OTAWA: An Open Toolbox for Adaptive WCET AnalysisClément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. 35-46 [doi]
- Ubiquitous Verification of Ubiquitous SystemsReinhard Wilhelm, Matteo Maffei. 47-58 [doi]
- A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical SystemsAndreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber. 59-70 [doi]
- Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices InteroperabilityCharbel El Kaed, Yves Denneulin, François-Gaël Ottogalli, Luis Felipe Melo Mora. 71-82 [doi]
- Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open SystemsShin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka. 83-94 [doi]
- A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor NetworksKai Beckmann, Marcus Thoss. 95-106 [doi]
- Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup SchedulingSang-Hoon Lee, Yunmook Nah, Lynn Choi. 107-118 [doi]
- On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded SystemsLuís Almeida, Ricardo Marau, Karthik Lakshmanan, Raj Rajkumar. 119-130 [doi]
- Error Detection Rate of MC/DC for a Case Study from the Automotive DomainSusanne Kandl, Raimund Kirner. 131-142 [doi]
- Simultaneous Logging and Replay for Recording Evidences of System FailuresShuichi Oikawa, Jin Kawasaki. 143-154 [doi]
- Code Generation for Embedded Java with PtolemyMartin Schoeberl, Christopher Brooks, Edward A. Lee. 155-166 [doi]
- Specification of Embedded Control Systems Behaviour Using Actor Interface AutomataChristo Angelov, Feng Zhou, Krzysztof Sierszecki. 167-178 [doi]
- Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle AvionicsJosé Rufino, João Craveiro, Paulo Veríssimo. 179-190 [doi]
- EMWF: A Middleware for Flexible Automation and Assistive DevicesTing-Shuo Chou, Yu-Chi Huang, Yung Chun Wang, Wai-Chi Chen, Chi-Sheng Shih, Jane W.-S. Liu. 191-203 [doi]
- An Investigation on Flexible Communications in Publish/Subscribe ServicesChristian Esposito, Domenico Cotroneo, Stefano Russo. 204-215 [doi]
- Mobile Agents for Digital SignageIchiro Satoh. 216-226 [doi]
- Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart ProductsTatsuo Nakajima, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Tsung-Han Lin, Hitoshi Mitake. 227-238 [doi]
- Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity MonitoringRobert Diemer, Samarjit Chakraborty. 239-251 [doi]