首页 > 最新文献

Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)最新文献

英文 中文
Architectural techniques for the description and validation of distributed real-time systems 描述和验证分布式实时系统的体系结构技术
L. Thomas, Thomas Lambolais, Renaud Lesiour
Our goal is to settle techniques for the validation of real time distributed systems. We opted for executable models and simulation techniques. Our approach is to work at the architectural level of a system abstraction. The software architecture is understood as a set of structures comprising software components with external properties and relationships among them. We devised a language to describe those components and the logical structure of the architecture. It is a specialization and extension of object oriented modeling languages designed to deal with concurrency, reactivity and architectural concerns. This language is based on a notion of components defined similarly to the class notion, extended for the timing requirements. Execution and simulation are driven to validate behaviors with respect to desired properties.
我们的目标是解决实时分布式系统验证的技术问题。我们选择了可执行模型和仿真技术。我们的方法是在系统抽象的架构级别上工作。软件体系结构被理解为一组由具有外部属性和它们之间的关系的软件组件组成的结构。我们设计了一种语言来描述这些组件和体系结构的逻辑结构。它是面向对象建模语言的专门化和扩展,旨在处理并发性、响应性和体系结构问题。这种语言基于组件的概念,其定义与类的概念类似,并针对定时需求进行了扩展。驱动执行和模拟来验证与期望属性相关的行为。
{"title":"Architectural techniques for the description and validation of distributed real-time systems","authors":"L. Thomas, Thomas Lambolais, Renaud Lesiour","doi":"10.1109/ISORC.1999.776399","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776399","url":null,"abstract":"Our goal is to settle techniques for the validation of real time distributed systems. We opted for executable models and simulation techniques. Our approach is to work at the architectural level of a system abstraction. The software architecture is understood as a set of structures comprising software components with external properties and relationships among them. We devised a language to describe those components and the logical structure of the architecture. It is a specialization and extension of object oriented modeling languages designed to deal with concurrency, reactivity and architectural concerns. This language is based on a notion of components defined similarly to the class notion, extended for the timing requirements. Execution and simulation are driven to validate behaviors with respect to desired properties.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127475141","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}
引用次数: 3
The PERCO platform PERCO平台
J. Maisonneuve, S. Chabridon, P. Leveille
The PERCO platform is an industry-provided software platform that specifically addresses the requirements of highly available, dependable autonomous systems. Its basic tenet is to use UML specifications to build as much of the application as possible, while integrating real-time and fault-tolerant properties at the architectural level. PERCO was designed and built within the Alcatel-Thomson Common Laboratory (LCAT).
PERCO平台是一个行业提供的软件平台,专门解决高可用性、可靠的自主系统的需求。它的基本原则是使用UML规范来构建尽可能多的应用程序,同时在体系结构级别集成实时和容错属性。PERCO是在Alcatel-Thomson公共实验室(LCAT)内设计和建造的。
{"title":"The PERCO platform","authors":"J. Maisonneuve, S. Chabridon, P. Leveille","doi":"10.1109/ISORC.1999.776385","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776385","url":null,"abstract":"The PERCO platform is an industry-provided software platform that specifically addresses the requirements of highly available, dependable autonomous systems. Its basic tenet is to use UML specifications to build as much of the application as possible, while integrating real-time and fault-tolerant properties at the architectural level. PERCO was designed and built within the Alcatel-Thomson Common Laboratory (LCAT).","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122135385","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}
引用次数: 5
Prediction of fault-proneness at early phase in object-oriented development 面向对象开发早期阶段的错误倾向预测
Toshihiro Kamiya, S. Kusumoto, Katsuro Inoue
To analyse the complexity of object-oriented software, several metrics have been proposed. Among them, Chidamber and Kemerer's (1994) metrics are well-known object-oriented metrics. Also, their effectiveness has been empirically evaluated from the viewpoint of estimating the fault-proneness of object-oriented software. In the evaluations, these metrics were applied, not to the design specification but to the source code, because some of them measure the inner complexity of a class, and such information cannot be obtained until the algorithm and the class structure are determined at the end of the design phase. However, the estimation of the fault-proneness should be done in the early phase so as to effectively allocate effort for fixing the faults. This paper proposes a new method to estimate the fault-proneness of an object class in the early phase, using several complexity metrics for object-oriented software. In the proposed method, we introduce four checkpoints into the analysis/design/implementation phase, and we estimate the fault-prone classes using applicable metrics at each checkpoint.
为了分析面向对象软件的复杂性,提出了几个度量标准。其中,Chidamber和Kemerer(1994)的度量是著名的面向对象的度量。同时,从估计面向对象软件的错误倾向的角度,对这些方法的有效性进行了实证评价。在评估中,这些度量不是应用于设计规范,而是应用于源代码,因为它们中的一些度量类的内部复杂性,并且在设计阶段结束时确定算法和类结构之前无法获得这些信息。然而,为了有效地分配修复故障的精力,应该在早期阶段对故障倾向性进行估计。本文提出了一种利用面向对象软件的几个复杂度度量来估计对象类在早期阶段的错误倾向的新方法。在建议的方法中,我们在分析/设计/实现阶段引入了四个检查点,并且我们在每个检查点使用适用的度量来估计容易出错的类。
{"title":"Prediction of fault-proneness at early phase in object-oriented development","authors":"Toshihiro Kamiya, S. Kusumoto, Katsuro Inoue","doi":"10.1109/ISORC.1999.776386","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776386","url":null,"abstract":"To analyse the complexity of object-oriented software, several metrics have been proposed. Among them, Chidamber and Kemerer's (1994) metrics are well-known object-oriented metrics. Also, their effectiveness has been empirically evaluated from the viewpoint of estimating the fault-proneness of object-oriented software. In the evaluations, these metrics were applied, not to the design specification but to the source code, because some of them measure the inner complexity of a class, and such information cannot be obtained until the algorithm and the class structure are determined at the end of the design phase. However, the estimation of the fault-proneness should be done in the early phase so as to effectively allocate effort for fixing the faults. This paper proposes a new method to estimate the fault-proneness of an object class in the early phase, using several complexity metrics for object-oriented software. In the proposed method, we introduce four checkpoints into the analysis/design/implementation phase, and we estimate the fault-prone classes using applicable metrics at each checkpoint.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114641546","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
v-Promela: a visual, object-oriented language for SPIN v-Promela:用于SPIN的可视化、面向对象语言
S. Leue, G. Holzmann
Describes the design of VIP (Visual Interface for Promela), a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela, that connects the model checker to modern hierarchical notations for the specification of object-oriented, reactive systems. The formalism is comparable to formalisms such as UML-RT (Unified Modeling Language for Real-Time systems), ROOM (Real-time Object-Oriented Modeling) and Statecharts, but is presented in this paper in a framework that allows us to combine the benefits of a visual, hierarchical specification method with the power of LTL (linear temporal logic) model checking provided by SPIN. Like comparable formalisms, VIP can describe hierarchies of behaviour and of system structure. The formalism is designed to be transparent to the SPIN model checker itself, by allowing all central constructs to be translated mechanically into basic Promela, as already supported by the existing model checker.
介绍了模型检查器SPIN的图形前端VIP (Visual Interface for Promela)的设计。VIP支持一种称为v-Promela的可视化形式,它将模型检查器连接到面向对象、响应式系统规范的现代分层符号。这种形式化可以与UML-RT(实时系统统一建模语言)、ROOM(实时面向对象建模)和Statecharts等形式化相媲美,但本文在一个框架中提出,该框架允许我们将可视化、分层规范方法的好处与SPIN提供的LTL(线性时间逻辑)模型检查的功能结合起来。与类似的形式主义一样,VIP可以描述行为和系统结构的层次结构。通过允许将所有中心构造机械地转换为基本Promela,就像现有模型检查器已经支持的那样,将形式化设计为对SPIN模型检查器本身透明。
{"title":"v-Promela: a visual, object-oriented language for SPIN","authors":"S. Leue, G. Holzmann","doi":"10.1109/ISORC.1999.776345","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776345","url":null,"abstract":"Describes the design of VIP (Visual Interface for Promela), a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela, that connects the model checker to modern hierarchical notations for the specification of object-oriented, reactive systems. The formalism is comparable to formalisms such as UML-RT (Unified Modeling Language for Real-Time systems), ROOM (Real-time Object-Oriented Modeling) and Statecharts, but is presented in this paper in a framework that allows us to combine the benefits of a visual, hierarchical specification method with the power of LTL (linear temporal logic) model checking provided by SPIN. Like comparable formalisms, VIP can describe hierarchies of behaviour and of system structure. The formalism is designed to be transparent to the SPIN model checker itself, by allowing all central constructs to be translated mechanically into basic Promela, as already supported by the existing model checker.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126491722","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}
引用次数: 28
Enhancing replica management services to tolerate group failures 增强副本管理服务以容忍组故障
P. Ezhilchelvan, S. Shrivastava
In a distributed system, replication of components, such as objects, is a well known way of achieving availability. For increased availability, crashed and disconnected components must be replaced by new components on available spare nodes. In this context, we address the problem of reconfiguring a group after the group as an entity has failed. Such a failure is termed a group failure which, for example, can be the crash of every component in the group or the group being partitioned into minority islands. The solution assumes crash-proof storage, and eventual recovery of crashed nodes and healing of partitions. It guarantees that: (i) the number of groups reconfigured after a group failure is never more than one, and (ii) the reconfigured group contains a majority of the components which were members just before the group failed, so that the loss of state information due to group failure is minimal. The protocol is efficient in terms of communication rounds and use of stable store, during both normal operations and reconfiguration after a group failure.
在分布式系统中,组件(如对象)的复制是实现可用性的一种众所周知的方法。为了提高可用性,必须用可用的备用节点上的新组件替换崩溃和断开连接的组件。在此上下文中,我们将解决在组作为实体失败后重新配置组的问题。这种失败被称为群体失败,例如,可以是群体中的每个组成部分的崩溃,或者群体被分割成少数岛屿。该解决方案假设了防崩溃存储,以及崩溃节点的最终恢复和分区的修复。它保证:(i)在组失败后重新配置的组的数量永远不会超过一个,(ii)重新配置的组包含大多数在组失败之前是成员的组件,因此由于组失败而导致的状态信息损失最小。该协议在通信轮数和稳定存储的使用方面是高效的,无论是在正常操作期间还是在组故障后的重新配置期间。
{"title":"Enhancing replica management services to tolerate group failures","authors":"P. Ezhilchelvan, S. Shrivastava","doi":"10.1109/ISORC.1999.776388","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776388","url":null,"abstract":"In a distributed system, replication of components, such as objects, is a well known way of achieving availability. For increased availability, crashed and disconnected components must be replaced by new components on available spare nodes. In this context, we address the problem of reconfiguring a group after the group as an entity has failed. Such a failure is termed a group failure which, for example, can be the crash of every component in the group or the group being partitioned into minority islands. The solution assumes crash-proof storage, and eventual recovery of crashed nodes and healing of partitions. It guarantees that: (i) the number of groups reconfigured after a group failure is never more than one, and (ii) the reconfigured group contains a majority of the components which were members just before the group failed, so that the loss of state information due to group failure is minimal. The protocol is efficient in terms of communication rounds and use of stable store, during both normal operations and reconfiguration after a group failure.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123909313","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
CORBA-based real-time trader service for adaptable command and control systems 基于corba的实时交易员服务,用于自适应指挥和控制系统
Steven Wohlever, V. Wolfe, B. Thuraisingham, R. Freedman, J. Maurer
The paper describes an approach to building adaptable real time command and control (C2) systems. In particular it presents an overview of the Adaptable Real-Time Distributed Object Management (ARTDOM) project in progress at the MITRE Corporation. This project is currently developing real time extensions for the Common Object Request Broker Architecture (CORBA) Trading Object Service. The goal of the project is to demonstrate how current C2 systems can be more easily upgraded and made more adaptable by using emerging distributed computing technology. This goal is being accomplished by investigating and developing real time middleware that is reflexive (i.e., capable of examining its current state and processing demands) and self adapting (i.e., capable of reconfiguring itself based on its reflective findings).
本文介绍了一种构建自适应实时指挥控制系统的方法。它特别介绍了MITRE公司正在进行的适应性实时分布式对象管理(ARTDOM)项目的概述。该项目目前正在为公共对象请求代理体系结构(CORBA)交易对象服务开发实时扩展。该项目的目标是演示如何通过使用新兴的分布式计算技术更容易地升级当前的C2系统并使其更具适应性。这一目标是通过调查和开发实时中间件来实现的,这些中间件具有自反射性(即,能够检查其当前状态和处理需求)和自适应性(即,能够根据其反射结果重新配置自身)。
{"title":"CORBA-based real-time trader service for adaptable command and control systems","authors":"Steven Wohlever, V. Wolfe, B. Thuraisingham, R. Freedman, J. Maurer","doi":"10.1109/ISORC.1999.776352","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776352","url":null,"abstract":"The paper describes an approach to building adaptable real time command and control (C2) systems. In particular it presents an overview of the Adaptable Real-Time Distributed Object Management (ARTDOM) project in progress at the MITRE Corporation. This project is currently developing real time extensions for the Common Object Request Broker Architecture (CORBA) Trading Object Service. The goal of the project is to demonstrate how current C2 systems can be more easily upgraded and made more adaptable by using emerging distributed computing technology. This goal is being accomplished by investigating and developing real time middleware that is reflexive (i.e., capable of examining its current state and processing demands) and self adapting (i.e., capable of reconfiguring itself based on its reflective findings).","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116361018","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}
引用次数: 5
Implementing highly-available WWW servers based on passive object replication 实现基于被动对象复制的高可用性WWW服务器
R. Baldoni, Simona Bonamoneta, C. Marchetti
We investigate issues related to building highly available World Wide Web (WWW) servers on workstation clusters. We present a novel architecture that includes a dynamic Domain Name System (DNS) and a WWW server based on passive object replication. This architecture allows us to reduce the service down-time of a WWW server without impacting on the Hyper Text Transfer Protocol (HTTP) protocol (and thus on the WWW client software). We implement this architecture in our department and we show some experimental results that analyze, given a batch of HTTP requests, the average response time to a request and the average time of WWW service unavailability due to object crashes.
我们研究了在工作站集群上构建高可用性万维网(WWW)服务器的相关问题。我们提出了一种新的架构,包括一个动态域名系统(DNS)和一个基于被动对象复制的WWW服务器。这种架构允许我们在不影响超文本传输协议(HTTP)协议(以及WWW客户端软件)的情况下减少WWW服务器的服务停机时间。我们在我们的部门实现了这个架构,并展示了一些实验结果,分析了给定一批HTTP请求,请求的平均响应时间和由于对象崩溃导致的WWW服务不可用的平均时间。
{"title":"Implementing highly-available WWW servers based on passive object replication","authors":"R. Baldoni, Simona Bonamoneta, C. Marchetti","doi":"10.1109/ISORC.1999.776387","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776387","url":null,"abstract":"We investigate issues related to building highly available World Wide Web (WWW) servers on workstation clusters. We present a novel architecture that includes a dynamic Domain Name System (DNS) and a WWW server based on passive object replication. This architecture allows us to reduce the service down-time of a WWW server without impacting on the Hyper Text Transfer Protocol (HTTP) protocol (and thus on the WWW client software). We implement this architecture in our department and we show some experimental results that analyze, given a batch of HTTP requests, the average response time to a request and the average time of WWW service unavailability due to object crashes.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128161818","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
Using multiple feedback loops for object profiling, scheduling and migration in soft real-time distributed object systems 在软实时分布式对象系统中使用多反馈循环进行对象分析、调度和迁移
V. Kalogeraki, P. Melliar-Smith, L. Moser
Complex soft real time distributed object systems require object profiling, scheduling and migration algorithms to respond to transient changes in the load or in the availability of the resources. We have developed a resource management system for a soft real time distributed object system that is based on a three level feedback loop which employs a profiling algorithm that monitors the usage of the resources, a least laxity scheduling algorithm that schedules the tasks, and hot spot and cooling algorithms that allocate and migrate objects to balance the load on the resources. The resource management system consists of a single (but possibly replicated and distributed) resource manager, and profilers and schedulers located on each of the processors in the distributed system.
复杂的软实时分布式对象系统需要对象分析、调度和迁移算法来响应负载或资源可用性的短暂变化。我们为软实时分布式对象系统开发了一个资源管理系统,该系统基于三级反馈循环,采用了监控资源使用情况的分析算法,调度任务的最不宽松调度算法,以及分配和迁移对象以平衡资源负载的热点和冷却算法。资源管理系统由单个(但可能是复制的和分布式的)资源管理器以及分布在分布式系统中的每个处理器上的分析器和调度器组成。
{"title":"Using multiple feedback loops for object profiling, scheduling and migration in soft real-time distributed object systems","authors":"V. Kalogeraki, P. Melliar-Smith, L. Moser","doi":"10.1109/ISORC.1999.776394","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776394","url":null,"abstract":"Complex soft real time distributed object systems require object profiling, scheduling and migration algorithms to respond to transient changes in the load or in the availability of the resources. We have developed a resource management system for a soft real time distributed object system that is based on a three level feedback loop which employs a profiling algorithm that monitors the usage of the resources, a least laxity scheduling algorithm that schedules the tasks, and hot spot and cooling algorithms that allocate and migrate objects to balance the load on the resources. The resource management system consists of a single (but possibly replicated and distributed) resource manager, and profilers and schedulers located on each of the processors in the distributed system.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114226773","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}
引用次数: 22
Applying use cases for the requirements validation of component-based real-time software 为基于组件的实时软件的需求验证应用用例
W. Fleisch
Component based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real time systems. The basic properties of an event triggered component model for real time software are introduced. For the early exposure of design errors, a process for the simulation based validation of component based software applying use cases is presented. A template for structuring use cases helps gathering the course oriented requirements which describe the required behaviour of the composed software. Requirements sequence diagrams are extracted from the use cases and compared with the simulated behaviour of the component based software. A case study of a power window control from the automotive body electronics domain demonstrates practical experience with applying use cases for the requirements validation.
基于组件的软件开发是一种很有前途的方法,可以提高质量,缩短上市时间,并处理实时系统软件日益增加的复杂性。介绍了实时软件事件触发组件模型的基本性质。为了尽早发现设计错误,提出了一种应用用例对基于组件的软件进行仿真验证的方法。构建用例的模板有助于收集描述组合软件所需行为的面向过程的需求。需求序列图是从用例中提取出来的,并与基于组件的软件的模拟行为进行比较。一个来自汽车车身电子领域的电动车窗控制的案例研究展示了应用需求验证用例的实际经验。
{"title":"Applying use cases for the requirements validation of component-based real-time software","authors":"W. Fleisch","doi":"10.1109/ISORC.1999.776354","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776354","url":null,"abstract":"Component based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real time systems. The basic properties of an event triggered component model for real time software are introduced. For the early exposure of design errors, a process for the simulation based validation of component based software applying use cases is presented. A template for structuring use cases helps gathering the course oriented requirements which describe the required behaviour of the composed software. Requirements sequence diagrams are extracted from the use cases and compared with the simulated behaviour of the component based software. A case study of a power window control from the automotive body electronics domain demonstrates practical experience with applying use cases for the requirements validation.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114116305","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}
引用次数: 32
Implementing the real-time publisher/subscriber model on the controller area network (CAN) 在控制器局域网(CAN)上实现实时发布者/订阅者模型
J. Kaiser, M. Mock
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, distributed real-time applications exhibit communication patterns that significantly differ from the traditional object invocation style. The publisher/subscriber model for inter-object communication matches well with these patterns. Any implementation of that model must address the problems of binding subscribers to publishers, of routing and filtering of messages, as well as reliability, efficiency and latency of message delivery. In the context of real-time applications, all these issues must be subject to a rigid inspection with respect to meeting real-time requirements. We argue that for embedded control systems built around smart microcontroller-powered devices these requirements can only be met when exploiting the properties of the underlying network. The CAN-Bus (CAN: Controller Area Network) which is an emerging standard in the field of real-time embedded systems is particularly suited to implement a publisher/subscriber model of communication. We present an implementation of the real-time publisher/subscriber model that exploits the underlying facilities of the CAN-Bus. In particular, we introduce a novel addressing scheme for publisher/subscriber communication that makes efficient use of the CAN-Bus addressing method. We provide a detailed design and implementation details along with some preliminary performance estimations.
将分布式实时系统设计为由通信对象组成,在这些系统的模块化和可扩展性方面提供了许多优势。然而,分布式实时应用程序所展示的通信模式与传统的对象调用风格有很大的不同。对象间通信的发布者/订阅者模型与这些模式非常匹配。该模型的任何实现都必须解决将订阅者绑定到发布者、路由和过滤消息以及消息传递的可靠性、效率和延迟等问题。在实时应用程序的上下文中,所有这些问题都必须受到严格的检查,以满足实时需求。我们认为,对于围绕智能微控制器供电设备构建的嵌入式控制系统,只有在利用底层网络的属性时才能满足这些要求。CAN总线(CAN: Controller Area Network)是实时嵌入式系统领域的一个新兴标准,特别适合于实现发布者/订阅者通信模型。我们提出了一个利用can总线底层设施的实时发布者/订阅者模型的实现。特别地,我们介绍了一种新的寻址方案,用于发布者/订阅者通信,它有效地利用了can总线寻址方法。我们提供了详细的设计和实现细节以及一些初步的性能估计。
{"title":"Implementing the real-time publisher/subscriber model on the controller area network (CAN)","authors":"J. Kaiser, M. Mock","doi":"10.1109/ISORC.1999.776373","DOIUrl":"https://doi.org/10.1109/ISORC.1999.776373","url":null,"abstract":"Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, distributed real-time applications exhibit communication patterns that significantly differ from the traditional object invocation style. The publisher/subscriber model for inter-object communication matches well with these patterns. Any implementation of that model must address the problems of binding subscribers to publishers, of routing and filtering of messages, as well as reliability, efficiency and latency of message delivery. In the context of real-time applications, all these issues must be subject to a rigid inspection with respect to meeting real-time requirements. We argue that for embedded control systems built around smart microcontroller-powered devices these requirements can only be met when exploiting the properties of the underlying network. The CAN-Bus (CAN: Controller Area Network) which is an emerging standard in the field of real-time embedded systems is particularly suited to implement a publisher/subscriber model of communication. We present an implementation of the real-time publisher/subscriber model that exploits the underlying facilities of the CAN-Bus. In particular, we introduce a novel addressing scheme for publisher/subscriber communication that makes efficient use of the CAN-Bus addressing method. We provide a detailed design and implementation details along with some preliminary performance estimations.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114703290","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}
引用次数: 100
期刊
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1