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

Automated Adaptor Generation for Services Based on Pushdown Model Checking 基于下推模型检测的服务自动适配器生成

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

Hsin-hung Lin, Toshiaki Aoki, T. Katayama

{"title":"Automated Adaptor Generation for Services Based on Pushdown Model Checking","authors":"Hsin-hung Lin, Toshiaki Aoki, T. Katayama","doi":"10.1109/ECBS.2011.33","DOIUrl":"https://doi.org/10.1109/ECBS.2011.33","url":null,"abstract":"Service adaptation is a promising solution for mismatches in service composition by introducing a mediate service called adaptor to coordinate interactions of services. In a previous work, an approach of non-regular service adaptation using model checking has been proposed for solving behavior mismatches. The approach uses pushdown automata as behavior model of adaptors so that non-regular interactions of services can be captured. Furthermore, adaptation and verification are integrated using model checking and the adaptor can be generated automatically without adaptation contracts being specified. However, though behavior mismatch free is guaranteed in the approach, we found there are usually several or more candidates which satisfy this criteria and may need to be further selected with other requirements. This paper follows the approach and focuses on requirements helpful to automated adaptor generation. Because of the use of pushdown system model, we are especially interested in properties related to unbounded messages, i.e., messages being sent and received arbitrary multiple times, which characterize non-regular behavior in service composition. This paper also shows experimental results from a prototype tool as well as directions for building a BPEL adaptor once behavior of an adaptor is generated by our approach.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"93 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":"116078958","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}

引用次数: 7

An Open-Source Pivot Language for Proprietary Tool-Chaining 用于专有工具链的开源Pivot语言

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

Stefano Cucchiella, A. Cicchetti, Federico Ciccozzi

引用次数: 1

GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications GeTeX:一个使用CAN应用测试实时嵌入式系统的工具

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

Mohammad Saeed Abou Trab, S. Counsell, R. Hierons

{"title":"GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications","authors":"Mohammad Saeed Abou Trab, S. Counsell, R. Hierons","doi":"10.1109/ECBS.2011.25","DOIUrl":"https://doi.org/10.1109/ECBS.2011.25","url":null,"abstract":"Real-Time Embedded Systems (RTES) have an increasing role in controlling the IT that we use on a day-to-day basis. The behaviour of an RTES is not based solely on the interactions it might have with its surrounding environment, but also on the timing requirements it induces. As a result, ensuring that an RTES behaves correctly is non-trivial, especially after adding time as a new dimension to the complexity of the testing process. In previous research, we introduced a 'priority-based' approach which tested the logical and timing behaviour of an RTES modeled formally as UPPAAL Timed Automata (UTA). The 'priority-based' approach was based on producing sets of timed test traces by achieving timing constraints coverage according to three sets of priorities, namely boundary, out-boundary and in-boundary. In this paper, we introduce a new testing tool 'GeTeX' that deploys the \"priority-based\" testing approach. GeTeX is a complete testing tool which generates timed test-cases from UTA models and executes them on the System Under Test (SUT) to identify faults. In its current version, GeTeX supports Control Area Network (CAN) applications.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"1 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":"129059683","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}

引用次数: 7

Finding Interaction Faults Adaptively Using Distance-Based Strategies 基于距离的策略自适应发现交互故障

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

Renée C. Bryce, C. Colbourn, D. Kuhn

引用次数: 10

Hardware Observability Framework for Minimally Intrusive Online Monitoring of 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.13

Jong Chul Lee, Andrew S. Gardner, Roman L. Lysecky

引用次数: 11

Scenario-Based Architectural Design Decisions Documentation and Evolution 基于场景的架构设计决策文档和演进

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

Meiru Che, D. Perry

引用次数: 15

Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings 网络中的共识:网络物理系统的协调与控制，从无人驾驶车辆到节能建筑

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

K. Moore

{"title":"Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings","authors":"K. Moore","doi":"10.1109/ECBS.2011.39","DOIUrl":"https://doi.org/10.1109/ECBS.2011.39","url":null,"abstract":"Summary form only given. In this talk we discuss the consensus variable approach to the coordination and control of cyberphysical systems (those with a tight integration of physical dynamics, sensors and actuators, and computing infrastructure). We begin with an overview of motivating problems and a summary of key results related to the consensus (or agreement) paradigm. We illustrate the application of this idea to several problems, including simulation of swarms, experimental demonstration of formation control of mote-based robots, and experimental demonstration of robotic autonomous mobile radio nodes for wireless tethering between a base station and a leader in a tunnel exploration scenario. We note that a consensus protocol can be represented as a graph with (static) weighted edges and nodes that are integrators. Generalizing this idea, we next present what we call dynamic consensus networks. Such networks are graphs whose nodes are integrators and whose edges are real rational functions representing dynamical systems that couple the nodes. We show that the modeling of thermal processes in buildings motivates such a system and from this motivation we generalize the notions of interconnection matrices and Laplacians to the case of graphs with integrating nodes and dynamic edges. We give conditions under which such graphs admit consensus, meaning that in the steady-state the node variables converge to a common value. Finally, we consider the collective description and properties of the interconnection of one dynamic graph (the plant) with another (the controller). We conclude with a discussion of research questions related to these ideas and to their application to energy-efficient control of buildings and other systems, such as the power grid.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"77 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":"132442629","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

Facilitating Software Architecting by Ranking Requirements Based on their Impact on the Architecture Process 根据需求对架构过程的影响对需求进行排序，从而促进软件架构设计

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

M. Galster, A. Eberlein

引用次数: 6

Model Composition in Rosetta 罗塞塔模型组成

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

N. Frisby, M. Peck, Mark Snyder, P. Alexander

引用次数: 3

Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks 通过生成的转换块简化语义丰富的模型转换

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

M. Hudson, J. Sprinkle

{"title":"Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks","authors":"M. Hudson, J. Sprinkle","doi":"10.1109/ECBS.2011.28","DOIUrl":"https://doi.org/10.1109/ECBS.2011.28","url":null,"abstract":"This paper demonstrates a novel concept for the simplification of model transformations in which composite or complex objects are inserted into an existing model through a well-defined interface. The technique utilizes a model transformation from the domain of the modeling language into the domain of model transformation languages. The user specifies these semantically rich blocks using the original domain-specific modeling language. Then, a transformation generates the necessary model transformation graph to create an instance of the semantically rich, user-defined pattern. Users insert these generated patterns into their customized transformations. The approach is helpful for endogenous transformations in which existing objects may be refactored. It will also serve as a teaching tool for users who are unfamiliar with model transformations: specifically how to represent a newly-created model in the transformation domain. Finally, the approach is designed to reduce specification errors of model transformations in which new (semantically rich) blocks are inserted at key points, as the correctness of the semantically rich blocks is guaranteed, based on their construction in the original domain.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"1 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":"121011797","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}

引用次数: 1