12. ISORC 2009:
Tokyo, Japan
2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009.
IEEE Computer Society 2009, ISBN 978-0-7695-3573-9
National-Level Movements in Software Technology R&D (I)
- Roman Obermaisser, Christian El Salloum, Bernhard Huber, Hermann Kopetz:
Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS.
3-11

- Lu Liu, Duncan Russell, David Webster, Zongyang Luo, Colin C. Venters, Jie Xu, John K. Davies:
Delivering Sustainable Capability on Evolutionary Service-oriented Architecture.
12-19

- Yutaka 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:
Towards an Open Dependable Operating System.
20-27

- Fridtjof Siebert:
JEOPARD -- Java Environment for Parallel Real-Time Development.
28-36

- Terry Tidwell, Xiuyu Gao, Huang-Ming Huang, Chenyang Lu, Shirley Dyke, Christopher D. Gill:
Towards Configurable Real-Time Hybrid Structural Testing: A Cyber-Physical System Approach.
37-44

Innovation in Distributed Real-Time Computing
Panel (I):
Model Driven Design and Organic Computing - Contradictory or Synergetic Approaches to Overcome the Embedded Software Crisis
- Uwe Brinkschulte:
Model-Driven Design and Organic Computing - Contradictory or Synergetic Approaches to Overcome the Embedded Software Crisis.
91-92

- Dietmar Fey:
Model-Driven Design and Organic Computing -- Two Different but Possibly Accordable Concepts for the Design of Embedded Systems.
93-94

- Mike Hinchey, Roy Sterritt:
Organic Computing and Model-Driven Engineering in Embedded Systems.
95-96

- Tomoji Kishi:
Model Driven Design and Organic Computing -- From the Viewpoint of Application Production.
97-98

- Fabrice Kordon:
Model Driven Engineering versus Organic Computing, Two Complementary Approaches.
99-100

- Peter P. Puschner, Raimund Kirner:
Model-Driven Design and Organic Computing -- Combinable Strategies?.
101

National-Level Movements in Software Technology R&D (II)
- Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa:
Project Report: Toward the Realization of Highly Reliable Embedded Systems.
105-111

- Doo-Hyun Kim, Kodirov Nodir, Chun-Hyon Chang, Jung-Guk Kim:
HELISCOPE Project: Research Goal and Survey on Related Technologies.
112-118

- Yoshiki Kinoshita:
Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST.
119-124

- Tullio Vardanega:
Property Preservation and Composition with Guarantees: From ASSERT to CHESS.
125-132

Scheduling and Resource Management
Software Architecture
- Sheng Liu, K. H. (Kane) Kim, Zhen Zhang, Seok-Pil Lee, Kee-Wook Rim:
Achieving High-Level QoS in Multi-Party Video-Conferencing Systems via Exploitation of Global Time.
151-160

- Hiroyuki Chishiro, Yuji Fujita, Akira Takeda, Yuta Kojima, Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki:
Extended RT-Component Framework for RT-Middleware.
161-168

- Javier Fernández Briones, Miguel A. de Miguel, Alejandro Alonso, Juan Pedro Silva:
Quality of Service Composition and Adaptability of Software Architectures.
169-173

Panel (II):
Emerging Future Services and Software Infrastructures in Future Computing Environments:
Ambient Intelligence, Cyber-Physical Systems, and Cloud Computing
- Bran Selic:
New Methods and Tools for Developing Real-Time Software.
177-178

Communication and Middleware
- Suphakit Awiphan, Su Zhou, Jiro Katto:
Robust Mesh-Based Data Delivery over Multiple Tree-Shaped Routes in P2P Overlay Network.
181-187

- Kane Kim, Qian Zhou, Jing Qian, Kyung-Deok Moon, Jun Hee Park, Young-Sung Son, Chang-Eun Lee, Tai-Yeon Ku:
Realization of Fault-Tolerant Home Network Management Middleware with the TMO Structuring Approach and an Integration of Fault Detection and Reconfiguration Mechanisms.
188-197

- Zon-Yin Shae, Tony Bergstrom, Claudio S. Pinhanez, Mark Podlaseck:
Multimedia Chat for Helpdesks: A Requirements Study, a Practical SOA Architecture, and an Interface Prototype.
198-205

- Sang-Hun Lee, Hyun-Wook Jin:
Communication Primitives for Real-Time Distributed Synchronization over Small Area Networks.
206-210

- Shen-Ming Chung, Chun-Yi Li, Shun-Chieh Lin, Hsu-Cheng Lin, Hsiao-Hui Lee:
An Efficient TCP/IP Offload Embedded System with Deterministic Buffering Processes.
211-215

Software Development Support
Embedded Systems
- Midori Sugaya, Yuki Ohno, Andrej van der Zee, Tatsuo Nakajima:
A Lightweight Anomaly Detection System for Information Appliances.
257-266

- Sunwoo Lee, Byung Kwan Jung, Minsoo Ryu, Seungwon Lee:
Extending Component-Based Approaches for Multithreaded Design of Multiprocessor Embedded Software.
267-274

- Andy J. Wellings, Martin Schoeberl:
Thread-Local Scope Caching for Real-time Java.
275-282

- Lei Sun, Dennis K. Nilsson, Tomohiro Katori, Tatsuo Nakajima:
Online Self-Healing Support for Embedded Systems.
283-287

- Dietmar Schreiner, Markus Schordan, Jens Knoop:
Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach.
288-292

Software Modeling and Analysis
- Madhukar Anand, Sebastian Fischmeister, Insup Lee:
Resource Scopes: Toward Language Support for Compositional Determinism.
295-304

- Frédéric Mallet, Charles André:
On the Semantics of UML/MARTE Clock Constraints.
305-312

- Xavier Renault, Fabrice Kordon, Jérôme Hugues:
From AADL Architectural Models to Petri Nets: Checking Model Viability.
313-320

- Nizar Idoudi, Claude Duvallet, Rafik Bouaziz, Bruno Sadeg, Faïez Gargouri:
How to Model a Real-Time Database?.
321-325

- Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi:
Detecting and Analyzing State Inconsistencies in Multi-task Software.
326-330

Last update Thu May 23 17:30:33 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page