发布求助
文献互助 智能选刊 最新文献

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems最新文献

筛选
英文 中文
UML-JMT: A Tool for Evaluating Performance Requirements UML-JMT:一个评估性能需求的工具
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.30
A. A. Abdullatif, R. Pooley
{"title":"UML-JMT: A Tool for Evaluating Performance Requirements","authors":"A. A. Abdullatif, R. Pooley","doi":"10.1109/ECBS.2010.30","DOIUrl":"https://doi.org/10.1109/ECBS.2010.30","url":null,"abstract":"Software performance assessment is a very important task especially in the architectural design stage of software development. Software engineers must be supplied with techniques and tools that will allow them to complete this task without the extra cost of hiring quality assurance experts. This paper proposes the UML-JMT tool which provides functionalities for studying the expected performance characterisations of an architectural design. The UML-JMT tool uses the architectural design models as building blocks for an equivalent performance extended queuing network model (ENQ). This ENQ will be solved and analysed using the tools available in the JMT suite. In this paper we will explain the theoretical and technical aspects of the UML-JMT tool and we will use an example to explain the performance study steps and validate the results of this tool.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133191788","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}
引用次数: 9
Fault Coverage Measurement of a Timed Test Case Generation Approach 一种定时测试用例生成方法的故障覆盖度量
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.22
Mohammad Saeed Abou Trab, S. Counsell
{"title":"Fault Coverage Measurement of a Timed Test Case Generation Approach","authors":"Mohammad Saeed Abou Trab, S. Counsell","doi":"10.1109/ECBS.2010.22","DOIUrl":"https://doi.org/10.1109/ECBS.2010.22","url":null,"abstract":"Ensuring that a Real-Time Embedded System(RTES) is absent of major faults that may affect the way it performs is a non-trivial task. RTES behaviour is based on the interactions with its surrounding environment and on the timing characteristics of that same environment. As a result, time poses 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 automata. 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 extend that work by validating the ‘priority-based’ approach according to a well-known timed fault model. The validation process shows promising results, notably, that the ‘priority-based’ approach is capable of detecting all the fault types included in the proposed fault model.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132909086","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
Evolving Critical Systems 演化中的关键系统
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.62
M. Hinchey, Lorcan Coyle
{"title":"Evolving Critical Systems","authors":"M. Hinchey, Lorcan Coyle","doi":"10.1109/ECBS.2010.62","DOIUrl":"https://doi.org/10.1109/ECBS.2010.62","url":null,"abstract":"Increasingly software can be considered to be critical, due to the business or other functionality which it supports. Upgrades or changes to such software are expensive and risky, primarily because the software has not been designed and built for ease of change. Expertise, tools and methodologies which support the design and implementation of software systems that evolve without risk (of failure or loss of quality) are essential. We address a research agenda for building software that (a) is highly reliable and (b) retains this reliability as it evolves, either over time or at run-time. We propose Evolving Critical Systems as an area for research to tackle the challenge and outline a number of scenarios to highlight some of the important research questions that should be asked of the community. Given that software evolution can be seen as a compromise between cost and risk, the most pressing question to ask is which processes, techniques and tools are most cost-effective for evolving critical systems?","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121335442","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
Top-Down Reuse for Multi-level Testing 自上而下的多级测试重用
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.23
Abel Marrero Pérez, Stefan Kaiser
{"title":"Top-Down Reuse for Multi-level Testing","authors":"Abel Marrero Pérez, Stefan Kaiser","doi":"10.1109/ECBS.2010.23","DOIUrl":"https://doi.org/10.1109/ECBS.2010.23","url":null,"abstract":"Multi-Level Testing is an emerging approach for test level integration through reuse. Its principal instrument, multi-level test cases, has only been considered in the context of bottom-up reuse to date. This test level integration strategy leads to excellent test effort reductions for embedded systems. However, bottom-up reuse is incapable of dealing with components featuring complex dynamic behavior. Top-down reuse is a novel test level integration approach that enables the reuse of test cases from higher test levels at lower test levels even in presence of complex dynamic behavior. With this practice, multi-level testing becomes applicable for a large set of new systems that can now benefit from great test effort reductions. In addition, test level design at the top test levels leads to system- and hence customer-oriented testing.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121411065","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
Component-Based Architecture for e-Gov Web Systems Development 基于组件的电子政务Web系统开发体系结构
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.60
Camilo Carromeu, D. M. B. Paiva, Maria Istela Cagnin, Hana K. Rubinsztejn, M. Turine, K. Breitman
{"title":"Component-Based Architecture for e-Gov Web Systems Development","authors":"Camilo Carromeu, D. M. B. Paiva, Maria Istela Cagnin, Hana K. Rubinsztejn, M. Turine, K. Breitman","doi":"10.1109/ECBS.2010.60","DOIUrl":"https://doi.org/10.1109/ECBS.2010.60","url":null,"abstract":"In spite of the wide coverage of Internet and the need for Web systems to support various governmental tasks, the Brazilian state of Mato Grosso do Sul (Central West region) did not have a technological infrastructure which was sufficient to meet these needs in 2001. This led to setting up the Laboratory of Software Engineering (LEDES) at the Department of Computing and Statistics (DCT), the current Computing Faculty (FACOM), at the Federal University of Mato Grosso do Sul (UFMS), which is now collaborating effectively with the state government providing technological solutions, especially in Web sites and Web applications (WebApps). Developing these solutions has made it possible to capture patterns, define flexible architecture and subsequently set up a process of a Software Product Line (SPL) to develop WebApps in e-gov domain, as well as create computational support tools which automatize this process. This paper presents such computational support tools, lessons learnt during the most relevant projects which have been developed since the creation of LEDES, and the architecture for e-gov web systems development, resultant from early experience.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114621735","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
Wireless Sensor Networking: The Pleasure and the Pain 无线传感器网络:快乐与痛苦
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.61
J. Mccann
{"title":"Wireless Sensor Networking: The Pleasure and the Pain","authors":"J. Mccann","doi":"10.1109/ECBS.2010.61","DOIUrl":"https://doi.org/10.1109/ECBS.2010.61","url":null,"abstract":"The demand for highly lightweight decentralised self-management of Wireless Sensor Networks (WSNs) has lead to the pursuit of emergent and bio-inspired solutions. I will introduce the WSN field briefly and highlight the aspects that differentiate it from 'normal' computing. I then present some of the research we have been doing in this field for decentralised network control and emergent systems management. Many of the algorithms produced to manage a WSN focus on one managerial aspect or parameter, limiting their usefulness and consuming already scarce resources. We have identified sets of common structures and elements of many well-known emergent algorithms. I present examples that exploit this to efficiently manage more than one managerial parameter or aspect. However, I also show how established evaluation methodologies are extremely misleading as when implementing the systems on actual devices we soon find some very unexpected results. I discuss this phenomenon, suggest causes and make some suggestions regarding the engineering of WSNs.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125791011","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
MATERA - An Integrated Framework for Model-Based Testing MATERA -一个基于模型的测试集成框架
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.46
Fredrik Abbors, A. Backlund, D. Truscan
{"title":"MATERA - An Integrated Framework for Model-Based Testing","authors":"Fredrik Abbors, A. Backlund, D. Truscan","doi":"10.1109/ECBS.2010.46","DOIUrl":"https://doi.org/10.1109/ECBS.2010.46","url":null,"abstract":"This paper presents MATERA, a framework that integrates modeling in the Unified Modeling Language (UML), with requirement traceability across a model-based testing (MBT) process. The Graphical User Interface (GUI) of MATERA is implemented as a plug-in in the NoMagic's MagicDraw modeling tool, combining existing capabilities of MagicDraw with custom ones. MATERA supports graphical specification of the requirements using SysML and tracing of them to the UML models specifying the SUT. Model validation is performed in MagicDraw using both predefined and custom validation rules. The resulting models are automatically transformed into input for the Conformiq Qtronic tool, used for automated test generation. Upon executing the test scripts generated by Qtronic in the NetHawk's East execution environment, the results of statistic analysis of the test run are presented in the GUI. The back-traceability of the covered requirements from test to models is also provided in the GUI to facilitate the identification of the source of possible errors in the models. The approach we present shows that existing model-based languages and tools are an enabler for model-based testing and for providing integrated tool support across the MBT process.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126663570","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}
引用次数: 18
Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture 基于cpld的新型故障安全系统架构安全功能的设计与实现
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.29
G. Grießnig, R. Mader, C. Steger, R. Weiss
{"title":"Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture","authors":"G. Grießnig, R. Mader, C. Steger, R. Weiss","doi":"10.1109/ECBS.2010.29","DOIUrl":"https://doi.org/10.1109/ECBS.2010.29","url":null,"abstract":"In the case of a fault fail-safe systems achieve and maintain a safe state for people, environment and property. These systems are usually realized using microcontroller-based architectures. With respect to cost per unit and development effort for fail-safe systems, industry has to consider new approaches. An option is to realize simple safety functions using architectures that include CPLDs. A novel hardware architecture for embedded fail-safe systems is the outcome of recent research efforts at SIEMENS. This architecture is homogeneously redundant and contains, in contrast to similar systems, exclusively two CPLDs instead of microcontrollers. This paper is presenting design and implementation of the very first fail-safe system based on this architecture. This system targets the market of industrial automation. The fail-safe system enhances a power converter with safety functions. To achieve the required safety integrity, adequate measures able to detect random and permanent faults, are implemented. The novel fail-safe system adheres to the draft of the second edition of the IEC 61508, which includes requirements for the realization of safety functions using CPLDs, the IEC 61800-5-2 and the EN ISO 13849.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125275974","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
Formalizing MapReduce with CSP 用CSP形式化MapReduce
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.50
F. Yang, Wen Su, Huibiao Zhu, Qin Li
{"title":"Formalizing MapReduce with CSP","authors":"F. Yang, Wen Su, Huibiao Zhu, Qin Li","doi":"10.1109/ECBS.2010.50","DOIUrl":"https://doi.org/10.1109/ECBS.2010.50","url":null,"abstract":"As a programming model, MapReduce is popularly and widely used in processing and generating large cluster of data sets distributed on large amount of machines. With its widespread use, its validity and other major properties need to be analyzed in a formal framework. In this paper, a formal model is presented using CSP method. We focus on the dominant parts of MapReduce and formalize them in detail. Through this formal model, the processing and function of each component can be clearly reflected. Moreover, we illustrate this formal model by an example computation. The result reflects the validity of MapReduce in some appropriate applications.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132575094","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}
引用次数: 21
Guiding Architectural Restructuring through Architectural Styles 通过建筑风格指导建筑重构
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.15
D. Tamzalit, T. Mens
{"title":"Guiding Architectural Restructuring through Architectural Styles","authors":"D. Tamzalit, T. Mens","doi":"10.1109/ECBS.2010.15","DOIUrl":"https://doi.org/10.1109/ECBS.2010.15","url":null,"abstract":"Software architectures constitute one of the main artefacts of software-intensive system development. They outline the essential components and interconnections of a software system at a high level of abstraction, ignoring unnecessary details. How to address the evolution of software architectures, however, is still an important topic of current research. In this article, we use UML 2 as architectural description language notation and formalise it with graph transformation, with a proof-of-concept implemented in the AGG tool. We use this formalisation to express and reason about architectural evolution patterns that introduce architectural styles.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130046170","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}
引用次数: 28
首页 上一页 下一页 尾页
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学术官方微信