Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607)最新文献_第5页

Structural and behavioral decomposition in object oriented models 面向对象模型中的结构和行为分解

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839553

J. Fischer, E. Holz, B. Møller-Pedersen

引用次数: 5

Monitoring distributed real-time activities in DCOM 监控DCOM中的分布式实时活动

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839508

M. Mock, M. Gergeleit, E. Nett

{"title":"Monitoring distributed real-time activities in DCOM","authors":"M. Mock, M. Gergeleit, E. Nett","doi":"10.1109/ISORC.2000.839508","DOIUrl":"https://doi.org/10.1109/ISORC.2000.839508","url":null,"abstract":"Object-oriented frameworks have become a key element in the design of distribution systems. They make the existence of the physical and operating system level resources transparent to the designer and provide the abstract view of the distributed systems as a set of objects that interact by invoking well-defined interfaces of each other. Easy reuse of existing components, location transparency and implementation hiding are the main ingredients of such frameworks that simplify the task of designing distributed systems drastically. It is desirable to take advantage of these benefits when designing distributed real-time systems, too. However, this goal conflicts with the essential need to consider the allocation of system resources when real-time requirements must be met. Here, system level resource issues such as execution times on CPUs, thread switches, occurrence of interrupts, and message delays are of primary interest. Our approach to solve this dilemma is to allow and support the designer of distributed real-time object-oriented applications to become aware of system level resources. We present a monitoring tool JewelDC that allows monitoring of distribution activities (i.e. nested sequences of object invocations) in a distributed object-oriented framework. Distributed activities are visualized at the abstract object level while simultaneously revealing their use of system level resources. The tool has been implemented for DCOM on Microsoft Windows NT 4.0.","PeriodicalId":127761,"journal":{"name":"Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125538628","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

Kernel structuring using time-triggered message-triggered objects for real-time active DBMS in layered architecture 基于时间触发消息触发对象的分层实时主动DBMS内核结构

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839522

Chanho Ryu, Hyeok Han, Young-Keol Kim, Young-Kuk Kim, Seong-il Jin

{"title":"Kernel structuring using time-triggered message-triggered objects for real-time active DBMS in layered architecture","authors":"Chanho Ryu, Hyeok Han, Young-Keol Kim, Young-Kuk Kim, Seong-il Jin","doi":"10.1109/ISORC.2000.839522","DOIUrl":"https://doi.org/10.1109/ISORC.2000.839522","url":null,"abstract":"Real-time active database systems are systems that need the logical consistency of computation results and the timing constraint. Especially, real-time systems are generally highly interactive with their environment, reacting to stimuli in the environment. And a wealth of active database models has been proposed and several major prototypes have been produced However, no uniform method for specifying the rule and each manager of active database system in design has yet been proposed within the real-time research community: for an example, real-time object model. This paper presents an architecture of an real-time active database system using time-triggered message-triggered object with incorporating active functionality and real-time constraints into an active database kernel in layered architecture. Also this paper shows how real-time objects are designed to a manager as a module of active database and a rule in active database is represented as an object designed to appropriate to real-time active database.","PeriodicalId":127761,"journal":{"name":"Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128356415","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

Automatic synthesis of multi-tasking implementations from real-time object-oriented models 从实时面向对象模型自动合成多任务实现

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839552

M. Saksena, Panagiota Karvelas, Yun Wang

{"title":"Automatic synthesis of multi-tasking implementations from real-time object-oriented models","authors":"M. Saksena, Panagiota Karvelas, Yun Wang","doi":"10.1109/ISORC.2000.839552","DOIUrl":"https://doi.org/10.1109/ISORC.2000.839552","url":null,"abstract":"Presents an approach towards the automatic synthesis of implementations from real-time object-oriented design models. From an application design model that addresses the functional requirements of the system, and given end-to-end timing requirements, our synthesis approach generates a feasible implementation model, i.e. one that will meet the timing requirements. The synthesis process is supported by automatic code generation that can take the application design model and the synthesized implementation model, and can generate code for the target platform. The synthesis of an implementation model is facilitated through the use of a generic (application-independent) implementation architecture, thereby reducing the synthesis problem to selecting a mapping of the application design model to the artifacts of the implementation architecture. In this paper, we use a multi-threaded event handling architecture with fixed event priorities. The synthesis problem then consists of determining priorities for events and mapping events to threads. We show how, given such a mapping, the response times can be analyzed, and then how, using the analysis, a feasible implementation model can be automatically synthesized.","PeriodicalId":127761,"journal":{"name":"Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607)","volume":"329 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133679700","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

Architecture, design methodology, and component-based tools for a real-time inspection system 实时检测系统的体系结构、设计方法和基于组件的工具

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839543

J. Horst

引用次数: 9

Deadline-constrained causal order 截止日期约束的因果顺序

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839535

L. Rodrigues, R. Baldoni, E. Anceaume, M. Raynal

引用次数: 35

Modelling of real-time embedded systems in an object-oriented design environment with UML 在面向对象的设计环境中用UML对实时嵌入式系统进行建模

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839532

Razvan Jigorea, Sorin Manolache, P. Eles, Zebo Peng

引用次数: 35

Component customization for object-oriented distributed real-time software development 面向对象分布式实时软件开发的组件定制

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839523

S. Yau, F. Karim

引用次数: 15

Verification of UML-based real-time system designs by means of cTLA 利用cTLA验证基于uml的实时系统设计

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839515

G. Graw, P. Herrmann, H. Krumm

{"title":"Verification of UML-based real-time system designs by means of cTLA","authors":"G. Graw, P. Herrmann, H. Krumm","doi":"10.1109/ISORC.2000.839515","DOIUrl":"https://doi.org/10.1109/ISORC.2000.839515","url":null,"abstract":"The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular the design of dynamic system behaviors is supported by interaction diagrams and statecharts. Real-time aspects of behaviors can be described by time constraints. The semantics of the UML, however, is non-formal. In order to enable formal design verification, we therefore propose to complement the UML based design by additional formal models which refine UML diagrams to precise formal models. We apply the formal specification technique cTLA which is based on L. Lamport's Temporal Logic of Actions, TLA. In particular cTLA supports modular definitions of process types and the composition of systems from coupled process instances. Since process composition has superposition character each process system has all of the relevant properties of its constituting processes. Therefore mostly small subsystems are sufficient for the verification of system properties and it is not necessary to use complete and complex formal system models. We present this approach by means of an example and also exemplify the formal verification of its hard real-time properties.","PeriodicalId":127761,"journal":{"name":"Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127374281","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}

引用次数: 26

Using QDL to specify QoS aware distributed (QuO) application configuration 使用QDL指定QoS感知分布式(QuO)应用程序配置

Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Pub Date : 2000-03-15 DOI: 10.1109/ISORC.2000.839545

P. Pal, J. Loyall, R. Schantz, J. Zinky, R. Shapiro, James Megquier

引用次数: 79