Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)最新文献

筛选
英文 中文
The time-triggered Ethernet (TTE) design 时间触发以太网(TTE)设计
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}
引用次数: 288
Issues in mapping CORBA component model to OSEK 将CORBA组件模型映射到OSEK中的问题
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}
引用次数: 0
Model-checking of component-based event-driven real-time embedded software 基于组件的事件驱动实时嵌入式软件的模型检验
Z. Gu, K. Shin
{"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}
引用次数: 6
Adaptable situation-aware secure service-based (AS/sup 3/) systems 适应性强的基于态势感知的安全服务(AS/sup /)系统
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}
引用次数: 20
Model-based integration of reusable component-based avionics systems - a case study 基于可重用组件的航空电子系统的基于模型的集成——一个案例研究
M. Schulte
{"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}
引用次数: 25
On real-time performance of ahead-of-time compiled Java 预编译Java的实时性能
Anders Nilsson, S. Robertz
{"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}
引用次数: 9
Stochastic, utility accrual real-time scheduling with task-level and system-level timeliness assurances 具有任务级和系统级时效性保证的随机、效用应计实时调度
Peng Li, Hyeonjoong Cho, B. Ravindran, E. Jensen
{"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}
引用次数: 6
TMO-eCos: an eCos-based real-time micro operating system supporting execution of a TMO structured program TMO- ecos:基于ecos的实时微操作系统,支持TMO结构化程序的执行
Jung-Guk Kim, Moon-hae Kim, Kwang Kim, S. Heu
{"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}
引用次数: 14
Automated model checking and testing for composite Web services 组合Web服务的自动模型检查和测试
H. Huang, W. Tsai, R. Paul, Yinong Chen
{"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}
引用次数: 119
A Web service-based framework for supply chain management 用于供应链管理的基于Web服务的框架
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}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信