Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003).最新文献_第4页

A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems 分布式嵌入式系统全局优雅退化的可扩展分析与设计框架

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Pub Date : 2003-08-04 DOI: 10.1109/WORDS.2003.1218078

C. Shelton, P. Koopman, W. Nace

{"title":"A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems","authors":"C. Shelton, P. Koopman, W. Nace","doi":"10.1109/WORDS.2003.1218078","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1218078","url":null,"abstract":"We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A system that gracefully degrades suffers a proportional loss of system utility as individual software and hardware components fail. However, explicitly designing a system to gracefully degrade; i.e. handle all possible combinations of component failures, becomes impractical for systems with more than a few components. We avoid this exponential complexity of component combinations by exploiting the structure of the system architecture to partition components into subsystems. We view each subsystem as a configuration of components that changes when components are removed or added. Thus, a subsystem's utility changes when components fail or are repaired. We then view the system as a composition of subsystems that each contribute to overall system utility. We demonstrate the scalability of our framework by applying it to an example automobile navigation system. Using this framework, we improve the system dependability by identifying architectural properties that enhance a system's ability to gracefully degrade.","PeriodicalId":225796,"journal":{"name":"Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003).","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133116274","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}

引用次数: 74

Search-based execution-time verification in object-oriented and component-based real-time system development 面向对象和基于组件的实时系统开发中基于搜索的执行时间验证

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Pub Date : 2003-08-04 DOI: 10.1109/WORDS.2003.1218073

H. Groß, N. Mayer

{"title":"Search-based execution-time verification in object-oriented and component-based real-time system development","authors":"H. Groß, N. Mayer","doi":"10.1109/WORDS.2003.1218073","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1218073","url":null,"abstract":"Execution time analysis is an essential verification activity during real-time system construction. This activity can be performed dynamically through search-based analysis techniques such as evolutionary algorithms. Evolutionary algorithms have already been successfully used for execution-time analysis under the traditional procedural development paradigm. This paper describes a first attempt in making search-based execution-time analysis techniques also applicable under the more recent object-oriented and component-based software development paradigms. Here, their application is more difficult compared with the traditional procedural development approaches because object-based architectures are inherently encapsulated, and they often represent state machines. This work proposes a solution that makes search techniques applicable in real-time system development with object technology. It is based on built-in testing artefacts and on the execution and optimization of an object's invocation history through a genetic algorithm. We demonstrate the applicability of the technique through a simple object-oriented real-time system.","PeriodicalId":225796,"journal":{"name":"Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003).","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130841599","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

Event-driven support of real-time sentient objects 事件驱动的实时感知对象支持

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Pub Date : 2003-08-04 DOI: 10.1109/WORDS.2003.1218059

P. Veríssimo, A. Casimiro

引用次数: 28

An interactive object based multimedia system for IP networks 面向IP网络的交互式对象多媒体系统

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Pub Date : 2003-08-04 DOI: 10.1109/WORDS.2003.1218098

M. Zarki, Liang Cheng, Haining Liu, Xiaoping Wei

引用次数: 3

An efficient real-time multicast protocol RFRM 一个高效的实时组播协议RFRM

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Pub Date : 2003-08-04 DOI: 10.1109/WORDS.2003.1218093

Y. Hong, J. No

引用次数: 1

Object and process migration in .NET .NET中的对象和进程迁移

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Pub Date : 2003-08-04 DOI: 10.1109/WORDS.2003.1218076

Peter Tröger, A. Polze

{"title":"Object and process migration in .NET","authors":"Peter Tröger, A. Polze","doi":"10.1109/WORDS.2003.1218076","DOIUrl":"https://doi.org/10.1109/WORDS.2003.1218076","url":null,"abstract":"Most of today's distributed computing systems in the field do not support the migration of execution entities among computing nodes during runtime. The relatively static association between units of processing and computing nodes makes it difficult to implement fault-tolerant behavior or load-balancing schemes. The concept of code migration may provide a solution to the problems mentioned above. It can be defined as the movement of process, object or component instances from one computing node to another during system runtime in a distributed environment. Within our paper we describe the integration of a migration facility with the help of aspect-oriented programming (AOP) into the .NET framework. AOP is interesting as it addresses nonfunctional system properties on the middleware level, without the need to manipulate lower system layers like the operating system itself. We have implemented two proof-of-concept applications, namely a migrating Web server as well as a migrating file version checker application. The paper contains an experimental evaluation of the performance impact of object migration in context of those two applications.","PeriodicalId":225796,"journal":{"name":"Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003).","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127218245","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

Mirror hopping approach for selective denial of service prevention 选择性拒绝服务预防的镜像跳变方法

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Pub Date : 2003-08-04 DOI: 10.1109/WORDS.2003.1218084

P. Sharma, P. Shah, S. Bhattacharya

引用次数: 8

QoS modeling language for high quality systems 用于高质量系统的QoS建模语言

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Pub Date : 1900-01-01 DOI: 10.1109/WORDS.2003.1218085

M.A. de Miguel

引用次数: 1