13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)最新文献

SET: interactive tool for learning and training scan-based DFT principles and their consequences to parameters of embedded system SET:用于学习和训练基于扫描的DFT原理及其对嵌入式系统参数的影响的交互式工具

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.65

Josef Strnadel, Z. Kotásek

引用次数: 0

An auto-configurable, and, adaptable, metric-driven cluster-head organisation for hybrid multi-hop routing 用于混合多跳路由的自动配置、自适应、度量驱动的簇头组织

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.23

Nikos Migas, W. Buchanan

引用次数: 0

Adaptive tracking in distributed wireless sensor networks 分布式无线传感器网络中的自适应跟踪

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.20

Lizhi Yang, Chuan Feng, J. Rozenblit, Haiyan Qiao

引用次数: 55

Guided architecture-based design optimisation of CBSs 指导基于架构的CBSs设计优化

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.44

David Livolsi, T. O'Neill, J. Leaney, M. Denford, K. Dunsire

{"title":"Guided architecture-based design optimisation of CBSs","authors":"David Livolsi, T. O'Neill, J. Leaney, M. Denford, K. Dunsire","doi":"10.1109/ECBS.2006.44","DOIUrl":"https://doi.org/10.1109/ECBS.2006.44","url":null,"abstract":"Computer-based systems (CBS) are becoming increasingly pervasive throughout society, continually increasing in complexity and cost as they are called upon to fulfil more and more complicated tasks. Unfortunately, multi-million dollar projects often fail because the systems are unreliable, inefficient, insecure and unmaintainable. The National Australia Bank's $409M software writedown and the failure of the $250M Australian Customs Service Integrated Cargo System are but two recent Australian examples. Clearly, systems must be built with a range of qualities such as reliability, performance and security, in addition to their required functionality, if they are to be successful. In other fields of engineering, such as aerospace and aeronautical engineering, where similar challenges of multiple conflicting requirements are faced, the approach of design optimisation has been found to be successful. This experience indicates that a similar approach of design optimisation also help to meet the challenges presented by the quality requirements of CBSs. This paper advances our work on design optimisation with an exploratory optimisation method that derives an architecture that best satisfies the system's quality requirements. The method allows a designer to explore possible architectures by repeatedly applying evolutions to an initial architecture, with the quality attributes of each architecture being collected throughout and providing feedback that guides the designer to the final optimal architecture. A prototype tool is also presented that implements this architecture-based optimisation method, using Avolution's industry-proven ABACUStrade toolset","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"52 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130709540","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

UMLintr: a UML profile for specifying intrusions UMLintr:用于指定入侵的UML概要文件

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.70

Mohammed Hussein, Mohammad Zulkernine

{"title":"UMLintr: a UML profile for specifying intrusions","authors":"Mohammed Hussein, Mohammad Zulkernine","doi":"10.1109/ECBS.2006.70","DOIUrl":"https://doi.org/10.1109/ECBS.2006.70","url":null,"abstract":"Specifications of non-functional requirements (NFR) such as security, safety, usability are as important as specification of functional requirements (FR). Non conformance to some NFR may render the whole software useless. There are many difficulties associated with the representation of NFR and the complexity of their subsequent validation. The main objective of this work is towards incorporating an important aspect of NFR, i.e., security from the very beginning of a software development process. In this paper, a framework is presented for specifying intrusion scenarios in the Unified Modeling Language (UML). We describe a UML profile called UMLintr (UML for intrusion specifications) that allows developers to specify intrusions using UML notations extended to suit the context of intrusion scenarios. The framework utilizes the expressiveness of UML and eliminates the need of using attack languages that are proposed only to describe attack scenarios. Since developers do not need to learn a separate language to describe attacks, the task of specifying intrusion scenarios becomes much easier. This approach also helps to avoid conflicting (e.g., security vs. usability), ambiguous, and redundant requirements. Examples are provided to show the usage of the proposed UML profile","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128891996","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}

引用次数: 56

An enhanced model for agent based requirement gathering and pre-system analysis 基于agent的需求收集和预系统分析的增强模型

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.24

P. Ranjan, A. Misra

引用次数: 11

Modeling and analysis of functionality in eHome systems: dynamic rule-based conflict detection eHome系统中功能的建模和分析:基于规则的动态冲突检测

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.48

Ibrahim Armaç, M. Kirchhof, Liviana Manolescu

{"title":"Modeling and analysis of functionality in eHome systems: dynamic rule-based conflict detection","authors":"Ibrahim Armaç, M. Kirchhof, Liviana Manolescu","doi":"10.1109/ECBS.2006.48","DOIUrl":"https://doi.org/10.1109/ECBS.2006.48","url":null,"abstract":"The domain of eHome systems is a special application-area for pervasive computing. Many different kinds of devices are introduced to the home area to provide functionality for enhanced comfort or security. A similar level of heterogeneity can be found at the software level: many different vendors supply eHome systems with drivers and services, which intend to compute sensor information and trigger devices in the eHome. This multi-level heterogeneity leads to system faults in terms of deadlocks and unpredictable or disillusioning behavior. We call these error conditions conflicts. Pervasive systems, especially eHome systems, is only useful and thus successful, if such conflicts can be handled properly. In this paper, we analyze eHome systems with respect to types of conflicts and discuss how conflicts can be detected. We show that the dynamic conflict detection is reasonable and possible by a rule-based conflict detection. The detection is well-founded on a formal specification and is seamlessly integrated into the paradigm of component-based software construction","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"21 1-2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132496713","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

Evaluating cognitive information complexity measure 评估认知信息复杂性测量

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.41

D. S. Kushwaha, A. Misra

引用次数: 16

Requirements engineering for the adviser portal bank system 顾问门户银行系统的需求工程

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.60

Jens Bæk Jørgensen, Kristian Bisgaard Lassen

引用次数: 4

A hybrid intrusion detection and visualization system 一种混合入侵检测和可视化系统

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI: 10.1109/ECBS.2006.8

Jianfeng Peng, Chuan Feng, J. Rozenblit

引用次数: 16