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
{"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}
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
现有的车载信息系统利用无线通信网络和位置数据，提供导航、应急服务等多种信息服务。此外，它还通过CAN和LIN等车载传感器网络收集和利用车辆状态(Kim et al.， 2005)。本文提出了一种基于无线传感器网络(WSN)的智能车载信息处理系统，将车载信息处理系统和传感器网络与道路上构建的无线传感器网络连接起来。它为车辆提供更智能的实时服务，如道路环境信息、车祸报警等
{"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}
Elena Navarro, P. Sánchez, P. Letelier, J. A. Pastor, I. Ramos
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
{"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}
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.
{"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}
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
{"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}
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
{"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}
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
{"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}
L. Alawneh, M. Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne
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
{"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}
Jennifer Pérez, Elena Navarro, P. Letelier, I. Ramos
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
{"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}
Tae-Hwan Kim, Seung-il Lee, Yong-Doo Lee, Won-Kee Hong
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
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：