2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems最新文献_第2页

Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository 利用集成存储库实现模型间链接的综合建模

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.32

Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert

引用次数: 6

Modeling of Data Adaptable Reconfigurable Embedded Systems 数据可适应可重构嵌入式系统的建模

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.31

V. Gopinath, J. Sprinkle, Roman L. Lysecky

{"title":"Modeling of Data Adaptable Reconfigurable Embedded Systems","authors":"V. Gopinath, J. Sprinkle, Roman L. Lysecky","doi":"10.1109/ECBS.2011.31","DOIUrl":"https://doi.org/10.1109/ECBS.2011.31","url":null,"abstract":"Many applications require high flexibility, high configurability and high processing speeds. The physical constraints of a highly flexible system's hardware implementation preclude a hardware solution that satisfies all configuration options. Similarly for pure software implementations, even if configurability is satisfied, process efficiency will be sacrificed. Thus for applications of any significant size, there can be no single hardware or software configuration that can efficiently support all the configurability options of the applications. The Data-Adaptable Reconfigurable Embedded System (DARES) approach tackles this problem through combination of the hardware-software co-design and reconfigurable computing methodologies. Data-adaptability means that as data streams change, the system is reconfigured along the baselines defined within the system's specifications. In this project we use the concepts of Model-Integrated Computing to implement a domain-specific modeling language for the DARES approach. The language captures all the configurability options of the application task(s), performs design-space exploration, and provides a template for source code generation.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123119294","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

Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments 模型驱动的环内验证:基于仿真的无人机软件虚拟环境测试

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.30

F. Mutter, Stefanie Gareis, B. Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss

引用次数: 17

UML/OCL and Refinement UML/OCL和细化

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.42

Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, P. Aniorté

引用次数: 4

Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples 用领域特定的建模语言测量和减少建模工作量，并提供示例

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.22

James H. Hill

引用次数: 13

Identifying Potential Core Assets in Service-Based Systems to Support the Transition to Service-Oriented Product Lines 识别基于服务的系统中潜在的核心资产，以支持向面向服务的产品线的过渡

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.19

M. Galster, A. Eberlein

{"title":"Identifying Potential Core Assets in Service-Based Systems to Support the Transition to Service-Oriented Product Lines","authors":"M. Galster, A. Eberlein","doi":"10.1109/ECBS.2011.19","DOIUrl":"https://doi.org/10.1109/ECBS.2011.19","url":null,"abstract":"Variability in service-oriented architectures (SOA) is usually addressed through loose coupling of services and dynamic retrieval, composition and binding of services. Facilitating variability can lead to different instances of one SOA. These instances share commonalities, but vary in certain aspects (e.g., in functionality or quality attributes). Current service-based development approaches do not adequately address variability and the management of different SOA instances. To handle different instances and to support systematic variability management, different instances of a service-based system may be treated as members of a product line. Therefore, we present a light-weight method to decide on what services to add to service-based systems to facilitate the transition from individual systems to a service-oriented product line. When adding services to service-based systems, the structural stability of these system decreases. We argue that a decrease in structural stability must be justified by additional value provided by the enhanced service-based systems. Based on the enhanced systems, our method then identifies potential core asset services for a service-oriented product line, taking into account common services within the different systems. Here, core asset services are reusable services that occur in any instance of the SOA. Thus, our method helps with the transition from individual products to a product line. A case study is included to illustrate our method.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126355235","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

Towards Change Propagating Test Models in Autonomic and Adaptive Systems 自主与自适应系统中变化传播测试模型的研究

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.23

Mohammed Akour, A. Jaidev, Tariq M. King

{"title":"Towards Change Propagating Test Models in Autonomic and Adaptive Systems","authors":"Mohammed Akour, A. Jaidev, Tariq M. King","doi":"10.1109/ECBS.2011.23","DOIUrl":"https://doi.org/10.1109/ECBS.2011.23","url":null,"abstract":"Autonomic and adaptive computing systems can add, remove, and replace their own components in response to a changing environment. Self-adaptation facilitates the performance of automated maintenance and configuration tasks, but makes it possible for faults to be introduced into the software at runtime. To address this issue, researchers have developed approaches for integrating runtime testing into autonomic and adaptive software systems. An important aspect of runtime testing approaches for autonomic software is the provision of a framework for regression testing, which determines whether modifications have introduced faults into previously tested components. However, after adaptation occurs in autonomic software, a predefined test set may no longer be applicable due to changes in the program structure. Investigating techniques for dynamically updating regression tests after adaptation is therefore necessary to ensure such approaches can be applied in practice. In this paper we describe a model-driven approach that maps structural adaptations in autonomic software, to updates for its runtime test model. We provide a workflow and meta-model to support the approach, referred to as Test Information Propagation (TIP). To demonstrate TIP, we have developed a prototype that simulates a reductive change to an autonomic, service-oriented healthcare application. Conducting the simulation has provided us with much insight into this highly challenging research problem.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121147248","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}

引用次数: 15

Analysis of Applicability for Synchronization Complexity Metric 同步复杂度度量的适用性分析

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.7

Peter Yastrebenetsky, M. Trakhtenbrot

引用次数: 1

MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems 基于模型的基于组件的分布式实时嵌入式系统可靠性供应引擎

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.35

Sumant Tambe, Akshay Dabholkar, A. Gokhale

{"title":"MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems","authors":"Sumant Tambe, Akshay Dabholkar, A. Gokhale","doi":"10.1109/ECBS.2011.35","DOIUrl":"https://doi.org/10.1109/ECBS.2011.35","url":null,"abstract":"Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the radeoffs resulting from the different conflicting attributes of dependability, such as predictability, availability, and security. In component-based systems, these challenges are exacerbated since the tradeoffs must faithfully be reflected within the complex metadata descriptors used to compose, deploy and configure the system. The benefits of design-time approaches to address these problems are well-understood. Existing model-driven design time tools for developing dependable systems, however, focus largely on only one dependability attribute at a time and lack of extensibility results in rigid and hard to maintain tool support. This paper describes MoPED (Model-based Provisioning Engine for Dependability), which is a model-driven framework that unifies reasoning about predictability, availability, and security requirements for developing dependable component-based DRE systems. We evaluate the capabilities of MoPED using a representative case study and show how it alleviates complexities in the design of dependable systems and reduces manual efforts in the deployment phase by an order of magnitude.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"405 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124318189","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 the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle 自主地面车辆多核诱导行为偏差的缓解研究

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.29

J. Sprinkle, B. Eames

{"title":"On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle","authors":"J. Sprinkle, B. Eames","doi":"10.1109/ECBS.2011.29","DOIUrl":"https://doi.org/10.1109/ECBS.2011.29","url":null,"abstract":"Complex systems such as autonomous vehicles frequently utilize a distributed network of computers for sensing, control, and supervisory tasks. A common way to abstract the deployment of the computational nodes that implement the system's behavior is through the utilization of middleware, which treats each atomic processing element as a component. Multiple components may execute on a single node, and nodes are typically heterogeneous in their processing power. For component implementations that use an event-driven model of computation, however, significant behavioral deviations may occur when a single-core computational node is replaced with a multicore node, especially if that computational node is running more than one component. This paper discusses the observed behavioral deviations through a series of simulations with identical initial conditions, performed on various single core and multicore processing platforms. In addition to the empirical demonstration, the paper provides a technique to mitigate the behavioral deviations by inserting a time-triggered buffer between a key set of components, enforcing a loosely time-triggered execution even though the system is still defined through event-triggered components. This preserves existing legacy code, but provides a time-triggered execution.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128719588","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