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

A Model-Based Transformation Process to Validate and Implement High-Integrity Systems 验证和实现高完整性系统的基于模型的转换过程

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.18

G. Lasnier, L. Pautet, J. Hugues

{"title":"A Model-Based Transformation Process to Validate and Implement High-Integrity Systems","authors":"G. Lasnier, L. Pautet, J. Hugues","doi":"10.1109/ISORC.2011.18","DOIUrl":"https://doi.org/10.1109/ISORC.2011.18","url":null,"abstract":"Despite numerous advances, building High-Integrity Embedded systems remains a complex task. They come with strong requirements to ensure safety, schedulability or security properties, one needs to combine multiple analysis to validate each of them. Model-Based Engineering is an accepted solution to address such complexity: analytical models are derived from an abstraction of the system to be built. Yet, ensuring that all abstractions are semantically consistent, remains an issue, e.g. when performing model checking for assessing safety, and then for schedulability using timed automata, and then when generating code. Complexity stems from the high-level view of the model compared to the low-level mechanisms used. In this paper, we present our approach based on AADL and its behavioral annex to refine iteratively an architecture description. Both application and runtime components are transformed into basic AADL constructs which have a strict counterpart in classical programming languages or patterns for verification. We detail the benefits of this process to enhance analysis and code generation. This work has been integrated to the AADL-tool support OSATE2.","PeriodicalId":431231,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133310350","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

Digital On-demand Computing Organism - Interaction between Monitoring and Middleware 数字按需计算有机体-监控和中间件之间的交互

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.31

Alexander von Renteln, U. Brinkschulte, David Kramer, Wolfgang Karl, C. Schuck, J. Becker

引用次数: 0

Generating Valid Interface Definition Language from Succinct Models 从简洁的模型生成有效的接口定义语言

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.33

H. Owens, James H. Hill

{"title":"Generating Valid Interface Definition Language from Succinct Models","authors":"H. Owens, James H. Hill","doi":"10.1109/ISORC.2011.33","DOIUrl":"https://doi.org/10.1109/ISORC.2011.33","url":null,"abstract":"Source code generation from models (e.g., domain specific models) for distributed real-time and embedded (DRE) systems is intended to alleviate tedious, error-prone, and time consume tasks associated with manually hand-crafting the same code. When generating code from models for DRE system programming languages that accidentally support circular dependencies, e.g., the Interface Definition Language (IDL) and C++, it is necessary to resolve circular dependencies in order to generate valid and usable code. Moreover, it is important to do some automatically instead of requiring modelers to construct models that do not contain any circular dependencies, which is hard. This paper provides two contributions to research on source code generation from models for DRE systems. First, it presents A-Circle, an algorithm that automatically removes circular dependencies when generating source code from models for programming languages that inherently enable circular dependencies. Secondly, this paper quantitatively evaluates A-Circle when generating CORBA IDL files. The results show that A Circle algorithm is able to generate IDL files in linear-time.","PeriodicalId":431231,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124228712","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

Modeling Interface Definition Language Extensions (IDL3+) Using Domain-Specific Modeling Languages 使用领域特定建模语言建模接口定义语言扩展(IDL3+)

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.19

James H. Hill

{"title":"Modeling Interface Definition Language Extensions (IDL3+) Using Domain-Specific Modeling Languages","authors":"James H. Hill","doi":"10.1109/ISORC.2011.19","DOIUrl":"https://doi.org/10.1109/ISORC.2011.19","url":null,"abstract":"Model-driven engineering (MDE) of distributed real-time and embedded (DRE) systems built using distributed middleware technologies typically rely on interface definition language (IDL) to define interfaces and attributes of the system under development. Recent needs for using IDL to design and implement systems composed of heterogeneous communication architectures, however, has realized the limitations of IDL. To address these limitations, vendors have proposed several non-trivial extensions to IDL also known as IDL3+. In order to leverage such extensions in the modeling domain, it is necessary to update existing tools, e.g., domain-specific modeling languages) to support such extensions. This paper provides two contributions to MDE of DRE systems using domain-specific modeling languages (DSMLs). First, this paper highlights the technical challenges associated with modeling IDL3+. Secondly, this paper discusses how to overcome such challenges in the context of a representative DSML for modeling DRE systems designed and implemented using IDL3+. Experience gained from using DSMLs to model IDL3+ shows that DSML environments as is do not suffice and need improved application frameworks to support complex DSMLs, such as IDL3+.","PeriodicalId":431231,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128032495","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

Improving the Confidence in Measurement-Based Timing Analysis 提高基于测量的时序分析的可信度

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.27

S. Bünte, Michael Zolda, Michael Tautschnig, R. Kirner

{"title":"Improving the Confidence in Measurement-Based Timing Analysis","authors":"S. Bünte, Michael Zolda, Michael Tautschnig, R. Kirner","doi":"10.1109/ISORC.2011.27","DOIUrl":"https://doi.org/10.1109/ISORC.2011.27","url":null,"abstract":"Measurement-based timing analysis (MBTA) is a hybrid approach that combines execution-time measurements with static program analysis techniques to obtain an estimate of the worst-case execution time (WCET) of a program. The most challenging part of MBTA is test data generation. Choosing an adequate set of test vectors determines safety and efficiency of the overall analysis. So far, there are no feasible criteria that determine how well the worst-case temporal behavior of program parts is covered by a given test-suite. In this paper we introduce a relative safety metric that compares test suites with respect to how well the observed worst-case behavior of program parts is exercised. Using this metric, we empirically show that common code coverage criteria from the domain of functional testing can produce unsafe WCET estimates in the context of MBTA for systems with a processor like the TriCore 1796. Further, we use the relative safety metric to examine coverage criteria that require all feasible pairs of, e.g., basic blocks to be exercised in combination. These are shown to be superior to code coverage criteria from the domain of functional testing, but there is still a chance that an unsafe WCET estimate is derived by MBTA in our experimental setup. Based on the outcomes of our evaluation we introduce and examine Balanced Path Generation, an input data generation technique that combines the advantages of all evaluated coverage criteria and random input data generation.","PeriodicalId":431231,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123018521","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 22

A Generalized Model to Control the Throughput in a Processor for Real-Time Applications 实时应用中处理器吞吐量控制的广义模型

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.20

D. Lohn, Mathias Pacher, U. Brinkschulte

引用次数: 8

A Software-Pipelined Approach to Multicore Execution of Timing Predictable Multi-threaded Hard Real-Time Tasks 时间可预测多线程硬实时任务多核执行的软件流水线方法

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.36

Marco Paolieri, E. Quiñones, F. Cazorla, Julian Wolf, T. Ungerer, S. Uhrig, Z. Petrov

引用次数: 9

Enabling Scheduling Analysis for AUTOSAR Systems 启用AUTOSAR系统的调度分析

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.28

Saoussen Anssi, S. Piergiovanni, Stefan Kuntz, S. Gérard, F. Terrier

引用次数: 44

Experimental Analysis of Primary-Shadow Replication Scheme for Fault-Tolerant Operational Flight Program of Small Scale UAV 小型无人机容错作战飞行方案主影复制方案实验分析

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.30

Junyeong Kim, Doohyun Kim

引用次数: 3

A Generative Middleware Specialization Process for Distributed Real-Time and Embedded Systems 分布式实时和嵌入式系统的生成中间件专门化过程

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Pub Date : 2011-03-28 DOI: 10.1109/ISORC.2011.32

Akshay Dabholkar, A. Gokhale

引用次数: 5