International Symposium on Component-Based Software Engineering最新文献_第8页

A dynamic component model for cyber physical systems 网络物理系统的动态组件模型

International Symposium on Component-Based Software Engineering Pub Date : 2012-06-25 DOI: 10.1145/2304736.2304759

François Fouquet, Brice Morin, Franck Fleurey, Olivier Barais, N. Plouzeau, J. Jézéquel

{"title":"A dynamic component model for cyber physical systems","authors":"François Fouquet, Brice Morin, Franck Fleurey, Olivier Barais, N. Plouzeau, J. Jézéquel","doi":"10.1145/2304736.2304759","DOIUrl":"https://doi.org/10.1145/2304736.2304759","url":null,"abstract":"Cyber Physical Systems (CPS) offer new ways for people to interact with computing systems: every thing now inte- grates computing power that can be leveraged to provide safety, assistance, guidance or simply comfort to users. CPS are long living and pervasive systems that intensively rely on microcontrollers and low power CPUs, integrated into build- ings (e.g. automation to improve comfort and energy opti- mization) or cars (e.g. advanced safety features involving car-to-car communication to avoid collisions). CPS operate in volatile environments where nodes should cooperate in opportunistic ways and dynamically adapt to their context. This paper presents ¼-Kevoree, the projection of Kevoree (a component model based on models@runtime) to microcon- trollers. ¼-Kevoree pushes dynamicity and elasticity con- cerns directly into resource-constrained devices. Its evalua- tion regarding key criteria in the embedded domain (mem- ory usage, reliability and performance) shows that, despite a contained overhead, ¼-Kevoree provides the advantages of a dynamically reconfigurable component-based model (safe, fine-grained, and efficient reconfiguration) compared to tra- ditional techniques for dynamic firmware upgrades.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115222660","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}

引用次数: 84

Towards architecture-level middleware-enabled exception handling of component-based systems 面向基于组件的系统的架构级中间件支持的异常处理

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000252

Gang Huang, Yihan Wu

引用次数: 3

Automating information flow control in component-based distributed systems 基于组件的分布式系统中的自动化信息流控制

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000241

T. Abdellatif, Lilia Sfaxi, R. Robbana, Y. Lakhnech

引用次数: 18

Reusing dynamic communication protocols in self-adaptive embedded component architectures 自适应嵌入式组件体系结构中动态通信协议的重用

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000246

Christian Heinzemann, Stefan Henkler

{"title":"Reusing dynamic communication protocols in self-adaptive embedded component architectures","authors":"Christian Heinzemann, Stefan Henkler","doi":"10.1145/2000229.2000246","DOIUrl":"https://doi.org/10.1145/2000229.2000246","url":null,"abstract":"Component based software engineering aims at re-using components in other systems. This requires a verification whether the component can safely interact with its communication partners in a new environment. Such verification is mandatory in case of safety-critical real-time systems where the communication is characterized by a varying number of components instances all being of the same type. Reuse can be facilitated by separating abstract communication protocol definitions and concrete component implementations. In contrast to standard refinement definitions for real-time systems, our definition explicitly takes varying numbers of communication partners into account. Additionally, we relax the strict conditions of a bisimulation to ease reuse of components. Along with our refinement definition, we provide a formal verification procedure to check for correct refinements which preserves properties verified for the abstract protocol definition. We evaluated our approach using a self-adaptive real-time system from the domain of autonomous train systems. The evaluation results show that checking for correct refinements is more efficient than re-verifying the desired properties on the refined component.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129833191","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

A component model that is both control-driven and data-driven 控件驱动和数据驱动的组件模型

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000236

K. Lau, L. Safie, Petr Stepan, C. M. Tran

引用次数: 20

Predictable deployment in component-based enterprise distributed real-time and embedded systems 基于组件的企业分布式实时和嵌入式系统中的可预测部署

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000233

W. Otte, A. Gokhale, D. Schmidt

{"title":"Predictable deployment in component-based enterprise distributed real-time and embedded systems","authors":"W. Otte, A. Gokhale, D. Schmidt","doi":"10.1145/2000229.2000233","DOIUrl":"https://doi.org/10.1145/2000229.2000233","url":null,"abstract":"Component-based middleware, such as the Lightweight CORBA Component Model, are increasingly used to implement large-scale distributed real-time and embedded (DRE) systems. In addition to supporting the quality of service (QoS) requirements of individual DRE systems, component technologies must also support bounded latencies when effecting deployment changes to DRE systems in response to changing environmental conditions and operational requirements. This paper makes three contributions to the study of predictable deployment latencies in DRE systems. First, we describe OMG's Deployment and Configuration (D&C) specification for component-based systems and discuss how conventional implementations of this standard can significantly degrade deployment latencies. Second, we describe architectural changes and performance optimizations implemented within the Locality-Enhanced Deployment and Configuration Engine (LE-DAnCE) implementation of the D&C specification. Finally, we analyze the performance of LE-DAnCE in the context of component deployments on 10 nodes for a representative DRE system consisting of 1,000 components. Our results show LE-DAnCE's optimizations provide a bounded deployment latency of less than 2 seconds with 2 percent jitter.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128079096","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}

引用次数: 14

Implications of modular systems on dynamic updating 模块化系统对动态更新的影响

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000254

A. Gregersen

引用次数: 9

A component-based open-source framework for general-purpose recommender systems 用于通用推荐系统的基于组件的开源框架

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000239

F. M. Melo, Álvaro R. Pereira

引用次数: 4

An empirical study into component system evolution 组件系统演化的实证研究

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000256

G. Jenson, Jens Dietrich, H. Guesgen, S. Marsland

引用次数: 2

Component-based specification of software architecture constraints 基于组件的软件架构约束规范

International Symposium on Component-Based Software Engineering Pub Date : 2011-06-20 DOI: 10.1145/2000229.2000235

Chouki Tibermacine, Salah Sadou, C. Dony, L. Fabresse

{"title":"Component-based specification of software architecture constraints","authors":"Chouki Tibermacine, Salah Sadou, C. Dony, L. Fabresse","doi":"10.1145/2000229.2000235","DOIUrl":"https://doi.org/10.1145/2000229.2000235","url":null,"abstract":"Component-based software engineering provides for developers the ability to easily reuse and assemble software entities to build complex software. Component-based specification of software functional characteristics has been and is largely addressed, however this is not yet the case for what concerns software non-functional characteristics. In this paper, we propose a new way to express component-based software non-functional documentation, and we will focus more specifically on architecture constraints which formalize parts of architecture decisions, as executable, customizable, reusable and composable building blocks represented by components. Checking of architecture constraints is provided via service invocation through ports of a special kind of components, called constraint-components. The signatures of these checking services can be defined in required interfaces of business components, to document decisions taken while designing their architecture. They can also be part of other required interfaces of constraint components, making it possible to build higher-level or more complex constraints while reusing existing ones. We present an example of implementation of constraint components using, an ADL which is introduced in this paper. Architecture constraints can then be checked on the architecture of business components at design-time using the CLACS tool support, which has been implemented as an Eclipse plugin.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"318 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134525190","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