H. Kopetz, A. Ademaj, P. Grillinger, K. Steinhammer
{"title":"The time-triggered Ethernet (TTE) design","authors":"H. Kopetz, A. Ademaj, P. Grillinger, K. Steinhammer","doi":"10.1109/ISORC.2005.56","DOIUrl":"https://doi.org/10.1109/ISORC.2005.56","url":null,"abstract":"This paper presents the rational for and an outline of the design of a time-triggered (TT) Ethernet that unifies real-time and non-real-time traffic into a single coherent communication architecture. TT Ethernet is intended to support all types of applications, from simple data acquisition systems, to multimedia systems up to the most demanding safety-critical real-time control systems which require a fault-tolerant communication service that must be certified. TT Ethernet distinguishes between two traffic categories: the standard event-triggered Ethernet traffic and the time-triggered traffic that is temporally guaranteed. The event triggered traffic in TT Ethernet is handled in conformance with the existing Ethernet standards of the IEEE. The design of TT Ethernet has been driven by the requirement of certification of safety-critical configurations and an uncompromising stand with respect to the integration of legacy applications and legacy Ethernet hardware.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"189 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134102789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
F. Lagarde, A. Radermacher, S. Robert, S. Gérard, D. Servat
{"title":"Issues in mapping CORBA component model to OSEK","authors":"F. Lagarde, A. Radermacher, S. Robert, S. Gérard, D. Servat","doi":"10.1109/ISORC.2005.30","DOIUrl":"https://doi.org/10.1109/ISORC.2005.30","url":null,"abstract":"The component/container paradigm helps to reduce the complexity and enhance the scalability of software development for plain desktop or enterprise systems. However, the frameworks enabling this approach are often not suitable for systems with limited processing power and memory sizes, and are not dedicated to real-time requirements. As part of the European IST project COMPARE, we study a possible projection from a high-level component model (CORBA component model) towards a low-level RT/E platform (OSEK). Preliminary results from this study are accounted in this paper. In the first part, the main features of CCM and OSEK are examined. Then we propose execution and communication models using an API for OSEK that is as similar as possible to that in the CCM framework.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"39 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132286780","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Model-checking of component-based event-driven real-time embedded software","authors":"Z. Gu, K. Shin","doi":"10.1109/ISORC.2005.35","DOIUrl":"https://doi.org/10.1109/ISORC.2005.35","url":null,"abstract":"As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-checking to verify system-level concurrency properties of component-based real-time embedded software based on CORBA event service, using avionics mission computing software as an application example. We use the process algebra FSP to formalize specification of software components and system architecture, previously only available in the form of natural language and prone to misinterpretation and misunderstanding, and use model-checking to verify system-level concurrency properties. We also discuss effective techniques for coping with the state-space explosion problem by exploiting application domain semantics. We have applied our analysis techniques to realistic application scenarios provided by our industry partner to demonstrate their utility and power.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132225305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
S. Yau, H. Davulcu, S. Mukhopadhyay, Dazhi Huang, Yisheng Yao
{"title":"Adaptable situation-aware secure service-based (AS/sup 3/) systems","authors":"S. Yau, H. Davulcu, S. Mukhopadhyay, Dazhi Huang, Yisheng Yao","doi":"10.1109/ISORC.2005.7","DOIUrl":"https://doi.org/10.1109/ISORC.2005.7","url":null,"abstract":"Service-oriented systems are distributed systems which have the major advantage of enabling rapid composition of distributed applications, regardless of the programming languages and platforms used in developing and running different components of the applications. In these systems, various capabilities are provided by different organizations as services interconnected by various types of networks. The services can be integrated following a specific workflow to achieve a mission goal for users. For large-scale service-based systems involving multiple organizations, high confidence and adaptability are of prime concern in order to ensure that users can use these systems anywhere, anytime with various devices, knowing that their confidentiality and privacy are well protected and the systems will adapt to satisfy their needs in various situations. Hence, these systems must be adaptable, situation-aware and secure. In this paper, an approach to rapid development of adaptable situation-aware secure service-based (AS/sup 3/) systems is presented. Our approach enables users to rapidly generate, discover, compose services into processes to achieve their goals based on the situation and adapt these processes when situation changes.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116185832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Model-based integration of reusable component-based avionics systems - a case study","authors":"M. Schulte","doi":"10.1109/ISORC.2005.34","DOIUrl":"https://doi.org/10.1109/ISORC.2005.34","url":null,"abstract":"A flight-tested product line open system software architecture developed under the Boeing Bold Stroke initiative has been previously described and presented (DC. Sharp, 2001). This architecture enables a reusable component-based development process for avionics systems to achieve product goals of improved affordability, quality, and system timeliness. For large-scale systems, one very challenging portion of this process is the integration of common and project specific software components into systems that respect cross-cutting embedded system requirements such as hard and soft real-time deadlines, fault tolerance, and distribution. Significant advances in current approaches would result from an integrated approach to explicit modeling of functional behaviors and coupled physical embedded system properties, analysis of these models to ensure that they meet requirements prior to coding, and automated component configuration code generation. How these challenges, requirements and end-state visions for avionics systems are being developed within the DARPA Model-Based Integration of Embedded Software (MoBIES) program has also been previously described and presented (W. Roll, 2002). This presentation expand on those initial experiment descriptions by delineating the experimental process that was used, by providing examples of the MoBIES-enabled development process in practice, the role of domain-specific models, and by presenting initial qualitative and quantitative results.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125137971","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On real-time performance of ahead-of-time compiled Java","authors":"Anders Nilsson, S. Robertz","doi":"10.1109/ISORC.2005.38","DOIUrl":"https://doi.org/10.1109/ISORC.2005.38","url":null,"abstract":"One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constraints, while providing adequate general execution performance. An approach to real-time Java based on ahead-of-time compilation is presented, and real-time properties and problems are examined. In particular, achieving both low latency and high throughput in an environment where neither the back-end compiler nor the scheduler is aware of automatic memory management is considered. Optimizations in both the compiler and run-time system, aimed at reducing the execution time overhead while still allowing very short latency times, is presented and experimentally verified.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130048368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Stochastic, utility accrual real-time scheduling with task-level and system-level timeliness assurances","authors":"Peng Li, Hyeonjoong Cho, B. Ravindran, E. Jensen","doi":"10.1109/ISORC.2005.52","DOIUrl":"https://doi.org/10.1109/ISORC.2005.52","url":null,"abstract":"Heuristic algorithms have enjoyed increasing interests and success in the context of utility accrual (UA) scheduling. However, few analytical results, such as bounds on task-level and system-level accrued utilities are known. In this paper, we propose the S-UA algorithm that can provide probabilistic bounds on task-level accrued utilities. Lower bound on system-level accrued utility ratio (AUR) is also derived and maximized by S-UA.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129032512","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"TMO-eCos: an eCos-based real-time micro operating system supporting execution of a TMO structured program","authors":"Jung-Guk Kim, Moon-hae Kim, Kwang Kim, S. Heu","doi":"10.1109/ISORC.2005.58","DOIUrl":"https://doi.org/10.1109/ISORC.2005.58","url":null,"abstract":"The TMO (time-triggered message-triggered object) model is a well-known real-time object model for distributed and timeliness-guaranteed computing. A couple of years ago, we developed a Linux-based real-time kernel supporting execution of a TMO structured program, named TMO-Linux. TMO-Linux has been used well in various applications including small embedded devices and real-time control applications, but it still has some drawbacks due to its size and server-like characteristics. To overcome these problems, we recently developed a small embedded kernel to support execution of a TMO structured program by modifying eCos/spl trade/ kernel named TMO-eCos. TMO-eCos supports a deadline-driven scheduling, a network transparent distributed IPC, and time-triggered and message-triggered real-time threads for TMO-based OO programming. In this paper, we present the design of TMO-eCos.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114952022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Automated model checking and testing for composite Web services","authors":"H. Huang, W. Tsai, R. Paul, Yinong Chen","doi":"10.1109/ISORC.2005.16","DOIUrl":"https://doi.org/10.1109/ISORC.2005.16","url":null,"abstract":"Web services form a new distributed computing paradigm. Collaborative verification and validation are important when Web services from different vendors are integrated together to carry out a coherent task. This paper presents a new approach to verify Web services by model checking the process model of OWL-S (Web ontology language for Web services) and to validate them by the test cases automatically generated in the model checking process. We extend the BLAST, a model checker that handles control flow model naturally, to handle the concurrency in OWL-S. We also propose enhancement in OWL-S and PDDL (Planning Domain Definition Language) to facilitate the automated test case generation. Experiments on realistic examples are provided to illustrate the process.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125772974","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zhang Mi, X. Jianjun, Cheng Zunping, L. Yinsheng, Zang Binyu
{"title":"A Web service-based framework for supply chain management","authors":"Zhang Mi, X. Jianjun, Cheng Zunping, L. Yinsheng, Zang Binyu","doi":"10.1109/ISORC.2005.5","DOIUrl":"https://doi.org/10.1109/ISORC.2005.5","url":null,"abstract":"This paper proposes a framework based on Web service to organize the corporation nodes on supply chain. We have defined a strategy for aggregating the agents, including the normal agent and the mobile agent, into the Web service architecture and the functionalities for them to control the business conducts. We also devise a UDDI ranking frame based on analysis of supply chain activities. In this frame, Web service-oriented technologies and protocols are deployed for modeling, managing and executing business-oriented functionalities. We focus on the efficient integration of supply chain as key points to harmonize these technologies. Agent-orientation concepts and technologies are applied to SCM construction and interaction patterns.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122245982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}