2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing最新文献_第3页

On-the-Fly Adaptation of Data Stream Queries 数据流查询的动态适应

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.22

Bernhard Wolf, I. Behrens

引用次数: 3

Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures 具有动态数据结构的先进机电系统模型驱动运行时资源预测

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.17

Stefan Henkler, Simon Oberthür, H. Giese, Andreas Seibel

{"title":"Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures","authors":"Stefan Henkler, Simon Oberthür, H. Giese, Andreas Seibel","doi":"10.1109/ISORC.2010.17","DOIUrl":"https://doi.org/10.1109/ISORC.2010.17","url":null,"abstract":"The next generation of advanced mechatronic systems is expected to enhance their functionality and improve their performance by context-dependent behavior. Therefore, these systems require to represent information about the complex environment and changing sets of collaboration partners internally. This requirement is in contrast to the usually assumed static structures for embedded systems. In this paper, we present a model-driven approach which overcomes this situation by supporting dynamic data structures while still guaranteeing that valid worst-case execution times can be derived. It supports a flexible resource management which avoids to operate with the prohibitive coarse worst-case boundaries but instead supports to run applications in different profiles which guarantee different resource requirements and put unused resources in a profile at other applications' disposal. By supporting the proper estimation of worst case execution time (WCET) and worst case number of iteration (WCNI) at runtime, we can further support to create new profiles, add or remove them at runtime in order to minimize the over-approximation of the resource consumption resulting from the dynamic data structures required for the outlined class of advanced systems.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131807402","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

Dynamic Policy-Driven Quality of Service in Service-Oriented Systems 面向服务系统中动态策略驱动的服务质量

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.13

J. Loyall, M. Gillen, Aaron M. Paulos, James R. Edmondson, Pooja Varshneya, D. Schmidt, L. Bunch, M. Carvalho, Andrew J. Martignoni

引用次数: 18

A MDE-Based Optimisation Process for Real-Time Systems 基于模型的实时系统优化过程

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.38

Olivier Gilles, J. Hugues

引用次数: 7

Model-Based Programming of Modular Robots 基于模型的模块化机器人编程

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.16

D. Arney, S. Fischmeister, Insup Lee, Yoshihito Takashima, Mark H. Yim

{"title":"Model-Based Programming of Modular Robots","authors":"D. Arney, S. Fischmeister, Insup Lee, Yoshihito Takashima, Mark H. Yim","doi":"10.1109/ISORC.2010.16","DOIUrl":"https://doi.org/10.1109/ISORC.2010.16","url":null,"abstract":"Modular robots are a powerful concept for robotics. A modular robot consists of many individual modules so it can adjust its configuration to the problem. However, the fact that a modular robot consists of many individual modules makes it a highly distributed, highly concurrent real-time system, which are notoriously hard to program. In this work, we present our programming framework for writing control applications for modular robots. The framework includes a toolset that allows a model-based programing approach for control application of modular robots with code generation and verification. The framework is characterized by the following three features. First, it provides a complex programming model that is based on standard finite state machines extended in syntax and semantics to support communication, variables, and actions. Second, the framework provides compositionality at the hardware and at the software level and allows building the modular robot and its control application from small building blocks. And third, the framework supports formal verification of the control application to aid the gait and task developer in identifying problems and bugs before the deployment and testing on the physical robot.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127646594","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

Reliable Event Dissemination over Wide-Area Networks without Severe Performance Fluctuations 在广域网上可靠的事件传播，没有严重的性能波动

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.14

C. Esposito, Domenico Cotroneo, S. Russo

引用次数: 5

A System-on-a-Chip Platform for Mixed-Criticality Applications 混合临界应用的片上系统平台

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.43

Armin Wasicek, C. E. Salloum, H. Kopetz

引用次数: 29

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis VIS分析仪:VIS验证和分析的可视化助手

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.41

S. Jeong, Junbeom Yoo, S. Cha

{"title":"VIS Analyzer: A Visual Assistant for VIS Verification and Analysis","authors":"S. Jeong, Junbeom Yoo, S. Cha","doi":"10.1109/ISORC.2010.41","DOIUrl":"https://doi.org/10.1109/ISORC.2010.41","url":null,"abstract":"Formal verification plays an important role in demonstrating the quality of safety-critical systems such as nuclear power plants. We have used the VIS verification system to determine behavioral equivalence between two successive revisions in developing the KNICS RPS (Reactor Protection System) in Korea. The VIS accepts a high-level programming language Verilog as input, and its verification results contain valuable information about one reason of the failure. However the VIS offers no graphical interface, and partially displays relevant information necessary to understand the full verification scenario accurately. Many nuclear engineers and verification experts found the information insufficient, and it makes hard to the wide use of the VIS verification system in industry. This paper proposes the VIS Analyzer, a visual assistant for VIS verification and analysis, which can help nuclear engineers take full benefits of VIS without being overwhelmed by incomplete and low-level details. The VIS Analyzer automates the VIS verification processes such as equivalence checking and model checking, and displays the verification results in visual formats. We used a recent case study introduced in to demonstrate its effectiveness and usefulness.","PeriodicalId":142767,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114541509","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

Implementing and Evaluating the AHS Organic Middleware - A First Approach 实现和评估AHS有机中间件——第一种方法

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.26

Alexander von Renteln, U. Brinkschulte

引用次数: 9

Test Case Generation for Non-functional and Functional Testing of Services 为服务的非功能和功能测试生成测试用例

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2010-05-05 DOI: 10.1109/ISORC.2010.20

Simone Meixler, U. Brinkschulte

引用次数: 2