2011 6th International Conference on Industrial and Information Systems最新文献_第3页

Statechart based modeling and controller implementation of complex reactive systems 基于状态图的复杂反应系统建模与控制器实现

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038120

A. Vidanapathirana, S. Dewasurendra, S. Abeyratne

{"title":"Statechart based modeling and controller implementation of complex reactive systems","authors":"A. Vidanapathirana, S. Dewasurendra, S. Abeyratne","doi":"10.1109/ICIINFS.2011.6038120","DOIUrl":"https://doi.org/10.1109/ICIINFS.2011.6038120","url":null,"abstract":"Statechart formalism has been a preferred choice for modeling complex reactive systems (CRS) in recent years. It has inbuilt powerful features of orthogonality, hierarchy, intermodular communication and history. Once statechart based system modeling is done the next issues to be addressed are (1) modular verification of the system for failsafe operation under all possible working conditions (2) progressive controller implementation together with the supervisory control while maintaining traceability and re-configurability and (3) facilitation of controller adaptation for progressive incorporation of security features and supervisory specifications. An elevator system was designed and built to reflect exigencies of a typical CRS hardware/software platform. A controller was designed to meet the above requirements and tested on the platform to validate the feasibility of model-based control design/verification methodology for real scale systems. Modularity was achieved by developing the statechart model of the plant into a tree of communicating language generators. Progresively verified modules were then translated into sequential function charts (SFC) which were finally integrated to form a complete flat SFC. The SFC was then implemented on a PLC platform (Telemechanique). The program was first validated in simulation using Telemechanique “Twidosuite” for different operating conditions and finally tested on the elevator system.","PeriodicalId":353966,"journal":{"name":"2011 6th International Conference on Industrial and Information Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126407322","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

Using microkernel based virtualization for Byzantine fault tolerance 使用基于微内核的虚拟化实现拜占庭式容错

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038037

Asanka Senevirathna, Bhathiya Wasala, Buddhika Ranaweera, D. Elkaduwe

{"title":"Using microkernel based virtualization for Byzantine fault tolerance","authors":"Asanka Senevirathna, Bhathiya Wasala, Buddhika Ranaweera, D. Elkaduwe","doi":"10.1109/ICIINFS.2011.6038037","DOIUrl":"https://doi.org/10.1109/ICIINFS.2011.6038037","url":null,"abstract":"A Byzantine fault is a failure that cannot be identified by observing the output of a component; the component produces a wrong result as opposed to not producing a result at all or producing a result that can be identified as wrong. Such faults may be caused by a number of causes including software bugs and malicious attacks. Tolerating such faults is essential for a critical system. Isolated replication and majority voting is a well established technique to tolerate Byzantine faults. Current implementations of such systems either uses replicated hardware or software virtualization — using virtual machine monitors — to get the illusion of hardware replication to tolerate Byzantine faults. In this paper, we investigate the possibility of using microkernel technology to achieve the isolated replication and discuss the features of a microkernel API suitable for such a deployment. The advantage of our approach is that it reduces the cost of additional hardware or avoid the complexity of virtualization required to mimic hardware replication. We used a single machine, running the L4 microkernel to provide the isolation required for the replicas. All replicas run in parallel and majority voting is performed to obtain the correct result in the presence of Byzantine faults. We selected the AES encryption algorithms for our case study and faults were deliberately injected to replicas to mimic Byzantine behavior. Our experiments show that it is feasible to use microkernels technology for this purpose.","PeriodicalId":353966,"journal":{"name":"2011 6th International Conference on Industrial and Information Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116734556","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}

引用次数: 0

Selective load control to provide primary frequency response in the wake of introducing new large thermal power plants to Sri Lanka 在斯里兰卡引进新的大型火力发电厂后，选择性负荷控制提供初级频率响应

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038067

Kamalanath Samarakoon, J. Ekanayake

{"title":"Selective load control to provide primary frequency response in the wake of introducing new large thermal power plants to Sri Lanka","authors":"Kamalanath Samarakoon, J. Ekanayake","doi":"10.1109/ICIINFS.2011.6038067","DOIUrl":"https://doi.org/10.1109/ICIINFS.2011.6038067","url":null,"abstract":"A simple low cost smart socket is proposed to switch off fridges, fans and air-conditioners thus providing primary frequency response. When the power system frequency is dropping, the smart sockets switch off the appliances plugged into the sockets. As these appliances are switched off at higher frequencies than existing loading shedding frequency, the frequency drop after a loss of generation can be reduced. When the frequency drop is reduced, it minimises the risk of cascade tripping of thermal generators that are usually operated at tight frequency limits and the risk of damaging transformers and induction motors in transmission system and in electrical appliances. The effect of the load control is simulated using a model tuned to Sri Lankan system. The model was modified to replicate an actual frequency event occurred in Sri Lanka. The reduced frequency drop minimises the operation of existing load shedding scheme which deny power to all consumers. The appliances switched off in this method are non-critical and hence, unlike existing load shedding schemes. this scheme does not cause economic loss due to loss of production of industry.","PeriodicalId":353966,"journal":{"name":"2011 6th International Conference on Industrial and Information Systems","volume":"8 23","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113946489","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

A hybrid reactive routing protocol for Mobile Ad-hoc Networks 移动自组织网络的混合反应路由协议

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038070

Thabotharan Kathiravelu, S. Sivasuthan

引用次数: 9

Understanding of partial discharge activity in transformer oil under transient voltages adopting acoustic emission technique 用声发射技术研究暂态电压下变压器油局部放电活动性

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038048

Appalabathula Venkatesh, M. Danikas, R. Sarathi

引用次数: 3

HEATSMART: An interactive application aware thermal management framework for MPSoC embedded systems HEATSMART:用于MPSoC嵌入式系统的交互式应用感知热管理框架

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038040

Jude Angelo Ambrose

{"title":"HEATSMART: An interactive application aware thermal management framework for MPSoC embedded systems","authors":"Jude Angelo Ambrose","doi":"10.1109/ICIINFS.2011.6038040","DOIUrl":"https://doi.org/10.1109/ICIINFS.2011.6038040","url":null,"abstract":"Multiprocessor System-on-Chip (MPSoC) is emerging as an integral component in embedded systems, such as mobile phones, PDAs, handheld medical devices, etc. Due to its immense processing power and incumbent hardware resources the users are able to execute multiple concurrent applications. The more applications the MPSoC executes the more heat it dissipates. Such eminent heat dissipation damages the device and induces faults, causing a shorter life span. Thus, thermal aware designs are of utmost important for durable and dependable embedded devices. The MPSoC could potentially control and manage the heat dissipation using techniques such as computation migration. However, this would be based on the operational behavior of the hardware, but not on the behavior of the applications mapped and executed on the hardware. We propose an interactive temperature management where the users are allowed to provide inputs to effectively manage the heat dissipation and at the same time are able to operate the applications according to their will. We propose and demonstrate a formal design methodology to assist the people involved during the design process.","PeriodicalId":353966,"journal":{"name":"2011 6th International Conference on Industrial and Information Systems","volume":"22 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131436630","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 brief review on upper extremity robotic exoskeleton systems 上肢机器人外骨骼系统研究综述

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038092

R. Gopura, K. Kiguchi, D. Bandara

{"title":"A brief review on upper extremity robotic exoskeleton systems","authors":"R. Gopura, K. Kiguchi, D. Bandara","doi":"10.1109/ICIINFS.2011.6038092","DOIUrl":"https://doi.org/10.1109/ICIINFS.2011.6038092","url":null,"abstract":"Robotic exoskeleton systems are one of the highly active areas in recent robotic research. These systems have been developed significantly to be used for the human power augmentation, robotic rehabilitation, human power assist, and haptic interaction in virtual reality. Unlike the robots used in industry, the robotic exoskeleton systems should be designed with special consideration since they directly interact with human user. In the mechanical design of these systems, movable ranges, safety, comfort wearing, low inertia, and adaptability should be especially considered. Controllability, responsiveness, flexible and smooth motion generation, and safety should especially be considered in the controllers of exoskeleton systems. Furthermore, the controller should generate the motions in accordance with the human motion intention. This paper briefly reviews the upper extremity robotic exoskeleton systems. In the short review, it is focused to identify the brief history, basic concept, challenges, and future development of the robotic exoskeleton systems. Furthermore, key technologies of upper extremity exoskeleton systems are reviewed by taking state-of-the-art robot as examples.","PeriodicalId":353966,"journal":{"name":"2011 6th International Conference on Industrial and Information Systems","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134034304","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}

引用次数: 110

Design of a dual band antenna for Bluetooth and HIPERLAN2 applications using genetic algorithm optimization 采用遗传算法优化设计一种适用于蓝牙和HIPERLAN2应用的双频天线

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038081

J. Jayasinghe, D. Uduwawala

引用次数: 8

Reconfigurable tapered slot antenna for wireless applications 用于无线应用的可重构锥形槽天线

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038034

H. Sharma, Mithilesh Kumar, G. Parmar

引用次数: 0

Real-time recognition of license plates of moving vehicles in Sri Lanka 斯里兰卡移动车辆车牌的实时识别

2011 6th International Conference on Industrial and Information Systems Pub Date : 2011-10-10 DOI: 10.1109/ICIINFS.2011.6038045

A. Wijetunge, D. Ratnaweera

引用次数: 10