首页 > 最新文献

Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)最新文献

英文 中文
A hybrid approach in TADE for derivation of execution time bounds of program-segments in distributed real-time embedded computing 分布式实时嵌入式计算中程序段执行时间界限推导的一种TADE混合方法
C. Im, Kwang-rok Kim
Guaranteeing response times of real-time (RT) distributed computing systems has been recognized as one of the biggest challenges by the RT software research community for three decades. The concept of a hybrid approach that combines analytical derivation approaches and testing-based statistical derivation approaches in a symbiotic form for meeting this challenge was presented in recent years. However, concrete practical hybrid approaches are still in early stages of development. One such approach pursued by the authors and their collaborators is presented here. This paper focuses on the cases of deriving tight execution time bounds of the segments of object methods which do not involve calls for services from the operating system kernel and middleware. A case-study that demonstrates how the adopted approach works in handling a simple practical application is also presented
保证实时(RT)分布式计算系统的响应时间已经被实时(RT)软件研究界认为是30年来最大的挑战之一。为了应对这一挑战,近年来提出了一种混合方法的概念,该方法将分析推导方法和基于测试的统计推导方法以共生的形式结合起来。然而,具体实用的混合方法仍处于早期发展阶段。本文介绍了作者及其合作者所采用的一种方法。本文重点研究了不涉及调用操作系统内核和中间件服务的对象方法段的严格执行时间限制的情况。本文还介绍了一个案例研究,演示了所采用的方法如何处理一个简单的实际应用程序
{"title":"A hybrid approach in TADE for derivation of execution time bounds of program-segments in distributed real-time embedded computing","authors":"C. Im, Kwang-rok Kim","doi":"10.1109/ISORC.2006.5","DOIUrl":"https://doi.org/10.1109/ISORC.2006.5","url":null,"abstract":"Guaranteeing response times of real-time (RT) distributed computing systems has been recognized as one of the biggest challenges by the RT software research community for three decades. The concept of a hybrid approach that combines analytical derivation approaches and testing-based statistical derivation approaches in a symbiotic form for meeting this challenge was presented in recent years. However, concrete practical hybrid approaches are still in early stages of development. One such approach pursued by the authors and their collaborators is presented here. This paper focuses on the cases of deriving tight execution time bounds of the segments of object methods which do not involve calls for services from the operating system kernel and middleware. A case-study that demonstrates how the adopted approach works in handling a simple practical application is also presented","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122112144","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
A framework for DRE middleware, an application to DDS 一个DRE中间件框架,一个DDS应用程序
J. Hugues, L. Pautet, F. Kordon
Heterogeneous non-functional requirements of DRE system put a limit on middleware engineering; building an application-tailored middleware becomes a challenge. In this paper, we show how we use the PolyORB middleware and its architecture as a framework to implement DDS, the data distribution services (DDS) recently published by the OMG. We demonstrate how the architecture proposed by PolyORB enables a rapid implementation of this specification, and allows for extreme tailorability to support application requirements
DRE系统的异构非功能需求限制了中间件工程的发展;构建针对应用程序的中间件成为一项挑战。在本文中,我们展示了如何使用PolyORB中间件及其体系结构作为框架来实现DDS,即OMG最近发布的数据分发服务(DDS)。我们演示了PolyORB提出的架构如何能够快速实现该规范,并允许极端的可定制性来支持应用程序需求
{"title":"A framework for DRE middleware, an application to DDS","authors":"J. Hugues, L. Pautet, F. Kordon","doi":"10.1109/ISORC.2006.4","DOIUrl":"https://doi.org/10.1109/ISORC.2006.4","url":null,"abstract":"Heterogeneous non-functional requirements of DRE system put a limit on middleware engineering; building an application-tailored middleware becomes a challenge. In this paper, we show how we use the PolyORB middleware and its architecture as a framework to implement DDS, the data distribution services (DDS) recently published by the OMG. We demonstrate how the architecture proposed by PolyORB enables a rapid implementation of this specification, and allows for extreme tailorability to support application requirements","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128190217","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
Automatic memory management in utility accrual scheduling environments 公用事业累积调度环境中的自动内存管理
Shahrooz Feizabadi, Godmar Back
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness requirements of real-time systems, however, impose specific demands on the operational parameters of the garbage collector. The memory requirements of real-time tasks must be accommodated with a predictable impact on the timeline, and under the purview of the scheduler. Utility accrual is a method of dynamic overload scheduling that is designed to respond to CPU overload conditions by producing a schedule that heuristically maximize a predefined metric of utility. There also exists in such systems the possibility of memory overload situations in which the cumulative memory demand exceeds the amount of memory available. This paper presents a utility accrual algorithm for uniprocessor CPU and garbage collection scheduling that addresses memory overload conditions. By tightly linking CPU and memory allocation, the scheduler can appropriately respond to overload along both dimensions. This scheduler is the first of its kind to enable the use of automatic memory management in a utility accrual system. Experimental results using actual Java application profiles indicate the viability of this model
在现代系统和编程语言(如Java)中,自动内存管理的便利性、可靠性和有效性早已确立。然而,实时系统的时效性要求对垃圾收集器的操作参数提出了特定的要求。实时任务的内存需求必须适应对时间轴的可预测影响,并且在调度器的范围内。效用累积是一种动态过载调度方法,旨在通过生成启发式地最大化预定义效用度量的调度来响应CPU过载情况。在这样的系统中还存在内存过载的可能性,在这种情况下,累积内存需求超过了可用的内存量。本文提出了一种用于单处理器CPU和垃圾收集调度的效用应计算法,以解决内存过载的问题。通过紧密连接CPU和内存分配,调度器可以适当地响应两个维度上的过载。这个调度器是同类中第一个支持在公用事业权责发生制系统中使用自动内存管理的调度器。使用实际Java应用程序配置文件的实验结果表明了该模型的可行性
{"title":"Automatic memory management in utility accrual scheduling environments","authors":"Shahrooz Feizabadi, Godmar Back","doi":"10.1109/ISORC.2006.21","DOIUrl":"https://doi.org/10.1109/ISORC.2006.21","url":null,"abstract":"Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness requirements of real-time systems, however, impose specific demands on the operational parameters of the garbage collector. The memory requirements of real-time tasks must be accommodated with a predictable impact on the timeline, and under the purview of the scheduler. Utility accrual is a method of dynamic overload scheduling that is designed to respond to CPU overload conditions by producing a schedule that heuristically maximize a predefined metric of utility. There also exists in such systems the possibility of memory overload situations in which the cumulative memory demand exceeds the amount of memory available. This paper presents a utility accrual algorithm for uniprocessor CPU and garbage collection scheduling that addresses memory overload conditions. By tightly linking CPU and memory allocation, the scheduler can appropriately respond to overload along both dimensions. This scheduler is the first of its kind to enable the use of automatic memory management in a utility accrual system. Experimental results using actual Java application profiles indicate the viability of this model","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131453607","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 IEEE1394-based real-time distributed IPC system for collaborating TMO's 基于ieee1394的实时分布式IPC系统,用于TMO的协作
J. Son, Sang Hyun Park, Jung-Guk Kim, Moon-hae Kim
The TMO (time-triggered message-triggered object) model is a well-known real-time object model for distributed timeliness computing. In a couple of years ago, we developed a Linux-based real-time kernel, named TMO-Linux, supporting deadline driven executions of TMO's. TMO-Linux and its distributed IPC subsystem have been used well in developing networked control systems consisting of cooperating embedded devices, but there have difficulties in executing some TMO applications accurately due to the lack of timeliness in distributed communications. To overcome this problem, we newly developed a real-time distributed IPC over IEEE1394 for the TMO-Linux kernel. In the new system, predictable delivery services for real-time messages are provided by isochronous transmissions of IEEE1394. To implement predictable delivery services, each node is set to have its own isochronous channel for receiving data that is allocated to a fixed time-slot bandwidth in an IEEE1394 frame. This paper presents an implementation technique for the IEEE1394-based real-time distributed IPC and collaborations of computing nodes using TMO-Linux
TMO(时间触发消息触发对象)模型是一种众所周知的用于分布式时效性计算的实时对象模型。几年前,我们开发了一个基于linux的实时内核,名为TMO- linux,它支持TMO的截止日期驱动执行。TMO- linux及其分布式IPC子系统在开发由协作嵌入式设备组成的网络控制系统中得到了很好的应用,但由于分布式通信的时效性不足,一些TMO应用程序难以准确执行。为了克服这个问题,我们为TMO-Linux内核开发了一个基于IEEE1394的实时分布式IPC。在新系统中,IEEE1394的同步传输为实时消息提供了可预测的传递服务。为了实现可预测的交付服务,每个节点都被设置为具有自己的同步通道,用于接收在IEEE1394帧中分配给固定时隙带宽的数据。本文提出了一种基于ieee1394的计算节点实时分布式IPC和协作的TMO-Linux实现技术
{"title":"An IEEE1394-based real-time distributed IPC system for collaborating TMO's","authors":"J. Son, Sang Hyun Park, Jung-Guk Kim, Moon-hae Kim","doi":"10.1109/ISORC.2006.15","DOIUrl":"https://doi.org/10.1109/ISORC.2006.15","url":null,"abstract":"The TMO (time-triggered message-triggered object) model is a well-known real-time object model for distributed timeliness computing. In a couple of years ago, we developed a Linux-based real-time kernel, named TMO-Linux, supporting deadline driven executions of TMO's. TMO-Linux and its distributed IPC subsystem have been used well in developing networked control systems consisting of cooperating embedded devices, but there have difficulties in executing some TMO applications accurately due to the lack of timeliness in distributed communications. To overcome this problem, we newly developed a real-time distributed IPC over IEEE1394 for the TMO-Linux kernel. In the new system, predictable delivery services for real-time messages are provided by isochronous transmissions of IEEE1394. To implement predictable delivery services, each node is set to have its own isochronous channel for receiving data that is allocated to a fixed time-slot bandwidth in an IEEE1394 frame. This paper presents an implementation technique for the IEEE1394-based real-time distributed IPC and collaborations of computing nodes using TMO-Linux","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132673209","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
Interaction-based behavior modeling of embedded software using UML 2.0 使用UML 2.0的嵌入式软件基于交互的行为建模
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of a system. In this paper, we propose an approach to interaction-based behavior modeling of embedded software using UML 2.0. We use the interaction overview diagrams and the sequence diagrams to model the behavior. We present the method of constructing interaction-based behavior model with an example. We also briefly describe the idea of generating executable code from it
在基于uml的嵌入式软件设计中,许多先前的方法都包含了基于状态的行为建模。然而,基于交互的行为建模提供了更直观的系统视图。在本文中,我们提出了一种使用UML 2.0对嵌入式软件进行基于交互的行为建模的方法。我们使用交互概览图和序列图对行为建模。给出了一种基于交互的行为模型的构建方法,并结合实例进行了分析。我们还简要描述了从中生成可执行代码的思想
{"title":"Interaction-based behavior modeling of embedded software using UML 2.0","authors":"Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae","doi":"10.1109/ISORC.2006.42","DOIUrl":"https://doi.org/10.1109/ISORC.2006.42","url":null,"abstract":"Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of a system. In this paper, we propose an approach to interaction-based behavior modeling of embedded software using UML 2.0. We use the interaction overview diagrams and the sequence diagrams to model the behavior. We present the method of constructing interaction-based behavior model with an example. We also briefly describe the idea of generating executable code from it","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124922561","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}
引用次数: 12
Using the FOMDA approach to support object-oriented real-time systems development 使用FOMDA方法支持面向对象的实时系统开发
F. Basso, T. Oliveira, L. Becker
This paper tackles the problem of ever changing embedded systems non-functional requirements, specially the architectural ones. It proposes a solution based on features model and MDA standards, which is called features-oriented model-driven architecture (FOMDA). This proposal can be used to help application designer in defining the mappings and transformations of UML models to as many target platforms as wished. This is done by configuring model-to-model and model-to-code transformations over tiers, where every tier represents some target platform properties that the system must be mapped and transformed to. To validate the proposal a case study related to the development of an embedded real-time system is presented, detailing how to transform a generic high-level UML model to a model specific for a given target platform. Obtained results are optimistic and conclude that the FOMDA approach can make designers re-think their current development process to make it more decoupled from a specific target platform
本文解决了嵌入式系统非功能需求不断变化的问题,特别是体系结构需求。提出了一种基于特征模型和MDA标准的解决方案,称为面向特征的模型驱动体系结构(FOMDA)。这个建议可以用来帮助应用程序设计者定义UML模型到尽可能多的目标平台的映射和转换。这是通过在层上配置模型到模型和模型到代码的转换来完成的,其中每个层表示系统必须映射和转换到的一些目标平台属性。为了验证该建议,本文提出了一个与嵌入式实时系统开发相关的案例研究,详细说明了如何将通用的高级UML模型转换为特定于给定目标平台的模型。获得的结果是乐观的,并得出结论:FOMDA方法可以使设计师重新思考他们当前的开发过程,使其与特定的目标平台更加分离
{"title":"Using the FOMDA approach to support object-oriented real-time systems development","authors":"F. Basso, T. Oliveira, L. Becker","doi":"10.1109/ISORC.2006.76","DOIUrl":"https://doi.org/10.1109/ISORC.2006.76","url":null,"abstract":"This paper tackles the problem of ever changing embedded systems non-functional requirements, specially the architectural ones. It proposes a solution based on features model and MDA standards, which is called features-oriented model-driven architecture (FOMDA). This proposal can be used to help application designer in defining the mappings and transformations of UML models to as many target platforms as wished. This is done by configuring model-to-model and model-to-code transformations over tiers, where every tier represents some target platform properties that the system must be mapped and transformed to. To validate the proposal a case study related to the development of an embedded real-time system is presented, detailing how to transform a generic high-level UML model to a model specific for a given target platform. Obtained results are optimistic and conclude that the FOMDA approach can make designers re-think their current development process to make it more decoupled from a specific target platform","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126878442","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}
引用次数: 16
Architecture classification for SOA-based applications 基于soa的应用程序的体系结构分类
W. Tsai, C. Fan, Yinong Chen, R. Paul, Jen-Yao Chung
The architecture of SOA-based applications is different from traditional software architecture where the architecture is mainly static. The architecture of an SOA-based application is dynamic, i.e., the application may be composed at runtime using existing services. Thus SOA has provided a new direction for software architecture study, where the architecture is determined at runtime and architecture can be dynamically changed at runtime to meet the new software requirements. This paper proposes an architecture classification scheme for SOA-based applications. Using this classification, several well-known SOA-based applications are reviewed including the architectures proposed and adopted by major computer companies and standard organizations. The architecture classification provides a unified way to evaluate a variety of architectures for SOA-based applications
基于soa的应用程序的体系结构不同于传统的软件体系结构,后者的体系结构主要是静态的。基于soa的应用程序的体系结构是动态的,也就是说,应用程序可以在运行时使用现有的服务进行组合。因此,SOA为软件体系结构研究提供了一个新的方向,在运行时确定体系结构,并且可以在运行时动态更改体系结构以满足新的软件需求。本文提出了一种基于soa应用的体系结构分类方案。使用这种分类,我们回顾了几个著名的基于soa的应用程序,包括主要计算机公司和标准组织提出和采用的体系结构。体系结构分类提供了一种统一的方法来评估基于soa的应用程序的各种体系结构
{"title":"Architecture classification for SOA-based applications","authors":"W. Tsai, C. Fan, Yinong Chen, R. Paul, Jen-Yao Chung","doi":"10.1109/ISORC.2006.18","DOIUrl":"https://doi.org/10.1109/ISORC.2006.18","url":null,"abstract":"The architecture of SOA-based applications is different from traditional software architecture where the architecture is mainly static. The architecture of an SOA-based application is dynamic, i.e., the application may be composed at runtime using existing services. Thus SOA has provided a new direction for software architecture study, where the architecture is determined at runtime and architecture can be dynamically changed at runtime to meet the new software requirements. This paper proposes an architecture classification scheme for SOA-based applications. Using this classification, several well-known SOA-based applications are reviewed including the architectures proposed and adopted by major computer companies and standard organizations. The architecture classification provides a unified way to evaluate a variety of architectures for SOA-based applications","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127023883","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}
引用次数: 57
Real-time operating systems for self-coordinating embedded systems 自协调嵌入式系统的实时操作系统
F. Rammig, M. Götz, T. Heimfarth, P. Janacik, Simon Oberthür
It can be observed that most technological artefacts are becoming intelligent "things that think" and most of these intelligent objects will be linked together to an "Internet of things". To master this omnipresent virtual "organism", completely new design and operation paradigms have to evolve. In this paper we discuss how research of our group at the University of Paderborn is providing fundamental principles, methods, and tools to design real-time operating systems for this virtual "organism" of the future. Based on our fine-granular library for the construction of reflexive RTOS, the necessary configuration tool and its on-line version are discussed. Next step towards self-coordination is a profile management system to support self-optimization of the RTOS. The included flexible resource manager allows migration of RTOS services dynamically between programmable processors and re-configurable HW. In a final step the RTOS itself can be distributed. Its services are provided by a cluster of instances instead of a single one. This makes a sophisticated dynamically self-optimizing communication system necessary
可以观察到,大多数技术人工制品正在成为智能的“会思考的东西”,这些智能物体中的大多数将连接在一起,形成“物联网”。要掌握这个无所不在的虚拟“有机体”,就必须进化出全新的设计和操作范式。在本文中,我们讨论了我们在帕德博恩大学的研究小组如何为未来的虚拟“有机体”设计实时操作系统提供基本原则、方法和工具。在构建自反式RTOS的细粒度库的基础上,讨论了所需的配置工具及其在线版本。自协调的下一步是配置文件管理系统,以支持RTOS的自优化。所包含的灵活资源管理器允许在可编程处理器和可重新配置的硬件之间动态迁移RTOS服务。最后一步是分发RTOS本身。它的服务是由一个实例集群而不是单个实例提供的。这就需要一个复杂的动态自优化通信系统
{"title":"Real-time operating systems for self-coordinating embedded systems","authors":"F. Rammig, M. Götz, T. Heimfarth, P. Janacik, Simon Oberthür","doi":"10.1109/ISORC.2006.67","DOIUrl":"https://doi.org/10.1109/ISORC.2006.67","url":null,"abstract":"It can be observed that most technological artefacts are becoming intelligent \"things that think\" and most of these intelligent objects will be linked together to an \"Internet of things\". To master this omnipresent virtual \"organism\", completely new design and operation paradigms have to evolve. In this paper we discuss how research of our group at the University of Paderborn is providing fundamental principles, methods, and tools to design real-time operating systems for this virtual \"organism\" of the future. Based on our fine-granular library for the construction of reflexive RTOS, the necessary configuration tool and its on-line version are discussed. Next step towards self-coordination is a profile management system to support self-optimization of the RTOS. The included flexible resource manager allows migration of RTOS services dynamically between programmable processors and re-configurable HW. In a final step the RTOS itself can be distributed. Its services are provided by a cluster of instances instead of a single one. This makes a sophisticated dynamically self-optimizing communication system necessary","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130842135","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
Dependability driven integration of mixed criticality SW components 可靠性驱动的混合临界软件组件集成
Shariful Islam, Robert Lindstrom, N. Suri
Mapping of software onto hardware elements under platform resource constraints is a crucial step in the design of embedded systems. As embedded systems are increasingly integrating both safety-critical and non-safety critical software functionalities onto a shared hardware platform, a dependability driven integration is desirable. Such an integration approach faces new challenges of mapping software components onto shared hardware resources while considering extra-functional (dependability, timing, power consumption, etc.) requirements of the system. Considering dependability and real-time as primary drivers, we present a systematic resource allocation approach for the consolidated mapping of safety critical and non-safety critical applications onto a distributed platform such that their operational delineation is maintained over integration. The objective of our allocation technique is to come up with a feasible solution satisfying multiple concurrent constraints. Ensuring criticality partitioning, avoiding error propagation and reducing interactions across components are addressed in our approach. In order to demonstrate the usefulness and effectiveness of the mapping, the developed approach is applied to an actual automotive system
在平台资源约束下将软件映射到硬件元素是嵌入式系统设计的关键步骤。随着嵌入式系统越来越多地将安全关键和非安全关键软件功能集成到共享硬件平台上,可靠性驱动的集成是可取的。这种集成方法面临着将软件组件映射到共享硬件资源的新挑战,同时考虑系统的额外功能(可靠性、时序、功耗等)需求。考虑到可靠性和实时性是主要驱动因素,我们提出了一种系统的资源分配方法,用于将安全关键型和非安全关键型应用程序整合到分布式平台上,以便通过集成维护其操作描述。我们的分配技术的目标是提出一个可行的解决方案,满足多个并发约束。我们的方法解决了确保临界分区、避免错误传播和减少组件之间的交互的问题。为了证明该方法的实用性和有效性,将该方法应用于实际的汽车系统
{"title":"Dependability driven integration of mixed criticality SW components","authors":"Shariful Islam, Robert Lindstrom, N. Suri","doi":"10.1109/ISORC.2006.26","DOIUrl":"https://doi.org/10.1109/ISORC.2006.26","url":null,"abstract":"Mapping of software onto hardware elements under platform resource constraints is a crucial step in the design of embedded systems. As embedded systems are increasingly integrating both safety-critical and non-safety critical software functionalities onto a shared hardware platform, a dependability driven integration is desirable. Such an integration approach faces new challenges of mapping software components onto shared hardware resources while considering extra-functional (dependability, timing, power consumption, etc.) requirements of the system. Considering dependability and real-time as primary drivers, we present a systematic resource allocation approach for the consolidated mapping of safety critical and non-safety critical applications onto a distributed platform such that their operational delineation is maintained over integration. The objective of our allocation technique is to come up with a feasible solution satisfying multiple concurrent constraints. Ensuring criticality partitioning, avoiding error propagation and reducing interactions across components are addressed in our approach. In order to demonstrate the usefulness and effectiveness of the mapping, the developed approach is applied to an actual automotive system","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123149078","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}
引用次数: 40
Tree-based WCET analysis on instrumentation point graphs 基于树的检测点图WCET分析
A. Betts, G. Bernat
This paper presents a framework for combining low-level measurement data through high-level static analysis techniques on instrumented programs in order to generate WCET estimates, for which we introduce the instrumentation point graph (IPG). We present the notion of iteration edges, which are the most important property of the IPG from a timing analysis perspective since they allow more path-based information to be integrated into tree-based calculations on loops. The main focus of this paper, however, is an algorithm that performs a hierarchical decomposition of an IPG into an Itree to permit tree-based WCET calculations. The Itree representation supports a novel high-level structure, the meta-loop, which enables iteration edges to be merged in the calculation stage. The timing schema required for the Itree is also presented. Finally, we outline some conclusions and future areas of interest
本文提出了一个框架,通过对仪表程序的高级静态分析技术结合低级测量数据,以生成WCET估计,为此我们引入了仪表点图(IPG)。我们提出了迭代边的概念,从时序分析的角度来看,迭代边是IPG最重要的属性,因为它们允许将更多基于路径的信息集成到基于树的循环计算中。然而,本文的主要焦点是一种算法,该算法将IPG分层分解为Itree,从而允许基于树的WCET计算。Itree表示支持一种新的高级结构,即元循环,它允许在计算阶段合并迭代边。还给出了Itree所需的定时模式。最后,我们概述了一些结论和未来感兴趣的领域
{"title":"Tree-based WCET analysis on instrumentation point graphs","authors":"A. Betts, G. Bernat","doi":"10.1109/ISORC.2006.75","DOIUrl":"https://doi.org/10.1109/ISORC.2006.75","url":null,"abstract":"This paper presents a framework for combining low-level measurement data through high-level static analysis techniques on instrumented programs in order to generate WCET estimates, for which we introduce the instrumentation point graph (IPG). We present the notion of iteration edges, which are the most important property of the IPG from a timing analysis perspective since they allow more path-based information to be integrated into tree-based calculations on loops. The main focus of this paper, however, is an algorithm that performs a hierarchical decomposition of an IPG into an Itree to permit tree-based WCET calculations. The Itree representation supports a novel high-level structure, the meta-loop, which enables iteration edges to be merged in the calculation stage. The timing schema required for the Itree is also presented. Finally, we outline some conclusions and future areas of interest","PeriodicalId":212174,"journal":{"name":"Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123602823","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}
引用次数: 34
期刊
Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)
全部 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