Abstract is missing.
- Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYSRoman Obermaisser, Christian El Salloum, Bernhard Huber, Hermann Kopetz. 3-11 [doi]
- Delivering Sustainable Capability on Evolutionary Service-oriented ArchitectureLu Liu, Duncan Russell, David Webster, Zongyang Luo, Colin C. Venters, Jie Xu, John K. Davies. 12-19 [doi]
- Towards an Open Dependable Operating SystemYutaka Ishikawa, Hajime Fujita, Toshiyuki Maeda, Motohiko Matsuda, Midori Sugaya, Mitsuhisa Sato, Toshihiro Hanawa, Shin ichi Miura, Taisuke Boku, Yuki Kinebuchi, Lei Sun, Tatsuo Nakajima, Jin Nakazawa, Hideyuki Tokuda. 20-27 [doi]
- JEOPARD -- Java Environment for Parallel Real-Time DevelopmentFridtjof Siebert. 28-36 [doi]
- Towards Configurable Real-Time Hybrid Structural Testing: A Cyber-Physical System ApproachTerry Tidwell, Xiuyu Gao, Huang-Ming Huang, Chenyang Lu, Shirley Dyke, Christopher D. Gill. 37-44 [doi]
- Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization ApproachSumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale. 47-54 [doi]
- Compensating for Timing Jitter in Computing Systems with General-Purpose Operating SystemsAbhishek Dubey, Gabor Karsai, Sherif Abdelwahed. 55-62 [doi]
- Embedded JIT Compilation with CACAO on YARIFlorian Brandner, Tommy Thorn, Martin Schoeberl. 63-70 [doi]
- A Document Centric Framework for Building Distributed Smart Object SystemsFahim Kawsar, Tatsuo Nakajima. 71-79 [doi]
- A Reconfigurable Virtual Storage DeviceSu-Fang Hsiao, Pi-Cheng Hsiu, Tei-Wei Kuo. 80-87 [doi]
- Model-Driven Design and Organic Computing - Contradictory or Synergetic Approaches to Overcome the Embedded Software CrisisUwe Brinkschulte. 91-92 [doi]
- Model-Driven Design and Organic Computing -- Two Different but Possibly Accordable Concepts for the Design of Embedded SystemsDietmar Fey. 93-94 [doi]
- Organic Computing and Model-Driven Engineering in Embedded SystemsMike Hinchey, Roy Sterritt. 95-96 [doi]
- Model Driven Design and Organic Computing -- From the Viewpoint of Application ProductionTomoji Kishi. 97-98 [doi]
- Model Driven Engineering versus Organic Computing, Two Complementary ApproachesFabrice Kordon. 99-100 [doi]
- Model-Driven Design and Organic Computing -- Combinable Strategies?Peter P. Puschner, Raimund Kirner. 101 [doi]
- Project Report: Toward the Realization of Highly Reliable Embedded SystemsTakuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa. 105-111 [doi]
- HELISCOPE Project: Research Goal and Survey on Related TechnologiesDoo-Hyun Kim, Kodirov Nodir, Chun-Hyon Chang, Jung-Guk Kim. 112-118 [doi]
- Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AISTYoshiki Kinoshita. 119-124 [doi]
- Property Preservation and Composition with Guarantees: From ASSERT to CHESSTullio Vardanega. 125-132 [doi]
- Intelligent Resource Management and Dynamic Adaptation in a Distributed Real-time and Embedded Sensor Web SystemJohn S. Kinnebrew, William Otte, Nishanth Shankaran, Gautam Biswas, Douglas C. Schmidt. 135-142 [doi]
- Real-Time Scheduling of Weighted Jobs with Multiple Feasible IntervalsJun Wu, Jian-Jia Chen. 143-147 [doi]
- Achieving High-Level QoS in Multi-Party Video-Conferencing Systems via Exploitation of Global TimeSheng Liu, K. H. (Kane) Kim, Zhen Zhang, Seok-Pil Lee, Kee-Wook Rim. 151-160 [doi]
- Extended RT-Component Framework for RT-MiddlewareHiroyuki Chishiro, Yuji Fujita, Akira Takeda, Yuta Kojima, Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki. 161-168 [doi]
- Quality of Service Composition and Adaptability of Software ArchitecturesJavier Fernández Briones, Miguel A. de Miguel, Alejandro Alonso, Juan Pedro Silva. 169-173 [doi]
- New Methods and Tools for Developing Real-Time SoftwareBran Selic. 177-178 [doi]
- Robust Mesh-Based Data Delivery over Multiple Tree-Shaped Routes in P2P Overlay NetworkSuphakit Awiphan, Su Zhou, Jiro Katto. 181-187 [doi]
- Realization of Fault-Tolerant Home Network Management Middleware with the TMO Structuring Approach and an Integration of Fault Detection and Reconfiguration MechanismsKane Kim, Qian Zhou, Jing Qian, Kyung-Deok Moon, Jun-Hee Park, Young-Sung Son, Chang-Eun Lee, Tai-Yeon Ku. 188-197 [doi]
- Multimedia Chat for Helpdesks: A Requirements Study, a Practical SOA Architecture, and an Interface PrototypeZon-Yin Shae, Tony Bergstrom, Claudio S. Pinhanez, Mark Podlaseck. 198-205 [doi]
- Communication Primitives for Real-Time Distributed Synchronization over Small Area NetworksSang-Hun Lee, Hyun-Wook Jin. 206-210 [doi]
- An Efficient TCP/IP Offload Embedded System with Deterministic Buffering ProcessesShen-Ming Chung, Chun-Yi Li, Shun-Chieh Lin, Hsu-Cheng Lin, Hsiao-Hui Lee. 211-215 [doi]
- RealSpec: An Executable Specification Language for Modeling Control SystemsAmir A. Khwaja, Joseph E. Urban. 219-227 [doi]
- From Requirements to Code RevisitedTewfik Ziadi, Xavier Blanc, Amine Raji. 228-235 [doi]
- Component Based Middleware-Synthesis for AUTOSAR Basic SoftwareDietmar Schreiner, Markus Schordan, Karl M. Göschka. 236-243 [doi]
- Estimation of Real-Time Software Code Size using COSMIC FSMKenneth Lind, Rogardt Heldal. 244-248 [doi]
- Marte CCSL to Execute East-ADL Timing RequirementsFrédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. 249-253 [doi]
- A Lightweight Anomaly Detection System for Information AppliancesMidori Sugaya, Yuki Ohno, Andrej van der Zee, Tatsuo Nakajima. 257-266 [doi]
- Extending Component-Based Approaches for Multithreaded Design of Multiprocessor Embedded SoftwareSunWoo Lee, Byung Kwan Jung, Minsoo Ryu, SeungWon Lee. 267-274 [doi]
- Thread-Local Scope Caching for Real-time JavaAndy J. Wellings, Martin Schoeberl. 275-282 [doi]
- Online Self-Healing Support for Embedded SystemsLei Sun, Dennis K. Nilsson, Tomohiro Katori, Tatsuo Nakajima. 283-287 [doi]
- Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based ApproachDietmar Schreiner, Markus Schordan, Jens Knoop. 288-292 [doi]
- Resource Scopes: Toward Language Support for Compositional DeterminismMadhukar Anand, Sebastian Fischmeister, Insup Lee. 295-304 [doi]
- On the Semantics of UML/MARTE Clock ConstraintsFrédéric Mallet, Charles André. 305-312 [doi]
- From AADL Architectural Models to Petri Nets: Checking Model ViabilityXavier Renault, Fabrice Kordon, Jérôme Hugues. 313-320 [doi]
- How to Model a Real-Time Database?Nizar Idoudi, Claude Duvallet, Rafik Bouaziz, Bruno Sadeg, Faïez Gargouri. 321-325 [doi]
- Detecting and Analyzing State Inconsistencies in Multi-task SoftwareToshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi. 326-330 [doi]