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

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems最新文献

筛选
英文 中文
JavaMaC and runtime monitoring for geoinformatics grid services 用于地理信息网格服务的JavaMaC和运行时监控
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.40
A. Gates, S. Roach, I. Gallegos, Omar Ochoa, O. Sokolsky
{"title":"JavaMaC and runtime monitoring for geoinformatics grid services","authors":"A. Gates, S. Roach, I. Gallegos, Omar Ochoa, O. Sokolsky","doi":"10.1109/WORDS.2005.40","DOIUrl":"https://doi.org/10.1109/WORDS.2005.40","url":null,"abstract":"The Geoscience Network (GEON) project is a collaborative effort among numerous institutions to create the geoinformatics infrastructure. Because of the criticality of the grid services that is deployed, scientists need assurance of the integrity of the data supplied by the service and assurance that the workflows and other scientific applications behave as expected. This paper describes the efforts toward using the Kepler workflow system to define new applications, the prospec specification tool to define properties, and the JavaMac system to monitor grid services. In addition, it outlines the research questions and challenges that must be addressed to meet the requirements of the GEON community.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114153515","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
An FPGA-based key-store for improving the dependability of security services 一种基于fpga的密钥存储，用于提高安全服务的可靠性
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.16
A. Cilardo, A. Mazzeo, L. Romano
{"title":"An FPGA-based key-store for improving the dependability of security services","authors":"A. Cilardo, A. Mazzeo, L. Romano","doi":"10.1109/WORDS.2005.16","DOIUrl":"https://doi.org/10.1109/WORDS.2005.16","url":null,"abstract":"A key-store is a facility for storing sensitive information, most typically the keys of a cryptographic application which provides a security service. In this paper, we present a hardware implemented key-store, which allows secure storage and high performance retrieval of RSA keys. Since RSA is the most widely adopted standard for cryptographic keys, our key-store can be effectively used to improve the dependability of a wide class of security services. Tfie device is implemented on top of a commercial off the shelf (COTS) programmable hardware board, namely a Celoxica RCWOO mounting a Xilinx Virtex-E 2000 FPGA part. We describe the architecture of the hardware device, illustrate the organization of the associated device driver, and evaluate the security and performance gain which can be achieved by integrating our device in real-world applications.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130951411","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
Progressive ranking and composition of Web services using covering arrays 使用覆盖数组对Web服务进行渐进式排序和组合
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.47
C. Colbourn, Yinong Chen, W. Tsai
{"title":"Progressive ranking and composition of Web services using covering arrays","authors":"C. Colbourn, Yinong Chen, W. Tsai","doi":"10.1109/WORDS.2005.47","DOIUrl":"https://doi.org/10.1109/WORDS.2005.47","url":null,"abstract":"Major computer companies and government agencies are adopting Web services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy. Consumers must make runtime decisions based on an intelligent and unbiased evaluation. We propose one component of a test suite generator to address this critical issue. The goal is to transform the labor-intensive software development process into a largely automated Web services development process. The method operates within a service-oriented architecture, with the models and tools implemented as services that can be added, removed and replaced at runtime. We propose a generic greedy algorithm based on covering arrays for application in this environment.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"2007 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125580630","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
Towards a flow analysis for embedded system C programs 面向嵌入式系统C程序的流程分析
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.53
J. Gustafsson, Andreas Ermedahl, B. Lisper
{"title":"Towards a flow analysis for embedded system C programs","authors":"J. Gustafsson, Andreas Ermedahl, B. Lisper","doi":"10.1109/WORDS.2005.53","DOIUrl":"https://doi.org/10.1109/WORDS.2005.53","url":null,"abstract":"Reliable program worst-case execution time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET analysis methods, relying on mathematical models of the software and hardware involved. This paper describes an approach to static flow analysis for deriving information on the possible execution paths of C programs. This includes upper bounds for loops, execution dependencies between different code parts and safe determination of possible pointer values. The method builds upon abstract interpretation, a classical program analysis technique, which is adopted to calculate flow information and to handle the specific properties of the C programming language.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117218535","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}
引用次数: 53
Towards a dependable component technology for embedded system applications 面向嵌入式系统应用的可靠组件技术
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.52
Mikael Åkerholm, Anders Möller, H. Hansson, Mikael Nolin
{"title":"Towards a dependable component technology for embedded system applications","authors":"Mikael Åkerholm, Anders Möller, H. Hansson, Mikael Nolin","doi":"10.1109/WORDS.2005.52","DOIUrl":"https://doi.org/10.1109/WORDS.2005.52","url":null,"abstract":"Component-based software engineering is a technique that has proven effective to increase reusability and efficiency in development of office and Web applications. Though being promising also for development of embedded and dependable systems, the true potential in this domain has not yet been realized. In this paper, we present a prototype component technology developed with safety-critical automotive applications in mind. The technology is illustrated by a case-study, which is also used as the basis for an evaluation and a discussion of the appropriateness and applicability in the considered domain. Our study provides initial positive evidence of the suitability of our technology, but also shows that it needs to be extended to be fully applicable in an industrial context.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131740215","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}
引用次数: 29
Design exploration in HW/SW co-design of real-time object-oriented embedded systems: the scheduler object 实时面向对象嵌入式系统软硬件协同设计中的设计探索:调度对象
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.25
Elias Teodoro da Silva, M. A. Wehrmeister, L. Becker, F. Wagner, C. Pereira
{"title":"Design exploration in HW/SW co-design of real-time object-oriented embedded systems: the scheduler object","authors":"Elias Teodoro da Silva, M. A. Wehrmeister, L. Becker, F. Wagner, C. Pereira","doi":"10.1109/WORDS.2005.25","DOIUrl":"https://doi.org/10.1109/WORDS.2005.25","url":null,"abstract":"This paper discusses a design flow for multithread object-oriented real-time applications, running on top of an embedded, platform-based, customizable Java processor, which is prototyped using affordable FPGAs. The proposed approach enforces design space exploration activities, taking into account aspects like temporal behavior, memory footprint, and power/energy consumption. A case study containing a task scheduler implementation as both software and hardware modules is presented. While both implementations are compatible with the developed program from an interface point of view, they lead to different timing and footprint requirements. Their evaluation in terms of memory occupation and number of FPGA logic cells is presented.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"2011 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128201786","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}
引用次数: 8
Towards self-healing systems via dependable architecture and reflective middleware 通过可靠的体系结构和反射中间件实现自修复系统
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.54
Hong Mei, Gang Huang, W. Tsai
{"title":"Towards self-healing systems via dependable architecture and reflective middleware","authors":"Hong Mei, Gang Huang, W. Tsai","doi":"10.1109/WORDS.2005.54","DOIUrl":"https://doi.org/10.1109/WORDS.2005.54","url":null,"abstract":"Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper proposes a systematic approach to self-healing systems via dependable architecture and reflective middleware. Firstly, the differences between self-healing systems and traditional dependable systems are illustrated via the construction of a dependable computing model. Secondly, reflective middleware is incorporated into the dependable computing model for investigating the feasibility and benefits of implementing self-healing systems by reflective middleware. Thirdly, dependable architectures are introduced for providing application specific knowledge related to self-healing. Fourthly, an architecture based deployment tool is implemented for deploying dependable architectures into heterogeneous and distribute environments. Finally, an architecture based reflective J2EE application server, called PKUAS, is implemented for interpreting and enforcing dependable architectures at runtime, that is, discovering or predicting and recovering or preventing failures automatically under the guide of dependable architectures.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114389700","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}
引用次数: 15
An ontology-based approach for determining the dependability of service-oriented architectures 用于确定面向服务的体系结构的可靠性的基于本体的方法
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.17
N. Looker, M. Munro, Binka Gwynne, Jie Xu
{"title":"An ontology-based approach for determining the dependability of service-oriented architectures","authors":"N. Looker, M. Munro, Binka Gwynne, Jie Xu","doi":"10.1109/WORDS.2005.17","DOIUrl":"https://doi.org/10.1109/WORDS.2005.17","url":null,"abstract":"This paper introduces our novel ontologies for the generation of fault injection test cases and failure detection. Our first ontology is an extension of a standard fault model that is constructed through decomposition to create a framework that facilitates automatic test generation. The second ontology is based on a set of failure modes and again decomposed to create a framework to aid in the automatic detection of system failures. We demonstrate the WS-FIT method and fault injection tools with the use of a simulated real-world system.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121888380","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
Reliable monitoring of network-related performance parameters in wireless environments 可靠地监测无线环境中与网络相关的性能参数
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.49
Domenico Cotroneo, A. Migliaccio, S. Russo
{"title":"Reliable monitoring of network-related performance parameters in wireless environments","authors":"Domenico Cotroneo, A. Migliaccio, S. Russo","doi":"10.1109/WORDS.2005.49","DOIUrl":"https://doi.org/10.1109/WORDS.2005.49","url":null,"abstract":"End-to-end delay estimation is a crucial issue in the design of network monitoring systems for wireless best-effort infrastructures. This work demonstrates that estimations based on one-way delay are the most suitable for evaluating the delay on wireless networks such as Wi-Fi LANs and Bluetooth piconets. To prevent delay measurement from being affected by clock synchronization issues, raw measures need to be corrected by estimating clock synchronism attributes such as clock skew and offset. However, due to network noise and clock adjustments, this estimation process may affect the reliability of network monitoring systems. In this paper, we propose a trustworthy network performance monitor designed to support adaptive and/or soft real-time applications in wireless environments. The monitor corrects one-way delay measurements through an on-line algorithm for evaluating clock synchronism attributes. Simulation experiments show the effectiveness of our approach.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125578337","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
Issues in providing quality of service in a joint battlespace infosphere 在联合作战空间信息空间中提供服务质量的问题
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.39
J. Loyall, J. Lawson, G. Duzan
{"title":"Issues in providing quality of service in a joint battlespace infosphere","authors":"J. Loyall, J. Lawson, G. Duzan","doi":"10.1109/WORDS.2005.39","DOIUrl":"https://doi.org/10.1109/WORDS.2005.39","url":null,"abstract":"Military command and control systems rely on information that is timely, accurate, and in the correct form in order to make mission-critical decisions. Therefore these systems rely on having predictable quality of service, or QoS, for information creation, delivery, and processing. The joint battlespace infosphere, or JBI, is an information system architecture being developed to support the military's information exchange for decision making at all echelons. The JBI is based upon a publish, subscribe, and query architecture with support for information fusion and aggregation. This paper discusses the issues of providing QoS in a JBI implementation and describes a prototype JBI implementing publish on demand, an approach to providing QoS managed information through a JBI.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122213171","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
首页 上一页 下一页 尾页
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学术官方微信