首页 > 最新文献

Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.最新文献

英文 中文
Issues with object orientation in verifying safety-critical systems 在验证安全关键系统时的面向对象问题
S. Subbiah, S. Nagaraj
Primus Epicrm is an all-new integrated avionics system for business, regional and general aviation. Honeywell International Inc. follows the Object Oriented paradigm and the programming language C+ +for certain software components on systems developed for the PRIMUS EPIC system. While C++ programming language offers several advantages, it also has several features that can make it undesirable for use in airborne systems. The, Object Orientation concept has several features that, if not controlled properly, can lead to unknown configurations of object code and unverified code. This is highly undesirable for avionics software that needs certification involving statement and code coverage. This paper highlights the issues with C++ certification for avionics and provides solutions for some of the issues.
Primus Epicrm是一个全新的综合航空电子系统,用于商务、区域和通用航空。霍尼韦尔国际公司在为PRIMUS EPIC系统开发的系统上遵循面向对象范例和编程语言c++。虽然c++编程语言提供了一些优势,但它也有一些特性,可能使其不适合在机载系统中使用。面向对象概念有几个特性,如果控制不当,可能导致未知的目标代码配置和未经验证的代码。对于需要涉及语句和代码覆盖率的认证的航空电子软件来说,这是非常不可取的。本文重点介绍了航空电子设备c++认证中存在的问题,并针对其中的一些问题提出了解决方案。
{"title":"Issues with object orientation in verifying safety-critical systems","authors":"S. Subbiah, S. Nagaraj","doi":"10.1109/ISORC.2003.1199241","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199241","url":null,"abstract":"Primus Epicrm is an all-new integrated avionics system for business, regional and general aviation. Honeywell International Inc. follows the Object Oriented paradigm and the programming language C+ +for certain software components on systems developed for the PRIMUS EPIC system. While C++ programming language offers several advantages, it also has several features that can make it undesirable for use in airborne systems. The, Object Orientation concept has several features that, if not controlled properly, can lead to unknown configurations of object code and unverified code. This is highly undesirable for avionics software that needs certification involving statement and code coverage. This paper highlights the issues with C++ certification for avionics and provides solutions for some of the issues.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114970686","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
The design and implementation of a real-time data dispatching system 一个实时数据调度系统的设计与实现
N. Perng, N. Tsai, Jen-Wei Hsieh, Tei-Wei Kuo
This paper describes the design of a real-time data dispatching system (RTDDS), which is motivated by the needs of a performance guarantee on real-time data services by front-end clients. RTDDS consists of homogeneous machines with a quality of service performance guarantee. We address the resource allocation problems and consider Bin-Packing algorithms to assign requests to machines of RTDDS. Processes scheduling over each machine is done autonomously by SRP-based algorithms. The goal is to maximize the number of concurrent clients and to meet the individual quality of service requirements of clients at the same time.
本文从前端客户端对实时数据服务的性能保障需求出发,设计了一种实时数据调度系统(RTDDS)。RTDDS由具有服务质量性能保证的同构机器组成。我们解决了资源分配问题,并考虑了Bin-Packing算法将请求分配给RTDDS机器。每台机器上的进程调度由基于srp的算法自主完成。目标是最大化并发客户机的数量,同时满足客户机的个别服务质量需求。
{"title":"The design and implementation of a real-time data dispatching system","authors":"N. Perng, N. Tsai, Jen-Wei Hsieh, Tei-Wei Kuo","doi":"10.1109/ISORC.2003.1199264","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199264","url":null,"abstract":"This paper describes the design of a real-time data dispatching system (RTDDS), which is motivated by the needs of a performance guarantee on real-time data services by front-end clients. RTDDS consists of homogeneous machines with a quality of service performance guarantee. We address the resource allocation problems and consider Bin-Packing algorithms to assign requests to machines of RTDDS. Processes scheduling over each machine is done autonomously by SRP-based algorithms. The goal is to maximize the number of concurrent clients and to meet the individual quality of service requirements of clients at the same time.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122351793","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}
引用次数: 0
Object-oriented middleware infrastructure for distributed augmented reality 分布式增强现实的面向对象中间件基础设施
E. Tokunaga, A. Zee, Makoto Kurahashi, Masahiro Nemoto, T. Nakajima
The paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality is one of the most important techniques to achieve the vision of ubiquitous computing. Traditional toolkits for augmented reality provide the high level abstraction that makes it easy to build augmented reality applications. However, the applications programmers need to contemplate distribution and context-awareness that make the development of applications very hard, but they are necessary to build ubiquitous computing environments. Our infrastructure provides the high level abstraction and hides distribution and context-awareness from programmers. Therefore, the cost to develop augmented reality applications will be reduced dramatically by using our middleware infrastructure.
本文描述了用于构建泛在计算环境下的增强现实应用的软件基础设施的设计和实现。增强现实是实现泛在计算愿景的最重要技术之一。传统的增强现实工具包提供了高层次的抽象,使构建增强现实应用程序变得容易。然而,应用程序程序员需要考虑分布和上下文感知,这使得应用程序的开发非常困难,但它们对于构建无处不在的计算环境是必要的。我们的基础结构提供了高层次的抽象,并对程序员隐藏了分布和上下文感知。因此,通过使用我们的中间件基础设施,开发增强现实应用程序的成本将大大降低。
{"title":"Object-oriented middleware infrastructure for distributed augmented reality","authors":"E. Tokunaga, A. Zee, Makoto Kurahashi, Masahiro Nemoto, T. Nakajima","doi":"10.1109/ISORC.2003.1199250","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199250","url":null,"abstract":"The paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality is one of the most important techniques to achieve the vision of ubiquitous computing. Traditional toolkits for augmented reality provide the high level abstraction that makes it easy to build augmented reality applications. However, the applications programmers need to contemplate distribution and context-awareness that make the development of applications very hard, but they are necessary to build ubiquitous computing environments. Our infrastructure provides the high level abstraction and hides distribution and context-awareness from programmers. Therefore, the cost to develop augmented reality applications will be reduced dramatically by using our middleware infrastructure.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124245136","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
Introduction to the TOPPERS project - open source RTOS for embedded systems TOPPERS项目简介-嵌入式系统的开源RTOS
H. Takada
The TOPPERS Project is to develop a series of open source real-time operating systems (RTOS) for embedded systems. The TOPPERS/JSP Kernel, which is the first product of the project, was released two years ago and is started to be used in industries. A technological basis of the TOPPERS Project is the ITRON Specification, which is a de-facto standard real-time kernel specification widely applied to consumer electronics, cellular phones, and other small-scale embedded systems in Japan.
TOPPERS项目旨在为嵌入式系统开发一系列开源实时操作系统(RTOS)。TOPPERS/JSP内核是该项目的第一个产品,于两年前发布,并开始在工业中使用。TOPPERS项目的技术基础是ITRON规范,这是一个事实上的标准实时内核规范,广泛应用于日本的消费电子产品、蜂窝电话和其他小型嵌入式系统。
{"title":"Introduction to the TOPPERS project - open source RTOS for embedded systems","authors":"H. Takada","doi":"10.1109/ISORC.2003.1199234","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199234","url":null,"abstract":"The TOPPERS Project is to develop a series of open source real-time operating systems (RTOS) for embedded systems. The TOPPERS/JSP Kernel, which is the first product of the project, was released two years ago and is started to be used in industries. A technological basis of the TOPPERS Project is the ITRON Specification, which is a de-facto standard real-time kernel specification widely applied to consumer electronics, cellular phones, and other small-scale embedded systems in Japan.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124155383","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
A supervisory tool for real-time industrial automation systems 实时工业自动化系统的监控工具
W. P. Junior, C. Pereira
Object-oriented techniques have been increasingly used during the development of real-time industrial automation systems, both in modeling and simulation frameworks used in problem domain analysis and requirements engineering, as well as for implementing SCADA (Supervisor.), Control And Data Acquisition) systems. However, mostly commercial available CASE (Computer Aided Software Engineering) tools do not supports the automatic code generation for SCADA systems. This paper proposes an architecture for integrating supervisory tools into object-oriented frameworks for industrial automation applications. The ideas proposed have been implemented and integrated with an object-oriented framework for real-time industrial automation applications. Real case studies have been developed, including the supervisory control of a chemical plant's prototype and the development of man-machine interfaces for food industry (pork processing plant).
面向对象技术在实时工业自动化系统的开发中得到了越来越多的应用,无论是在问题域分析和需求工程中使用的建模和仿真框架,还是在实现SCADA(主管)、控制和数据采集)系统中。然而,大多数商业上可用的CASE(计算机辅助软件工程)工具不支持SCADA系统的自动代码生成。本文提出了一种将监控工具集成到面向对象的工业自动化应用框架中的体系结构。所提出的思想已被实现并集成到一个面向对象的实时工业自动化应用框架中。已经开发了实际案例研究,包括化工厂原型的监督控制和食品工业(猪肉加工厂)人机界面的开发。
{"title":"A supervisory tool for real-time industrial automation systems","authors":"W. P. Junior, C. Pereira","doi":"10.1109/ISORC.2003.1199258","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199258","url":null,"abstract":"Object-oriented techniques have been increasingly used during the development of real-time industrial automation systems, both in modeling and simulation frameworks used in problem domain analysis and requirements engineering, as well as for implementing SCADA (Supervisor.), Control And Data Acquisition) systems. However, mostly commercial available CASE (Computer Aided Software Engineering) tools do not supports the automatic code generation for SCADA systems. This paper proposes an architecture for integrating supervisory tools into object-oriented frameworks for industrial automation applications. The ideas proposed have been implemented and integrated with an object-oriented framework for real-time industrial automation applications. Real case studies have been developed, including the supervisory control of a chemical plant's prototype and the development of man-machine interfaces for food industry (pork processing plant).","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126552572","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
Challenges in building scalable network centric real-time information dissemination systems 构建可扩展的以网络为中心的实时信息传播系统的挑战
S. Moody
As the DoD strives for a new Network Centric Warfare (NCW[1]) capability, a multitude of technical and organizational challenges are being faced. In large part, NCW can be classified as a collective large-scale information dissemination system that operates at multitudes of levels and will be implemented using different distributed technologies and architectural styles. This paper classifies the use of these different distributed technologies as layers of information abstractions and highlights their varied architectural uses as they are driven by latency, scalability, reconfiguration and seamless programming requirements. For example, the following technologies are contrasted: Peer to Peer and mobile networks, Web Services, Content-based Routing, and Real-Time CORBA, while addressing distributed Security and Fault Tolerance issues. Unique challenges for when and how these technologies can be used, as well as their attributes for addressing scalability are highlighted. These technology challenges are classified and contrasted using the models based on the Siena project[2] which has been extended for the real-time community and termed Siena+RT. These requirements are described in context of the Boeing Phantom Works[8] XIS (eXtensible InfoSphere) Scalability Testbed Framework. XIS is a set of hierarchal distributed technologies developed to support the diverse real-time requirements for collection and dissemination of information throughout a global information grid.
随着国防部为新的网络中心战(NCW[1])能力而奋斗,许多技术和组织挑战正在面临。在很大程度上,NCW可以被归类为一个集体的大规模信息传播系统,它在多个层面上运行,并将使用不同的分布式技术和体系结构风格来实现。本文将这些不同的分布式技术的使用分类为信息抽象层,并强调了它们不同的架构用途,因为它们是由延迟、可伸缩性、重新配置和无缝编程需求驱动的。例如,对比了以下技术:点对点和移动网络、Web服务、基于内容的路由和实时CORBA,同时解决了分布式安全和容错问题。强调了何时以及如何使用这些技术的独特挑战,以及它们处理可伸缩性的属性。这些技术挑战使用基于Siena项目[2]的模型进行分类和对比,该项目已扩展到实时社区,并称为Siena+RT。这些需求是在波音幻影工程[8]XIS(可扩展InfoSphere)可伸缩性测试平台框架的上下文中描述的。XIS是一组分层分布式技术,用于支持在全球信息网格中收集和传播信息的各种实时需求。
{"title":"Challenges in building scalable network centric real-time information dissemination systems","authors":"S. Moody","doi":"10.1109/ISORC.2003.1199255","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199255","url":null,"abstract":"As the DoD strives for a new Network Centric Warfare (NCW[1]) capability, a multitude of technical and organizational challenges are being faced. In large part, NCW can be classified as a collective large-scale information dissemination system that operates at multitudes of levels and will be implemented using different distributed technologies and architectural styles. This paper classifies the use of these different distributed technologies as layers of information abstractions and highlights their varied architectural uses as they are driven by latency, scalability, reconfiguration and seamless programming requirements. For example, the following technologies are contrasted: Peer to Peer and mobile networks, Web Services, Content-based Routing, and Real-Time CORBA, while addressing distributed Security and Fault Tolerance issues. Unique challenges for when and how these technologies can be used, as well as their attributes for addressing scalability are highlighted. These technology challenges are classified and contrasted using the models based on the Siena project[2] which has been extended for the real-time community and termed Siena+RT. These requirements are described in context of the Boeing Phantom Works[8] XIS (eXtensible InfoSphere) Scalability Testbed Framework. XIS is a set of hierarchal distributed technologies developed to support the diverse real-time requirements for collection and dissemination of information throughout a global information grid.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127955418","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
Adaptive use of network-centric mechanisms in cyber-defense 网络防御中以网络为中心机制的自适应使用
M. Atighetchi, P. Pal, F. Webber, Christopher C. Jones
Attacks against distributed systems frequently start at the network layer by gathering network related information (such as open TCP ports) and continue on by exhausting resources, or abusing protocols. Defending against network-based attacks is a major focus area in the APOD (Application That Participate in Their Own Defense) project, which set out to develop technologies that increase an application's resilience against cyber attacks. This paper gives an overview of APOD's current set of network-level defenses. Specific network-based defense mechanisms are described first, followed by a discussion on how to use them in local defensive behavior. Defense strategies, which specify coordinated defensive behavior across a distributed system, are discussed next, followed by results from initial experimental evaluation.
针对分布式系统的攻击通常从网络层开始,通过收集网络相关信息(如打开TCP端口),然后通过耗尽资源或滥用协议继续进行攻击。防御基于网络的攻击是APOD(参与自身防御的应用程序)项目的主要重点领域,该项目旨在开发提高应用程序抵御网络攻击的能力的技术。本文概述了APOD当前的一组网络级防御。首先描述了具体的基于网络的防御机制,然后讨论了如何在本地防御行为中使用它们。接下来讨论的是防御策略,它指定了跨分布式系统的协调防御行为,然后是初始实验评估的结果。
{"title":"Adaptive use of network-centric mechanisms in cyber-defense","authors":"M. Atighetchi, P. Pal, F. Webber, Christopher C. Jones","doi":"10.1109/ISORC.2003.1199253","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199253","url":null,"abstract":"Attacks against distributed systems frequently start at the network layer by gathering network related information (such as open TCP ports) and continue on by exhausting resources, or abusing protocols. Defending against network-based attacks is a major focus area in the APOD (Application That Participate in Their Own Defense) project, which set out to develop technologies that increase an application's resilience against cyber attacks. This paper gives an overview of APOD's current set of network-level defenses. Specific network-based defense mechanisms are described first, followed by a discussion on how to use them in local defensive behavior. Defense strategies, which specify coordinated defensive behavior across a distributed system, are discussed next, followed by results from initial experimental evaluation.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133454017","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}
引用次数: 96
Implementing the multicast Inter-ORB protocol 实现多播interorb协议
A. Bessani, J. Fraga, L. Lung
This paper presents our experiments for integrating OMG MIOP (Mullicast Inter-ORB Protocol) specifications into a CORBA ORB. We proposed an integration model which allows the coexistence of two different protocol stacks (IIOP/TCP/IP and MIOP/UDP/IP multicast), making possible a large spectrum of middleware support for distributed objects communication. That integration model is discussed in this paper, giving evidence of the compatibility of our approach with the CORBA specifications. We also do some considerations about the implementation of this model in a CORBA compliant ORB.
本文介绍了我们将OMG MIOP(组播ORB间协议)规范集成到CORBA ORB中的实验。我们提出了一个允许两种不同协议栈(IIOP/TCP/IP和MIOP/UDP/IP多播)共存的集成模型,使大范围的中间件支持分布式对象通信成为可能。本文讨论了该集成模型,证明了我们的方法与CORBA规范的兼容性。我们还对在CORBA兼容的ORB中实现该模型做了一些考虑。
{"title":"Implementing the multicast Inter-ORB protocol","authors":"A. Bessani, J. Fraga, L. Lung","doi":"10.1109/ISORC.2003.1199246","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199246","url":null,"abstract":"This paper presents our experiments for integrating OMG MIOP (Mullicast Inter-ORB Protocol) specifications into a CORBA ORB. We proposed an integration model which allows the coexistence of two different protocol stacks (IIOP/TCP/IP and MIOP/UDP/IP multicast), making possible a large spectrum of middleware support for distributed objects communication. That integration model is discussed in this paper, giving evidence of the compatibility of our approach with the CORBA specifications. We also do some considerations about the implementation of this model in a CORBA compliant ORB.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133851581","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
Probabilistic simulation-based analysis of complex real-time systems 基于概率仿真的复杂实时系统分析
Anders Wall, J. Andersson, C. Norström
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by common sense. However as the system evolves the possibility to predict the consequences of changes becomes more and more difficult unless models and analysis method can be used. Moreover, traditional real-time models, e.g., fixed priority analysis, may be too simple for accurately capturing a complex system's characteristics. For instance, assuming worst-case execution time may not be realistic. Hence, analyses based on these models may give an overly pessimistic result. In this paper we describe our approach to introducing analyzability into complex real-time control systems. The proposed method is based on analytical models and discrete-event based simulation of the system behavior based on these models. The models describe execution times as statistical distributions which are measured and calculated in the existing system. Simulation will not only enable models with statistical execution times, but also correctness criterion other than meeting deadlines, e.g., nonempty communication queues. The simulation result is analyzed by specifying properties in a probabilistic property language. The result of such an analysis is either of probabilistic nature or boolean depending on how the property is specified. Having accurate system models enable analysis of the impact on the temporal behavior of e.g., customizing or maintaining the software.
许多工业实时系统已经发展了很长一段时间,最初非常简单,可以通过常识预测添加新功能的后果。然而,随着系统的发展,除非使用模型和分析方法,否则预测变化后果的可能性变得越来越困难。此外,传统的实时模型,如固定优先级分析,可能过于简单,无法准确捕获复杂系统的特征。例如,假设最坏情况的执行时间可能是不现实的。因此,基于这些模型的分析可能会给出过于悲观的结果。在本文中,我们描述了将可分析性引入复杂实时控制系统的方法。该方法基于解析模型和基于这些模型的基于离散事件的系统行为仿真。这些模型将执行时间描述为在现有系统中测量和计算的统计分布。仿真不仅可以使模型具有统计执行时间,还可以使模型具有满足截止日期以外的正确性标准,例如,非空通信队列。用概率属性语言指定属性,对仿真结果进行分析。这种分析的结果要么是概率性质的,要么是布尔性质的,这取决于如何指定属性。拥有准确的系统模型可以分析对时间行为的影响,例如,定制或维护软件。
{"title":"Probabilistic simulation-based analysis of complex real-time systems","authors":"Anders Wall, J. Andersson, C. Norström","doi":"10.1109/ISORC.2003.1199261","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199261","url":null,"abstract":"Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by common sense. However as the system evolves the possibility to predict the consequences of changes becomes more and more difficult unless models and analysis method can be used. Moreover, traditional real-time models, e.g., fixed priority analysis, may be too simple for accurately capturing a complex system's characteristics. For instance, assuming worst-case execution time may not be realistic. Hence, analyses based on these models may give an overly pessimistic result. In this paper we describe our approach to introducing analyzability into complex real-time control systems. The proposed method is based on analytical models and discrete-event based simulation of the system behavior based on these models. The models describe execution times as statistical distributions which are measured and calculated in the existing system. Simulation will not only enable models with statistical execution times, but also correctness criterion other than meeting deadlines, e.g., nonempty communication queues. The simulation result is analyzed by specifying properties in a probabilistic property language. The result of such an analysis is either of probabilistic nature or boolean depending on how the property is specified. Having accurate system models enable analysis of the impact on the temporal behavior of e.g., customizing or maintaining the software.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115549853","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 time triggered scheduling with value based overload handling and task migration 通过基于值的过载处理和任务迁移增强时间触发调度
Jan Carlson, T. Lennvall, G. Fohler
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. The), perform less favourably, however if the arrival times of some activities are not known in advance, in particular if overload situations have to be anticipated. In many systems, the criticality of only a subset of activities justify the cost associated with the time triggered methods. In this paper we consider distributed systems where a subset of critical activities are handled in a time triggered fashion, via an offline schedule. At runtime, the arrival of aperiodic tasks may cause overload that demands to be handled in such a way that i) time triggered activities still meet all their original constraints, ii) execution of high-valued tasks are prioritised over tasks with lower value, iii) tasks can be quickly migrated to balance the overall system load. We give a precise formulation of overload detection and value based task rejection in the presence of offline scheduled tasks, and present a heuristic algorithm to handle overload. To benefit from the distributed setting, the overload handling includes an algorithm that integrates migration of rejected tasks with resource reclaiming and an acceptance test of newly arrived tasks. Simulation results underline the effectiveness of the presented approach.
时间触发方法提供了适合于关键实时系统的确定性行为。但是,如果不能提前知道某些活动的到达时间,特别是必须预计超载情况,则表现不佳。在许多系统中,只有一小部分活动的重要性证明了与时间触发方法相关的成本是合理的。在本文中,我们考虑分布式系统,其中关键活动的子集通过离线调度以时间触发的方式处理。在运行时,非周期性任务的到来可能会导致过载,需要以这样的方式处理:1)时间触发的活动仍然满足其所有原始约束,2)高值任务的执行优先于低值任务,3)任务可以快速迁移以平衡整体系统负载。在离线调度任务存在的情况下,给出了过载检测和基于值的任务拒绝的精确公式,并提出了一种处理过载的启发式算法。为了从分布式设置中获益,过载处理包括一种算法,该算法将被拒绝任务的迁移与资源回收和新到达任务的验收测试集成在一起。仿真结果表明了该方法的有效性。
{"title":"Enhancing time triggered scheduling with value based overload handling and task migration","authors":"Jan Carlson, T. Lennvall, G. Fohler","doi":"10.1109/ISORC.2003.1199244","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199244","url":null,"abstract":"Time triggered methods provide deterministic behaviour suitable for critical real-time systems. The), perform less favourably, however if the arrival times of some activities are not known in advance, in particular if overload situations have to be anticipated. In many systems, the criticality of only a subset of activities justify the cost associated with the time triggered methods. In this paper we consider distributed systems where a subset of critical activities are handled in a time triggered fashion, via an offline schedule. At runtime, the arrival of aperiodic tasks may cause overload that demands to be handled in such a way that i) time triggered activities still meet all their original constraints, ii) execution of high-valued tasks are prioritised over tasks with lower value, iii) tasks can be quickly migrated to balance the overall system load. We give a precise formulation of overload detection and value based task rejection in the presence of offline scheduled tasks, and present a heuristic algorithm to handle overload. To benefit from the distributed setting, the overload handling includes an algorithm that integrates migration of rejected tasks with resource reclaiming and an acceptance test of newly arrived tasks. Simulation results underline the effectiveness of the presented approach.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130397375","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
期刊
Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.
全部 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