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

筛选
英文 中文
Automated Adaptor Generation for Services Based on Pushdown Model Checking 基于下推模型检测的服务自动适配器生成
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语言
Stefano Cucchiella, A. Cicchetti, Federico Ciccozzi
{"title":"An Open-Source Pivot Language for Proprietary Tool-Chaining","authors":"Stefano Cucchiella, A. Cicchetti, Federico Ciccozzi","doi":"10.1109/ECBS.2011.15","DOIUrl":"https://doi.org/10.1109/ECBS.2011.15","url":null,"abstract":"Nowadays industrial software development faces an increasing system complexity together with the necessity to significantly decrease costs and time of the development process and to release at the same time high-quality products. As a consequence, they typically adopt a constellation of proprietary tools, each of which deals with particular stages of the overall development process, namely design, testing, and deployment to mention a few. Model-Driven Engineering techniques are gaining a growing interest as an efficient approach to tackle the current software intricacy. However, the use of a multitude of proprietary tools requires the redundant specification of characteristics of the system and hampers their chaining. This work reports the experience gained in industrial settings: problems arisen from the usage of different tools for different aims during the development process are discussed, moreover, a possible solution based on an open-source pivot language acting as a bridge to share information between different proprietary tools is illustrated.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"47 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":"115210090","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
GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications GeTeX:一个使用CAN应用测试实时嵌入式系统的工具
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 基于距离的策略自适应发现交互故障
Renée C. Bryce, C. Colbourn, D. Kuhn
{"title":"Finding Interaction Faults Adaptively Using Distance-Based Strategies","authors":"Renée C. Bryce, C. Colbourn, D. Kuhn","doi":"10.1109/ECBS.2011.9","DOIUrl":"https://doi.org/10.1109/ECBS.2011.9","url":null,"abstract":"Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch faults, yet many unanticipated faults may be overlooked. This work complements current testing methodologies by adaptively dispensing one-test-at-a-time, where each test is as “distant” as possible from previous tests. Two types of distance measures are explored: (1) distance defined in relation to combinations of parameter-values not previously tested together and (2) distance computed as the maximum minimal Hamming distance from previous tests. Experiments compare the effectiveness of these two types of distance-based tests and random tests. Experiments include simulations, as well as examination of instrumented data from an actual system, the Traffic Collision Avoidance System (TCAS). Results demonstrate that the two instantiations of distance-based tests often find more faults sooner and in fewer tests than randomly generated tests.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"46 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":"115524373","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}
引用次数: 10
Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems 嵌入式系统最小干扰在线监测的硬件可观察性框架
Jong Chul Lee, Andrew S. Gardner, Roman L. Lysecky
{"title":"Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems","authors":"Jong Chul Lee, Andrew S. Gardner, Roman L. Lysecky","doi":"10.1109/ECBS.2011.13","DOIUrl":"https://doi.org/10.1109/ECBS.2011.13","url":null,"abstract":"As the complexity of digital systems rapidly increases, designers are presented with significant challenges in monitoring, analyzing, and debugging the complex interactions of various software and hardware components. Existing hardware tests and debugging methods are often intrusive, either requiring significant hardware resources or requiring the execution of the system to be halted thus leading to system perturbations that can change the execution behavior to an extent that the erroneous behavior can no longer be observed -- or lead to system failure due to missed execution deadlines. In this paper, we present an initial framework for minimally intrusive hardware observability that provides designers with the ability to monitor complex application-specific hardware execution behavior at runtime with zero -- or minimal -- impact on system execution.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"54 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":"123866533","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
Scenario-Based Architectural Design Decisions Documentation and Evolution 基于场景的架构设计决策文档和演进
Meiru Che, D. Perry
{"title":"Scenario-Based Architectural Design Decisions Documentation and Evolution","authors":"Meiru Che, D. Perry","doi":"10.1109/ECBS.2011.16","DOIUrl":"https://doi.org/10.1109/ECBS.2011.16","url":null,"abstract":"Software architecture is considered as a set of architectural design decisions. Capturing and representing architectural design decisions during the architecting process is necessary for reducing architectural knowledge evaporation. Moreover, managing the evolution of architectural design decisions helps to maintain consistency between requirements and the deployed system. In this paper, we create the Triple View Model (TVM) as a general architecture framework for documenting architectural design decisions. The TVM clarifies the notion of architectural design decisions in three different views and covers key features of the architecting process. Based on the TVM, we propose a scenario-based methodology (SceMethod) to manage the documentation and evolution of architectural design decisions. We also conduct a case study on an industrial project to validate the applicability and the effectiveness of the TVM and the SceMethod. The results show they provide complete documentation on architectural design decisions for creating a system architecture, and well support architecture evolution with changing requirements.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"30 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":"129856378","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
Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings 网络中的共识:网络物理系统的协调与控制,从无人驾驶车辆到节能建筑
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 根据需求对架构过程的影响对需求进行排序,从而促进软件架构设计
M. Galster, A. Eberlein
{"title":"Facilitating Software Architecting by Ranking Requirements Based on their Impact on the Architecture Process","authors":"M. Galster, A. Eberlein","doi":"10.1109/ECBS.2011.18","DOIUrl":"https://doi.org/10.1109/ECBS.2011.18","url":null,"abstract":"Ranking software requirements helps decide what requirements to implement during a software development project, and when. Currently, requirements ranking techniques focus on resource constraints or stakeholder priorities and neglect the effect of requirements on the software architecture process. However, the order in which requirements are implemented impacts the process of creating architectures and should therefore be chosen carefully. Thus, this paper presents a method for ranking requirements with a focus on the impact of requirements on the architecture process. The proposed method uses stakeholder input and architecture-relevant requirements attributes to create a ranking of requirements. A case study is presented to evaluate the usefulness of the method.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"448 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":"128126322","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}
引用次数: 6
Model Composition in Rosetta 罗塞塔模型组成
N. Frisby, M. Peck, Mark Snyder, P. Alexander
{"title":"Model Composition in Rosetta","authors":"N. Frisby, M. Peck, Mark Snyder, P. Alexander","doi":"10.1109/ECBS.2011.34","DOIUrl":"https://doi.org/10.1109/ECBS.2011.34","url":null,"abstract":"We describe the various composition operations available in the Rosetta specification language, provide examples, and discuss reasoning compositionally about specified systems. Composing specifications allows for more than the usual benefits of modularity and re-use: reasoning about specifications also may rely explicitly on the nature of composition. Rosetta facilitates composition of differing views, called 'facets', of a system. This heterogeneous specification approach allows for separation of concerns and also admits any applicable multi-domain reasoning.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"25-28 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":"128933661","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}
引用次数: 3
Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks 通过生成的转换块简化语义丰富的模型转换
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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信