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

Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC SystemC系统构建中的收敛性与稳定性度量与优化

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.36

I. Aref, N. Ahmed, F. Salazar, K. Elgaid

引用次数: 1

Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle Buffers 利用空闲缓冲区设计片上网络路由器的功耗和面积效率

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.21

Khalid Latif, T. Seceleanu, H. Tenhunen

引用次数: 32

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

引用次数: 9

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

引用次数: 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

引用次数: 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

引用次数: 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

引用次数: 28