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

筛选
英文 中文
DoD towards software services 面向软件服务的国防部
R. Paul
{"title":"DoD towards software services","authors":"R. Paul","doi":"10.1109/WORDS.2005.30","DOIUrl":"https://doi.org/10.1109/WORDS.2005.30","url":null,"abstract":"Department of Defense is moving rapidly towards service-oriented computing (SOC) recently as evidence of DoD 5 projects such as network centric enterprise services (NCES), global information grid enterprise services (GES), and joint battle management command and control (JBMC2). SOC represents a completely new and emerging paradigm of computing instead of thinking in terms of products. Systems will be constructed by reusable services. SOC is different from the traditional computing paradigms as it involves at least three parties in computing: service providers, service consumers, and service brokers.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"35 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":"131476188","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}
引用次数: 44
An RBAC framework for time constrained secure interoperation in multi-domain environments 多域环境中时间约束安全互操作的RBAC框架
Smithi Piromruen, J. Joshi
{"title":"An RBAC framework for time constrained secure interoperation in multi-domain environments","authors":"Smithi Piromruen, J. Joshi","doi":"10.1109/WORDS.2005.18","DOIUrl":"https://doi.org/10.1109/WORDS.2005.18","url":null,"abstract":"In emerging e-commerce applications, time constrained information sharing between different systems is becoming a common phenomenon. A flexible and efficient mechanism is needed to support short term time-based sharing policies between transient partners. In particular, the interacting domains need to establish a time-based inter-domain access policy without violating the original time-based security policies of the individual systems. In this paper, we address this issue using the generalized temporal role based access control (GTRBAC) framework. The proposed mechanism involves a system processing an inter-domain access requirement specification to extend or restructure its local GTRBAC policy with proper temporal constraints to allow its external partner domain to access its resources. The transformed local GTRBAC policy facilitates the inter-domain accesses while still conforming to the original local policy requirements.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"80 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":"131898369","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}
引用次数: 42
Error recovery for a boiler system with OTS PID controller 带有OTS PID控制器的锅炉系统误差恢复
T. Anderson, Mei Feng, S. Riddle, A. Romanovsky
{"title":"Error recovery for a boiler system with OTS PID controller","authors":"T. Anderson, Mei Feng, S. Riddle, A. Romanovsky","doi":"10.1109/WORDS.2005.34","DOIUrl":"https://doi.org/10.1109/WORDS.2005.34","url":null,"abstract":"We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (off-the-shelf) item. The case study used a Simulink model of a steam boiler system together with an OTS PID (proportional, integral and derivative) controller. The protective wrappers are developed for the model of the system in such a way that they allow detection and tolerance of typical errors caused by unavailability of signals, violations of range limitations, and oscillations. In this paper, we extend the case study to demonstrate how forward error recovery based on exception handling can be systematically incorporated at the level of the protective wrappers.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"357 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":"115850908","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
Improving the real-time behaviour of a multithreaded Java microcontroller by control theory and model based latency prediction 利用控制理论和基于模型的延迟预测提高多线程Java微控制器的实时性
U. Brinkschulte, Mathias Pacher
{"title":"Improving the real-time behaviour of a multithreaded Java microcontroller by control theory and model based latency prediction","authors":"U. Brinkschulte, Mathias Pacher","doi":"10.1109/WORDS.2005.38","DOIUrl":"https://doi.org/10.1109/WORDS.2005.38","url":null,"abstract":"Our aim is to investigate if it is possible to control and to stabilize the throughput (IPC rate) of a thread running on a multithreaded Java processor by a closed feedback loop and a model based latency predictor. We implemented a PID controller and a model based latency predictor in the processor simulator of the Komodo microcontroller developed at the universities of Karlsruhe and Augsburg to simulate both as additional hardware modules. GP (guaranteed percentage) scheduling is used to control the thread. Evaluations show that the aimed IPC rate of a thread is achieved by the controller and stabilized by the latency predictor thus improving the real-time capabilities of the Java processor.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"23 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":"129343424","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
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学术官方微信