发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
System-Level Energy-Efficiency for Real-Time Tasks 实时任务的系统级能效
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.55
Chuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-Wei Kuo
{"title":"System-Level Energy-Efficiency for Real-Time Tasks","authors":"Chuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-Wei Kuo","doi":"10.1109/ISORC.2007.55","DOIUrl":"https://doi.org/10.1109/ISORC.2007.55","url":null,"abstract":"Dynamic voltage scaling (DVS) has been adopted in many computing systems to reduce the energy consumption of the processor by slowing down the processor speed. However, for system devices without DVS capability, the longer a task executes, the more energy the task consumes in the required system devices. This paper explores energy-efficient scheduling for periodic hard real-time tasks in a system consisted of a DVS processor and multiple non-DVS system devices. We propose an algorithm for static scheduling which minimizes the system energy consumption of a given set of real-time tasks, provided that each task executes in its worst case. For systems in which some tasks might complete earlier than its estimated worst-case execution time, we develop on-line algorithms to reclaim the slack time to reduce the energy consumption. Compared to existing algorithms, our proposed algorithm can reduce the energy consumption both in the CPU and system devices","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115691870","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}
引用次数: 17
A Systematic Approach to Domain-Specific Language Design Using UML 使用UML进行领域特定语言设计的系统方法
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.10
B. Selić
{"title":"A Systematic Approach to Domain-Specific Language Design Using UML","authors":"B. Selić","doi":"10.1109/ISORC.2007.10","DOIUrl":"https://doi.org/10.1109/ISORC.2007.10","url":null,"abstract":"UML includes special extensibility mechanisms, which are used to define domain-specific modeling languages that are based on UML. These mechanisms have been significantly improved in the latest versions of UML. Unfortunately, there is currently a dearth of published material on how to best exploit these capabilities and, consequently, many UML profiles are either invalid or of poor quality. In this paper, we first provide an overview of the new extensibility mechanisms of UML 2.1 and then describe a method for defining profiles that greatly increases the likelihood of producing technically correct quality UML profiles","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127489129","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}
引用次数: 279
Hardware-Near Programming in the Common Language Infrastructure 公共语言基础结构中的近硬件编程
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.38
S. Richter, A. Rasche, A. Polze
{"title":"Hardware-Near Programming in the Common Language Infrastructure","authors":"S. Richter, A. Rasche, A. Polze","doi":"10.1109/ISORC.2007.38","DOIUrl":"https://doi.org/10.1109/ISORC.2007.38","url":null,"abstract":"Virtual machine-based programming languages, such as Java and C # have made the programming of desktop computer systems simpler, less error-prone and more efficient. Embedded systems development rarely benefits from this advantages. This is because the disciplines special needs, such as direct hardware access and timelininess, are rarely considered in these environments. In particular, virtual machines usually do not allow for accessing hardware directly, making it impossible to express substantial parts of embedded systems inside the virtual environment. By specifying additional rules, describing an implementation of a conforming compiler, and presenting examples, we show how the virtual machine defined by the ECMA standard 335 can be carefully extended to support hardware-near programming","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128351871","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}
引用次数: 2
On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems 分布式实时系统中可分配线程故障恢复的最佳实时性保证
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.45
B. Ravindran, Edward Curley, J. Anderson, E. Jensen
{"title":"On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems","authors":"B. Ravindran, Edward Curley, J. Anderson, E. Jensen","doi":"10.1109/ISORC.2007.45","DOIUrl":"https://doi.org/10.1109/ISORC.2007.45","url":null,"abstract":"We consider the problem of recovering from failures of distributable threads in distributed real-time systems that operate under run-time uncertainties including those on thread execution times, thread arrivals, and node failure occurrences. When a thread encounters a node failure, it causes orphans. Under a termination model, the orphans must be detected and aborted, and exceptions must be delivered to farthest, contiguous surviving thread segment for resuming thread execution. Our application/scheduling model includes distributable threads and their exception handlers that are subject to time/utility function (TUF) time constraints and a utility accrual (UA) optimality criterion. A key underpinning of the TUF/UA scheduling paradigm is the notion of \"best-effort\" where high importance threads are always favored over low importance ones, irrespective of thread urgency. We present a scheduling algorithm called HUA and a thread integrity protocol called TPR. We show that HUA and TPR bound the orphan cleanup and recovery time with bounded loss of the best-effort property. Our implementation experience of HUA/TPR within Sun's distributed real-time specification for Java demonstrates the algorithm/protocol's effectiveness","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121905153","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
Real-Time Dynamic Guarantee in Component-Based Middleware 基于组件的中间件中的实时动态保障
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.51
C. Tatibana, C. Montez, R. S. Oliveira
{"title":"Real-Time Dynamic Guarantee in Component-Based Middleware","authors":"C. Tatibana, C. Montez, R. S. Oliveira","doi":"10.1109/ISORC.2007.51","DOIUrl":"https://doi.org/10.1109/ISORC.2007.51","url":null,"abstract":"This paper describes an extension to the component-based programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include an acceptance tests to component-based servers at bind time. We present the mapping of our model to the CORBA Component Model, the architecture to support the dynamic guarantee in component-based middleware, the implementation of this architecture in CIAO (Component Integrated ACE ORB) and the result of experiments run to evaluate the cost of the mechanisms used","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124414787","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}
引用次数: 2
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems 在复杂系统的形式分析中掌握复杂性:应用于智能交通系统的一些问题和策略
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.42
F. Kordon
{"title":"Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems","authors":"F. Kordon","doi":"10.1109/ISORC.2007.42","DOIUrl":"https://doi.org/10.1109/ISORC.2007.42","url":null,"abstract":"Modern intelligent transport systems are large, distributed, and at least partially embedded systems. They raise new challenges through safe design because of their characteristics that are not easily managed informal methods. The purpose of this paper is to set up a methodology that selects appropriate techniques for the modeling and analysis of such systems. Our methodology relies on symmetric nets (formerly known as well formed Petri nets). We make intensive use of this formalism's capabilities to scale up analysis and set up a roadmap for the design of dedicated model checkers","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129918263","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
An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems 分布式嵌入式实时系统模型驱动开发中非功能需求的面向方面处理方法
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.17
M. A. Wehrmeister, E. P. Freitas, C. Pereira, F. Wagner
{"title":"An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems","authors":"M. A. Wehrmeister, E. P. Freitas, C. Pereira, F. Wagner","doi":"10.1109/ISORC.2007.17","DOIUrl":"https://doi.org/10.1109/ISORC.2007.17","url":null,"abstract":"This work presents a proposal to use aspect orientation in the analysis and design of distributed embedded real-time systems (DERTS). These systems have several requirements directly related to their main characteristics, the so-called non-functional requirements (NFR), which refer to orthogonal properties, conditions, and restrictions that are spread out over the entire system. Pure object-oriented methods do not address successfully those so called cross-cutting concerns, so new technologies, like aspect orientation, are applied in order to fulfill this gap. The paper presents DERAF istributed embedded real-time aspects framework, an extensible and high-level framework (i.e. implementation-independent) to handle NFR of DERTS at earlier design stages. DERAF combines the use of aspects with RT-UML, aiming to separate the handling of non-functional from functional requirements in the model driven design of DERTS. The paper presents the use of DERAF on a case study of an unmanned air vehicle (UAV)","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126369195","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}
引用次数: 65
An Approach to Automated Agent Deployment in Service-Based Systems 基于服务系统中的自动代理部署方法
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.15
S. Yau, Luping Zhu, Dazhi Huang, H. Gong
{"title":"An Approach to Automated Agent Deployment in Service-Based Systems","authors":"S. Yau, Luping Zhu, Dazhi Huang, H. Gong","doi":"10.1109/ISORC.2007.15","DOIUrl":"https://doi.org/10.1109/ISORC.2007.15","url":null,"abstract":"In service-based systems, services from various providers can be integrated following specific workflows to achieve users' goals. These workflows are often executed and coordinated by software agents, which invoke appropriate services based on situation changes. These agents need to be deployed on underlying platforms with respect to various requirements, such as access permission of agents, real-time requirements of workflows, and reliability of the overall system. Deploying these agents manually is often error-prone and time-consuming. Furthermore, agents need to migrate from hosts to hosts at runtime to satisfy deployment requirements. Hence, an automated agent deployment mechanism is needed. In this paper, an approach to automated agent deployment in service-base systems is presented. In this approach, the deployment requirements are represented as deployment policies, and techniques are developed for generating agent deployment plans by solving the constraints specified in deployment policies, and for generating executable code for runtime agent deployment and migration.","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121545521","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
A Unified Benchmarking Process for Components in Automotive Embedded Systems Software 汽车嵌入式系统软件组件的统一基准测试过程
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.12
Wolfgang Forster, Christof Kutschera, D. Schreiner, K. M. Göschka
{"title":"A Unified Benchmarking Process for Components in Automotive Embedded Systems Software","authors":"Wolfgang Forster, Christof Kutschera, D. Schreiner, K. M. Göschka","doi":"10.1109/ISORC.2007.12","DOIUrl":"https://doi.org/10.1109/ISORC.2007.12","url":null,"abstract":"During the last years, component based software development has become a well accepted software engineering paradigm within the automotive industry. This fact is not only reflected by upcoming development tools but also by newly arising automotive software standards. In component based software engineering, applications are built by assembling small reusable building blocks, the components. Typically more than one component implementation meets the application developer's requirements, so proper selection of the assembled components becomes a key element of the whole procurement and engineering process. This paper's contribution is twofold: First, a basic set of performance and dependability metrics and measures for automotive components is identified. Second, a unified benchmarking process is proposed, that allows an unambiguous comparison of distinct component implementations of a given component class.","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122480318","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
Analyzing Behavior of Concurrent Software Designs for Embedded Systems 嵌入式系统并行软件设计行为分析
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) Pub Date : 2007-05-07 DOI: 10.1109/ISORC.2007.20
IV RobertG.Pettit, H. Gomaa
{"title":"Analyzing Behavior of Concurrent Software Designs for Embedded Systems","authors":"IV RobertG.Pettit, H. Gomaa","doi":"10.1109/ISORC.2007.20","DOIUrl":"https://doi.org/10.1109/ISORC.2007.20","url":null,"abstract":"This paper describes an integrated approach for the design and subsequent behavioral analysis of concurrent software designs for embedded systems. The approach integrates software design using the COMET concurrent object-oriented design method, colored Petri net (CPN) modeling, and performance measurement of the target system. The approach combines information from platform-independent and platform-specific models to construct analyses of software architectures for embedded systems. It allows an engineer/analyst to examine behavioral and performance properties of a software architecture design paired with a candidate implementation architecture. Applying the behavioral design patterns in the UML-based design along with corresponding CPN templates, the results from the analyses can be directly mapped back to the original design artifacts. The approach is illustrated using a robot controller case study","PeriodicalId":265471,"journal":{"name":"10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114762557","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}
引用次数: 19
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信