2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems最新文献

Automated Veri.cation of the Dependability of Object-Oriented Real-Time Systems 自动化的真实。面向对象实时系统的可靠性评价

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-12-01 DOI: 10.1109/WORDS.2003.1267505

Hui Ding, Can Zheng, G. Agha, L. Sha

引用次数: 12

Redundant Optical Path Design Based on Multiagents and Its Experimental Evaluation 基于多智能体的冗余光路设计及其实验评价

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-12-01 DOI: 10.1109/WORDS.2003.1267502

Y. Kakuda, K. Suezawa, S. Inoue, H. Nakazato

引用次数: 0

Security Vulnerabilities - From Data Analysis to Protection Mechanisms 安全漏洞-从数据分析到保护机制

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-12-01 DOI: 10.1109/WORDS.2003.1267548

R. Iyer, Shuo Chen, Jun Xu, Z. Kalbarczyk

{"title":"Security Vulnerabilities - From Data Analysis to Protection Mechanisms","authors":"R. Iyer, Shuo Chen, Jun Xu, Z. Kalbarczyk","doi":"10.1109/WORDS.2003.1267548","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267548","url":null,"abstract":"This paper combines an analysis of data on security vulnerabilities (published in the Bugtraq database) and a focused source-code examination to (i) develop a finite state machine (FSM) model to depict and reason about security vulnerabilities and (ii) to extract characteristics shared by a large class of commonly seen vulnerabilities (e.g., integer overflow, heap overflow, format string, and stack buffer overflow). This information is used to devise Transparent Runtime Randomization (TRR), a generic, randomization-based technique for protecting against a wide range of security attacks. TRR dynamically and randomly relocates a program’s stack, heap, shared libraries, and parts of its runtime control data structures inside the application memory address space. Making a program’s memory layout different each time it runs foils the attacker’s assumptions about the memory layout of the vulnerable program and defeats potential attacks. TRR is implemented by changing the Linux dynamic program loader; hence, it is transparent to applications. TRR incurs less than 9% program startup overhead and no runtime overhead.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123087244","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

Middleware Design and Human Factor 中间件设计与人为因素

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-12-01 DOI: 10.1109/WORDS.2003.1267508

T. Nakajima

{"title":"Middleware Design and Human Factor","authors":"T. Nakajima","doi":"10.1109/WORDS.2003.1267508","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267508","url":null,"abstract":"Our future daily lives will be augmented by various computers and sensors, and our environments change their behavior according to the current situation. Each person will have many personal devices such as celluar phones, PDA's, MP3 Players voice recorders. Also, many appliances will be available near us such as various displays, televisions, and information kiosk. We believe that these devices and appliances are communicated in a spontaneous way, and provide useful information to us. It is important to offer middleware infrastructures to hide a variety of complexities from application programmers to make easy to develop pervasive computing applications. However, we have not enough experiences how to build middleware for pervasive computing, and it is important to share knowledge among research communities. In this paper, we present three middleware infrastructures for pervasive computing, that have been developed in our projects. These middleware infrastructures hide various complexities such as context-awareness to make it easy to develop pervasive computing applications. We found that hiding context-awareness requires to take into account human factors when designing middleware. We show the overview of our middlewares, and discuss some human factor issues while designing our middlewares.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":" 47","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120934060","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 Presence Service Architecture for Supporting Spontaneous Interaction 支持自发交互的状态服务体系结构

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-12-01 DOI: 10.1109/WORDS.2003.1267525

T. Nakajima

引用次数: 0

Enhancing Dependability of the Battlefield Single Integrated Picture through Metrics for Modeling and Simulation of Time-Critical Scenarios 通过时间关键场景建模与仿真的度量提高战场单一集成图像的可靠性

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-10-03 DOI: 10.1109/WORDS.2003.1267492

M. Ceruti, J. L. Kaina

引用次数: 13

Automated Control Systems for the Safety Integrity Levels 3 and 4 安全完整性等级3和4的自动控制系统

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-10-01 DOI: 10.1109/WORDS.2003.1267488

W. Halang

{"title":"Automated Control Systems for the Safety Integrity Levels 3 and 4","authors":"W. Halang","doi":"10.1109/WORDS.2003.1267488","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267488","url":null,"abstract":"Programs employed for purposes of safety related control must be formally safety licensed, which constitutes a very difficult and hitherto not satisfactorily solved problem. Striving for utmost simplicity and easy comprehensibility of verification methods, the programming methods cause/effect tables and function block diagrams based on verified libraries are assigned to the upper two Safety Integrity Levels SIL 4 and SIL 3, resp., as they are the only ones so far allowing to verify highly safety critical automation software in trustworthy, easy and economic ways. For each of the two SILs a dedicated, a low complexity execution platform is presented supporting the corresponding programming method architecturally. Their hardware is fault detecting or supervised by a fail safe logic, resp., to initiate emergency shut-downs in case of malfunctions. By design, there is no semantic gap between the programming and machine execution levels, enabling the safety licensing of application software by extremely simple, but rigorous methods, viz., diverse back translation and inspection. Operating in strictly periodic fashion, the controllers exhibit fully predictable real time behaviour.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"42 8 Pt 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125753360","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

An Adaptive Fault-Tolerant Component Model 自适应容错组件模型

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-10-01 DOI: 10.1109/WORDS.2003.1267506

J. Fraga, Frank Siqueira, F. Favarim

引用次数: 34

Foucault's Pendulum in the Distributed Control Lab 分布式控制实验室中的福柯摆

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-10-01 DOI: 10.1109/WORDS.2003.1267543

A. Rasche, Peter Tröger, M. Dirska, A. Polze

{"title":"Foucault's Pendulum in the Distributed Control Lab","authors":"A. Rasche, Peter Tröger, M. Dirska, A. Polze","doi":"10.1109/WORDS.2003.1267543","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1267543","url":null,"abstract":"The ’Distributed Control Lab’ [6] at Hasso-Plattner-Institute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet), among them the Lego Mindstorm robots and Foucault’s Pendulum. In order to conduct control experiments, students may write programs, which are validated, run on a simulator, and eventually downloaded on the actual control device. We use online replacement of software components (dynamic re-configuration) as a safeguard mechanism to avoid damage to our hardware. Our research focuses on the extension of middleware concepts to embedded devices. The component-based architecture of the laboratory in conjunction with given timing and safety constraints dictated by the experiments make our infrastructure an ideal candidate for studying system predictability, availability and security in context of middleware-based dynamic control systems. Within this paper we are going to describe our extensible architecture for hosting physical control experiments and focus on Foucault’s Pendulum as a case study. For the Pendulum we have implemented a dynamic recon.guration algorithm, which is able to replace erroneous user-supplied control programs with a verified safety controller at runtime. In addition we are going to discuss the design of custom-built controller hardware which allows us to meet the timing constraints of the Pendulum experiment with a commercial-off-the-shelf (COTS) operating system and middleware. Architectural characteristics of our hardware and software as well as a performance evaluation of the recon.guration process will be discussed in some detail.","PeriodicalId":350761,"journal":{"name":"2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128262559","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

Provision of Multimedia Services in a Mobile Ad Hoc Network 在移动自组织网络中提供多媒体服务

2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2003-10-01 DOI: 10.1109/WORDS.2003.1267494

Waseem Sheikh, Basit Shafiq, R. Paul, A. Ghafoor

引用次数: 2