发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
Tool-based configuration of real-time CORBA middleware for embedded systems 基于工具的嵌入式系统实时CORBA中间件配置
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.60
Shruti Gorappa, Juan A. Colmenares, H. Jafarpour, R. Klefstad
{"title":"Tool-based configuration of real-time CORBA middleware for embedded systems","authors":"Shruti Gorappa, Juan A. Colmenares, H. Jafarpour, R. Klefstad","doi":"10.1109/ISORC.2005.60","DOIUrl":"https://doi.org/10.1109/ISORC.2005.60","url":null,"abstract":"Real-time CORBA is a middleware standard that has demonstrated successes in developing distributed, realtime, and embedded (DRE) systems. Customizing real-time CORBA for an application can considerably reduce the size of the middleware and improve its performance. However, customizing middleware is an error-prone task and requires deep knowledge of the CORBA standard as well as the middleware design. This paper presents ZEN-kit, a graphical tool for customizing RTZen (an RTSJ-based implementation of real-time CORBA). This customization is achieved through modularizing the middleware so that features may be inserted or removed based on the DRE application requirements. This paper presents three main contributions: 1) it describes how real-time CORBA features can be modularized and configured in RTZen using components and aspects, 2) it provides a configuration strategy to customize real-time middleware to achieve low-footprint ORBs, and 3) it presents ZEN-kit, a graphical tool for composing customized real-time middleware.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"112 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":"123041310","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}
引用次数: 12
A GTRBAC based system for dynamic workflow composition and management 基于GTRBAC的动态工作流组成与管理系统
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.1
Basit Shafiq, Arjmand Samuel, Halima Ghafoor
{"title":"A GTRBAC based system for dynamic workflow composition and management","authors":"Basit Shafiq, Arjmand Samuel, Halima Ghafoor","doi":"10.1109/ISORC.2005.1","DOIUrl":"https://doi.org/10.1109/ISORC.2005.1","url":null,"abstract":"In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of information among predefined or ad hoc team of users collaborating with each other for the execution of their respective tasks in the workflow. A key requirement for real-time workflow system is to provide the right data to the right person at the right time. In addition, the workflow needs to be reconfigured if a subtask of a workflow cannot be executed within the due time. We use the generalized temporal role-based access control (GTRBAC) model to capture the real-time dependencies of such workflow applications. In addition, support for triggers in GTRBAC allows dynamic adaptation of workflow based on the occurrence of certain events. Such adaptations may include rescheduling of workflow tasks, reassignment of users to scheduled tasks based on their availability and skill level, and abortion of incomplete tasks.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"14 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":"125139595","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}
引用次数: 18
Object-reuse for more predictable real-time Java behavior 对象重用，实现更可预测的实时Java行为
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.37
J. Al-Jaroodi, N. Mohamed
{"title":"Object-reuse for more predictable real-time Java behavior","authors":"J. Al-Jaroodi, N. Mohamed","doi":"10.1109/ISORC.2005.37","DOIUrl":"https://doi.org/10.1109/ISORC.2005.37","url":null,"abstract":"One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-time applications. In this paper, we propose a technique that reduces and bounds the memory requirements for real-time Java programs. This technique can eliminate or reduce the need for GC and allows for a more predictable execution behavior and efficient utilization of the available memory. A theoretical model is presented and a number of benchmark tests are used to evaluate this technique in PERC, NewMonics' real-time JVM, and Sun's JVM. The results show that in some cases GC can be eliminated and an application's execution time decreases and becomes more predictable.","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":"129560441","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}
引用次数: 1
A provenance-aware weighted fault tolerance scheme for service-based applications 用于基于服务的应用程序的来源感知加权容错方案
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.3
P. Townend, Paul T. Groth, Jie Xu
{"title":"A provenance-aware weighted fault tolerance scheme for service-based applications","authors":"P. Townend, Paul T. Groth, Jie Xu","doi":"10.1109/ISORC.2005.3","DOIUrl":"https://doi.org/10.1109/ISORC.2005.3","url":null,"abstract":"Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many new challenges to the dependability community in this new paradigm, such as how individual channels within fault-tolerant systems may invoke common services as part of their workflow, thus increasing the potential for common-mode failure. We propose a scheme that - for the first time - links the technique of provenance with that of multi-version fault tolerance. We implement a large test system and perform experiments with a single-version system, a traditional MVD system, and a provenance-aware MVD system, and compare their results. We show that for this experiment, our provenance-aware scheme results in a much more dependable system than either of the other systems tested, whilst imposing a negligible timing overhead.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"19 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":"128235885","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}
引用次数: 40
Real-time GC in JeRTy/spl trade/VM using the return-barrier method 使用返回屏障方法在JeRTy/spl trade/VM中实现实时GC
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.45
Hideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, M. Yasugi, T. Yuasa
{"title":"Real-time GC in JeRTy/spl trade/VM using the return-barrier method","authors":"Hideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, M. Yasugi, T. Yuasa","doi":"10.1109/ISORC.2005.45","DOIUrl":"https://doi.org/10.1109/ISORC.2005.45","url":null,"abstract":"Runtime systems for applications written in certain languages such as Java/spl trade/ and Lisp usually have a garbage collection (GC) feature to make efficient use of memory. With this feature, the system, before running out of memory space, automatically reclaims unnecessary fragments of memory at one burst and recycles them for use by applications. In conventional implementations, however, the system has to suspend the execution of applications while carrying out GC, which renders GC generally unsuitable for real-time processing systems. As a solution to this problem, Yuasa, et al. of Kyoto University developed the return-barrier method based on snapshot GC. Return-barrier enhances real-time GC processing over the original snapshot GC. Some reports have been published on the evaluation of the return-barrier method in the Lisp environment such as Kyoto Common Lisp (KCL). In this paper, we report the implementation of the return-barrier method for JeRTy/spl trade/VM, which is a real-time environment for embedded Java applications developed by OMRON Corporation, and its performance improvement over the conventional GC in JeRTyVM.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"184 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":"124682293","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}
引用次数: 10
Proof slicing with application to model checking Web services 证明切片与应用程序模型检查Web服务
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.44
H. Huang, W. Tsai, R. Paul
{"title":"Proof slicing with application to model checking Web services","authors":"H. Huang, W. Tsai, R. Paul","doi":"10.1109/ISORC.2005.44","DOIUrl":"https://doi.org/10.1109/ISORC.2005.44","url":null,"abstract":"Web services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. Boolean abstraction and counterexample driven refinement are major techniques for model checking software and WS. In most of the literature, the refinement is governed by the precision of the abstraction. In this paper, we present an innovative technique to distribute the precision information among proof slices, which can be selectively reused by future proofs and hence improve the performance by reducing excessive invocations of theorem provers. Moreover, the reuse approach is flexible for virtually arbitrary future extension. Our theoretical framework subsumes several existing abstraction-based model checking techniques, e.g., lazy abstraction. Besides the correctness and termination proofs, we also conducted theoretical analysis on the performance of the proof slicing algorithm.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"116 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":"116138469","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}
引用次数: 4
A Linux-based implementation of a middleware model supporting time-triggered message-triggered objects 中间件模型的基于linux的实现，支持时间触发的消息触发对象
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.2
S. Jenks, K. Kim, Emmanuel Henrich, Yuqing Li, L. Zheng, Moon-hae Kim, H. Youn, Kyung-Hee Lee, Dong-Myung Seol
{"title":"A Linux-based implementation of a middleware model supporting time-triggered message-triggered objects","authors":"S. Jenks, K. Kim, Emmanuel Henrich, Yuqing Li, L. Zheng, Moon-hae Kim, H. Youn, Kyung-Hee Lee, Dong-Myung Seol","doi":"10.1109/ISORC.2005.2","DOIUrl":"https://doi.org/10.1109/ISORC.2005.2","url":null,"abstract":"Programming and composing deterministic distributed real-time systems is becoming increasingly important, yet remains difficult and error-prone. An innovative approach to such systems is the general-form timeliness-guaranteed design paradigm, which is the basis for the time-triggered message-triggered object (TMO) programming and system specification scheme. This approach was originally developed for Windows programming environments and operating systems. This paper describes the techniques needed to make TMO support the Linux operating system and reports the resulting performance characteristics.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"37 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":"125730619","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}
引用次数: 7
Temporal isolation in Ravenscar-Java Ravenscar-Java中的时间隔离
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.55
H. Cai, A. Wellings
{"title":"Temporal isolation in Ravenscar-Java","authors":"H. Cai, A. Wellings","doi":"10.1109/ISORC.2005.55","DOIUrl":"https://doi.org/10.1109/ISORC.2005.55","url":null,"abstract":"Ravenscar-Java is a subset of Java (augmented by the real-time specification for Java) targeted at high-integrity real-time systems. It has recently been extended to support multiple applications of mixed criticality on the same Java platform. A two level scheduling model is used to achieve temporal isolation between applications. This paper presents the general schedulability analysis for the approach, describes how the approach can be implemented using standard real-time POSIX facilities, illustrates how the analysis can be modified to take into account the implementation, and uses the prototype implementation to evaluate the accuracy of the analysis models.","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":"126072435","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}
引用次数: 11
Code generation from hybrid systems models for distributed embedded systems 分布式嵌入式系统混合系统模型的代码生成
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.20
M. Anand, Jesung Kim, Insup Lee
{"title":"Code generation from hybrid systems models for distributed embedded systems","authors":"M. Anand, Jesung Kim, Insup Lee","doi":"10.1109/ISORC.2005.20","DOIUrl":"https://doi.org/10.1109/ISORC.2005.20","url":null,"abstract":"Code generation from hybrid system models is a promising approach to producing reliable embedded systems. This approach presents new challenges as the precise semantics of the model are hard to capture in the code. A framework for generating code was introduced for single threaded/processor environments. We extend it by considering code generation for distributed environments. We also define criteria for faithful implementation of the model. To this end, we define faulty and missed transitions. For preventing faulty transitions, we build on the idea of instrumentation we have developed for sound simulation of hybrid systems. Finally, we present sufficient conditions to avoid missed transitions and provide examples.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"64 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":"131700515","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}
引用次数: 10
Dependable real-time data mining 可靠的实时数据挖掘
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) Pub Date : 2005-05-18 DOI: 10.1109/ISORC.2005.24
B. Thuraisingham, L. Khan, Chris Clifton, J. Maurer, M. Ceruti
{"title":"Dependable real-time data mining","authors":"B. Thuraisingham, L. Khan, Chris Clifton, J. Maurer, M. Ceruti","doi":"10.1109/ISORC.2005.24","DOIUrl":"https://doi.org/10.1109/ISORC.2005.24","url":null,"abstract":"In this paper we discuss the need for real-time data mining for many applications in government and industry and describe resulting research issues. We also discuss dependability issues including incorporating security, integrity, timeliness and fault tolerance into data mining. Several different data mining outcomes are described with regard to their implementation in a real-time environment. These outcomes include clustering, association-rule mining, link analysis and anomaly detection. The paper describes how they would be used together in various parallel-processing architectures. Stream mining is discussed with respect to the challenges of performing data mining on stream data from sensors. The paper concludes with a summary and discussion of directions in this emerging area.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"19 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":"114701054","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}
引用次数: 21
下一页 尾页
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学术官方微信