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

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

筛选
英文 中文
Using a timed Petri net (TPN) to model a bank ATM 使用定时Petri网(TPN)对银行ATM机进行建模
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.71
Tony Spiteri Staines
{"title":"Using a timed Petri net (TPN) to model a bank ATM","authors":"Tony Spiteri Staines","doi":"10.1109/ECBS.2006.71","DOIUrl":"https://doi.org/10.1109/ECBS.2006.71","url":null,"abstract":"This paper explains how a working Petri Net model developed for a soft real time system. A bank ATM connects to an ATM controller, which in turn connects to a card authorization system. This model is developed using timed Petri nets and there is the addition of other complex mechanisms that give more realistic behavior and a finer level of detailed events. More complex constructs like: timers, reset points, transaction timeouts, redundancy mechanisms and others are included. First we discuss how the model was built using a bottom up approach. Each of the main components of the system are identified and built using Petri nets. These are tested in isolation and then the complete system is assembled. This is similar to a bottom up approach. Once that the main model is built it is implemented on a simulation tool and used to derive performance results for the system. The final model is live and exhibits repetitive, consistent behavior. Results data have been included in tabular form and depicted graphically. These data show how it is possible to derive results for software and hardware performance using Petri Nets. This is quite exclusive because most software development methods like the UML and even formal techniques do not give us performance analysis and neither proper features for redundancy. To conclude it is possible to say that if good Petri Net simulation tools are available it is possible to use Petri Nets to describe soft real time systems in fine detail and analyze them. At present this cannot be easily achieved by many other techniques when the system involved has stringent synchronization requirements and timing constraints. The work presented here can be further developed","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"33 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":"131524613","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
WSN-based intelligent telematics system 基于wsn的智能远程信息处理系统
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.74
Jung-sick Byun, W. Shim, Won-Kee Hong
{"title":"WSN-based intelligent telematics system","authors":"Jung-sick Byun, W. Shim, Won-Kee Hong","doi":"10.1109/ECBS.2006.74","DOIUrl":"https://doi.org/10.1109/ECBS.2006.74","url":null,"abstract":"With the wireless communication network and location data, the existing telematics system provides various information services such as navigation, emergency service, and etc. In addition, it collects and exploits vehicle status through in-vehicle sensor network such as CAN and LIN (Kim et al., 2005). In this paper, WSN-based intelligent telematics system is presented that connects the telematics system and sensor network within the vehicle to the wireless sensor network (WSN) constructed on the road. It provides vehicles with the more intelligent real time services such as environment information on the road, car accident alarm and etc","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"19 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":"121850691","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
A goal-oriented approach for safety requirements specification 安全需求规范的目标导向方法
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.7
Elena Navarro, P. Sánchez, P. Letelier, J. A. Pastor, I. Ramos
{"title":"A goal-oriented approach for safety requirements specification","authors":"Elena Navarro, P. Sánchez, P. Letelier, J. A. Pastor, I. Ramos","doi":"10.1109/ECBS.2006.7","DOIUrl":"https://doi.org/10.1109/ECBS.2006.7","url":null,"abstract":"Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead us to consider that these systems are safety critical, i.e., systems where the strict management of safety aspects is vital. In this work, we introduce our proposal for the consideration of safety related requirements and their consequent trace to the desired final system architecture. For this reason, this paper gives a procedure for the identification and specification of safety requirements based on a goal oriented framework. Moreover, in this work other approaches have been considered and integrated to deal with well known safety standard recommendations. By means of an industrial case study, we show how this proposal can be used to consider safety requirements in tele-operated robotic systems and, by extrapolation, in other critical domains","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":"127683163","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}
引用次数: 5
Retrieving Software Components from a Heterogeneous Repository: a Semantic Syntactic Approach 从异构存储库中检索软件组件:一种语义语法方法
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.62
R. Pyne, E. Mugisa
{"title":"Retrieving Software Components from a Heterogeneous Repository: a Semantic Syntactic Approach","authors":"R. Pyne, E. Mugisa","doi":"10.1109/ECBS.2006.62","DOIUrl":"https://doi.org/10.1109/ECBS.2006.62","url":null,"abstract":"Software component retrieval is an area of active research in the field of component-based software engineering (CBSE). This paper presents a method that uses a semantic syntactic approach to retrieve components from a heterogeneous software repository called the software supermarket.","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"77 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":"116252053","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
Achieving reusability through interoperability 通过互操作性实现可重用性
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.19
Hamzullah Khan
{"title":"Achieving reusability through interoperability","authors":"Hamzullah Khan","doi":"10.1109/ECBS.2006.19","DOIUrl":"https://doi.org/10.1109/ECBS.2006.19","url":null,"abstract":"The scope of this paper is how we can achieve reusability by merging two different programming languages. The two entirely different languages, .Net and Java can be merged together to achieve huge benefits of reusability. It is basically achieved by combining an existing system of any language (.Net or Java) with the other language to give you a new product without changing your existing systems","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"108 11 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":"123042688","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}
引用次数: 2
A measurement-based analysis of the responsiveness of the Linux kernel Linux内核响应性的基于度量的分析
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.9
Matteo Marchesotti, R. Podestá, M. Migliardi
{"title":"A measurement-based analysis of the responsiveness of the Linux kernel","authors":"Matteo Marchesotti, R. Podestá, M. Migliardi","doi":"10.1109/ECBS.2006.9","DOIUrl":"https://doi.org/10.1109/ECBS.2006.9","url":null,"abstract":"Linux is not a real-time operating system, however it has been often recently used to implement soft real-time systems such as home multimedia centers. A quantitative study of the Linux kernel responsiveness to hardware interrupts has shown a huge variance in experimental results, however, we argue that a careful selection of the modules inserted in the kernel can greatly reduce this variance and produce a much more predictable system. In this paper, we focus on one of the major sources of unresponsiveness in the kernel, namely the presence of non-preemptible code sections, and we quantify its effects with a series of micro-benchmarks. Our extensive set of experiments allowed us to identify which Linux kernel's modules can cause erratic behavior with respect to the responsiveness of the Linux kernel to hardware interrupts","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"15 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":"122491615","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
Model checking procedures for infinite state systems 无限状态系统的模型检验程序
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.46
N. Bogunovic, E. Pek
{"title":"Model checking procedures for infinite state systems","authors":"N. Bogunovic, E. Pek","doi":"10.1109/ECBS.2006.46","DOIUrl":"https://doi.org/10.1109/ECBS.2006.46","url":null,"abstract":"The paper depicts experiments and results with predicate abstraction based verification applied to infinite state systems. Predicate abstraction is a method for automatic construction of abstract state space that can be used by any common finite state model checking tool, such as NuSMV. We have used abstract state space and NuSMV tool to verify safety properties of infinite state mutual exclusion protocols. Even though predicate abstraction allows model checking against a restricted class of temporal logic formulas, we have shown that the restricted class is expressive enough to specify basic safety properties. Our experiments were conducted on Bakery and Fischer mutual exclusion protocols","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":"126521709","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
A unified approach for verification and validation of systems and software engineering models 用于验证和确认系统和软件工程模型的统一方法
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.17
L. Alawneh, M. Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne
{"title":"A unified approach for verification and validation of systems and software engineering models","authors":"L. Alawneh, M. Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne","doi":"10.1109/ECBS.2006.17","DOIUrl":"https://doi.org/10.1109/ECBS.2006.17","url":null,"abstract":"We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm relies on an established synergy between three salient approaches, which are model-checking, program analysis, and software engineering techniques. To illustrate the accomplishment of our results, we have designed and implemented an integrated and automated computer-aided assessment tool. We provide three case studies for sequence, state machine, and class and package diagrams to demonstrate the benefits of our methodology","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"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":"130323517","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}
引用次数: 35
A modelling proposal for aspect-oriented software architectures 面向方面的软件架构的建模建议
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.12
Jennifer Pérez, Elena Navarro, P. Letelier, I. Ramos
{"title":"A modelling proposal for aspect-oriented software architectures","authors":"Jennifer Pérez, Elena Navarro, P. Letelier, I. Ramos","doi":"10.1109/ECBS.2006.12","DOIUrl":"https://doi.org/10.1109/ECBS.2006.12","url":null,"abstract":"Aspect-oriented programming (AOP) has emerged in recent years as a new paradigm for software development. PRISMA is an approach for developing complex and large software systems. It combines the aspect-oriented software development (AOSD) and the component-based software development (CBSD) in an elegant and novel way achieving a better management of crosscutting-concerns and software reusability. PRISMA approach proposes the separation of concerns from the very beginning of the software life-cycle in order to introduce them as reusable aspects of software architecture. PRISMA provides a framework to guide the development of complex and large software systems. The framework is composed by a modelling tool, a .NET middleware, and a compiler to automatically generate the application source code. In this paper, we present the modeling tool of the PRISMA framework and how it supports the reuse and maintenance improvements of the PRISMA model and its aspect- oriented description language (AOSD). We illustrate our proposal and modelling tool using a real-life case, the TeachMover robot","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"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":"130721232","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 evaluation of in-vehicle sensor network for Web based control 基于Web控制的车载传感器网络设计与评价
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.35
Tae-Hwan Kim, Seung-il Lee, Yong-Doo Lee, Won-Kee Hong
{"title":"Design and evaluation of in-vehicle sensor network for Web based control","authors":"Tae-Hwan Kim, Seung-il Lee, Yong-Doo Lee, Won-Kee Hong","doi":"10.1109/ECBS.2006.35","DOIUrl":"https://doi.org/10.1109/ECBS.2006.35","url":null,"abstract":"In the ubiquitous computing environment, it is expected that an intellectual vehicle with a capability of intelligence and communication has access to network and get useful information providing service. This requires a new network architecture and in-vehicle sensor network technology to support mobility of vehicle service. The mobility of vehicle service is to give users the vehicle services at any time and any where. In this paper, CDMA-based network architecture is designed for intelligent vehicle services of remote vehicle diagnosis and management. The intelligent vehicle is equipped with a vehicle gateway and in-vehicle sensor network. The performance of the proposed network structure in terms of the round trip time taken to get a vehicle service is evaluated. The experimental results show that the round trip time is appeared to be different when a vehicle is driven or not and where it is driven. It is 776ms when a vehicle is stopped, 707ms when a vehicle is driven in the rural area, and 910ms in the urban area","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"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":"130761094","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信