Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.最新文献_第2页

Design and optimization of distributed control system using UML model 利用UML模型对分布式控制系统进行设计与优化

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316735

J. Kotzian, V. Srovnal

引用次数: 5

Performance analysis of embedded systems in the virtual component co-design environment 虚拟组件协同设计环境下嵌入式系统性能分析

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316683

P. Garg, Aseem Gupta, J. Rozenblit

{"title":"Performance analysis of embedded systems in the virtual component co-design environment","authors":"P. Garg, Aseem Gupta, J. Rozenblit","doi":"10.1109/ECBS.2004.1316683","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316683","url":null,"abstract":"Due to the increasing complexity of embedded systems in terms of functionality and architectural resources available to meet performance and cost criteria, there is an added responsibility on the designer to make the right choices. These choices can differ in terms of different hardware/software partitions, different types of architectural components, different communication architectures etc. and each choice meets certain performance metrics up to certain level. In this paper, we are exploring the design space to analyze different choices of design implementations by quantitative estimation of performance during simulation. Multicriteria decision making (MCDM) methods are used to rank our choices. To demonstrate the validity of the above exploration technique, a codesign tool from Cadence - virtual component codesign (VCC) is used. It gives us the flexibility to create the experimental frame setup and probes to measure the performance metrics during simulations. The tradeoffs between performance metrics are performed by MCDM. A safety critical example is chosen to demonstrate our approach.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122415356","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

Role-playing, group work and other ambitious teaching methods in a large requirements engineering course 在要求较高的工程课程中运用角色扮演、小组合作等教学方法

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316712

B. Al-Ani, N. Yusop

引用次数: 24

A formal approach for interoperability between mobile agent systems and component based architectures 一种在移动代理系统和基于组件的体系结构之间实现互操作性的正式方法

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316744

Ulrich Pinsdorf

引用次数: 2

Simulation and verification tool for hierarchical real-time systems 分层实时系统的仿真与验证工具

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316707

J. Sebestyénová

引用次数: 0

WASP: a radio geolocation system on highly resource constrained mobile platforms WASP:一种在资源高度受限的移动平台上的无线电地理定位系统

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316690

K. Chhokra, T. Bapty, J. Scott, S. Winberg, J. Sztipanovits, D. V. Rheeden, B. Abbott

引用次数: 0

IRIS: a semi-formal approach for detecting requirements interactions IRIS:用于检测需求交互的半正式方法

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316709

M. Shehata, A. Eberlein, A. Fapojuwo

{"title":"IRIS: a semi-formal approach for detecting requirements interactions","authors":"M. Shehata, A. Eberlein, A. Fapojuwo","doi":"10.1109/ECBS.2004.1316709","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316709","url":null,"abstract":"Requirements engineering is considered a critical phase of the software development life cycle. However, because of the complexity of today's projects, requirements often have a negative impact on each other. Requirements interaction detection is an important activity for the discovery of such unwanted interactions. Commonly used detection processes are oriented towards the telecommunication domain and are done using either human experts or formal approaches. This paper presents IRIS, which stands for identifying requirements interactions using semiformal methods. The novelty of IRIS is threefold: first, IRIS uses semiformal methods for the detection of interactions between requirements. This helps to fill in the gap between the commonly used informal and formal approaches. Secondly, IRIS is a domain independent approach, which means that it is not limited to the telecommunications domain but can be used in any field. Thirdly, IRIS has a basic core as well as extension hooks for future expansion through the creation of new plug-ins that can be attached to the hooks. This paper first presents an overview of IRIS along with its basic core. It then describes the customizability of IRIS through hooks and plug-ins. Finally it presents the customization of IRIS using different plug-ins for different domains as well as a summary of the results obtained from these domains.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121408661","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

The networked photo-enforcement and traffic monitoring system Unicam 网络照片执法和交通监控系统Unicam

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316727

Otto Fucík, P. Zemčík, Pavel Tupec, Ludek Crha, A. Herout

{"title":"The networked photo-enforcement and traffic monitoring system Unicam","authors":"Otto Fucík, P. Zemčík, Pavel Tupec, Ludek Crha, A. Herout","doi":"10.1109/ECBS.2004.1316727","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316727","url":null,"abstract":"The presented system (Unicam) offers a complex state-of-the-art machine vision equipment and technology to provide automated video image vehicle detection devices dedicated for traffic monitoring applications. The system provides real time video image capturing, digital signal processing, compression, storage, and transmission over communication interfaces. It uses proprietary artificial intelligence algorithms and special image processing modules to achieve highly accurate vehicles detection. According to the users' needs, the system can be used for detection of red-light violations at road intersections, speed measurement, traffic data collection, video recording, or surveillance. Yet another possible application of the system is surveys based on license plate recognition for transportation engineers, stolen car searching, or toll-tag data collection. The system functionality has been improved by coupling camera sensors with specialized real-time processing units and adding networking capability. Implementation of video detection algorithms, hardware design units, and networking features are also discussed.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128287558","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}

引用次数: 12

Domain independent generative modeling 领域无关的生成建模

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316679

B. Kusy, Á. Lédeczi, M. Maróti, P. Völgyesi

引用次数: 0

Symbolic model checking of UML statechart diagrams with an integrated approach 用集成方法检查UML状态图的符号模型

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316717

Vitus S. W. Lam, J. Padget

引用次数: 37