


default search action
12th 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
- Sumant Tambe, Akshay Dabholkar

, Aniruddha S. Gokhale
:
Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization Approach. 47-54 - Abhishek Dubey

, Gabor Karsai
, Sherif Abdelwahed
:
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. 55-62 - Florian Brandner

, Tommy Thorn, Martin Schoeberl
:
Embedded JIT Compilation with CACAO on YARI. 63-70 - Fahim Kawsar, Tatsuo Nakajima:

A Document Centric Framework for Building Distributed Smart Object Systems. 71-79 - Su-Fang Hsiao, Pi-Cheng Hsiu

, Tei-Wei Kuo
:
A Reconfigurable Virtual Storage Device. 80-87
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, Nodir Kodirov, 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
- John S. Kinnebrew, William Otte, Nishanth Shankaran, Gautam Biswas, Douglas C. Schmidt:

Intelligent Resource Management and Dynamic Adaptation in a Distributed Real-time and Embedded Sensor Web System. 135-142 - Jun Wu

, Jian-Jia Chen
:
Real-Time Scheduling of Weighted Jobs with Multiple Feasible Intervals. 143-147
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
- Amir A. Khwaja, Joseph E. Urban:

RealSpec: An Executable Specification Language for Modeling Control Systems. 219-227 - Tewfik Ziadi

, Xavier Blanc, Amine Raji:
From Requirements to Code Revisited. 228-235 - Dietmar Schreiner, Markus Schordan, Karl M. Göschka:

Component Based Middleware-Synthesis for AUTOSAR Basic Software. 236-243 - Kenneth Lind, Rogardt Heldal:

Estimation of Real-Time Software Code Size using COSMIC FSM. 244-248 - Frédéric Mallet

, Marie-Agnès Peraldi-Frati, Charles André:
Marte CCSL to Execute East-ADL Timing Requirements. 249-253
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














