Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622900
Ibrahim F. Jasim, P. Plapper
In this paper, we address the control problem of a constrained robotic manipulators with their constraints continuously switched from one to another. Such a switching in the constraints causes a switching function to be inserted in the equation of the robot dynamics which may cause transient instability for the overall system. Two robust control strategies are presented in this paper to handle such switched robotic systems. In the first strategy, we assume that the bounds of the constraints are known. A sliding mode stabilizing controller is developed that can guarantee global stable performance of the given robotic system. In the second one, we relax the assumption of knowing the constraints bounds through deriving update laws for those bounds and new control actions that can guarantee global stable performance under such switching constraints. Simulation is performed for a two link robotic system having two switching constraints. The results obtained from the simulation verify the efficacy of the suggested control strategy.
{"title":"Adaptive sliding mode control of switched constrained robotic manipulators","authors":"Ibrahim F. Jasim, P. Plapper","doi":"10.1109/INDIN.2013.6622900","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622900","url":null,"abstract":"In this paper, we address the control problem of a constrained robotic manipulators with their constraints continuously switched from one to another. Such a switching in the constraints causes a switching function to be inserted in the equation of the robot dynamics which may cause transient instability for the overall system. Two robust control strategies are presented in this paper to handle such switched robotic systems. In the first strategy, we assume that the bounds of the constraints are known. A sliding mode stabilizing controller is developed that can guarantee global stable performance of the given robotic system. In the second one, we relax the assumption of knowing the constraints bounds through deriving update laws for those bounds and new control actions that can guarantee global stable performance under such switching constraints. Simulation is performed for a two link robotic system having two switching constraints. The results obtained from the simulation verify the efficacy of the suggested control strategy.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"7 1","pages":"305-310"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90812236","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622859
Wei Li, Bernhard Esders, Matthias Breier
Due to the complex structure and the great variability of printed circuit boards (PCBs), an accurate analysis of their material composition and consequently an efficient recycling is currently hardly possible. Facing these problems, we proposed an automated PCB recycling system with a core component for the information retrieval. As a first step towards automated recycling based on a comprehensive analysis of PCBs, the segmentation of surface-mounted devices (SMDs) was presented in this paper. Inspired by the technical background of SMDs, they were divided into two main groups: 1. small devices, such as resistors, capacitors, and 2. integrated circuits (ICs). Then assembly print-based segmentation and color distribution-based segmentation were carried out for the two groups respectively. In comparison to device template-based and solder joint-based approaches, our approach is more flexible and more reliable with respect to the variability of devices and the erosion or soiling of solder joints. As confirmed by the evaluation, satisfying results were obtained. The approach was also evaluated for different imaging conditions so that improved performance can be achieved using appropriate imaging settings.
{"title":"SMD segmentation for automated PCB recycling","authors":"Wei Li, Bernhard Esders, Matthias Breier","doi":"10.1109/INDIN.2013.6622859","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622859","url":null,"abstract":"Due to the complex structure and the great variability of printed circuit boards (PCBs), an accurate analysis of their material composition and consequently an efficient recycling is currently hardly possible. Facing these problems, we proposed an automated PCB recycling system with a core component for the information retrieval. As a first step towards automated recycling based on a comprehensive analysis of PCBs, the segmentation of surface-mounted devices (SMDs) was presented in this paper. Inspired by the technical background of SMDs, they were divided into two main groups: 1. small devices, such as resistors, capacitors, and 2. integrated circuits (ICs). Then assembly print-based segmentation and color distribution-based segmentation were carried out for the two groups respectively. In comparison to device template-based and solder joint-based approaches, our approach is more flexible and more reliable with respect to the variability of devices and the erosion or soiling of solder joints. As confirmed by the evaluation, satisfying results were obtained. The approach was also evaluated for different imaging conditions so that improved performance can be achieved using appropriate imaging settings.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"55 1","pages":"65-70"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74993744","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622871
Tiago Semprebom, A. R. Pinto, C. Montez, F. Vasques
In some Wireless Sensor Network (WSN) applications, it may be necessary to keep a large number of nodes sensing and transmitting data to a base station in order to have unbiased measurement values. Therefore, in addition to the traditional energy consumption issues, the spatial diversity of the monitored area is another relevant metric to evaluate the performance of a WSN. Nevertheless there is a clear trade-off between these two parameters, as keeping the sensors active all the time will deplete the nodes batteries and therefore will shorten the network lifetime. Fortunately, for the case of some applications it is possible to specify as a Quality of Service (QoS) parameter the number of periodically expected messages in the base station. Therefore, it will be possible to balance QoS against energy consumption. This paper proposes an approach called (m,k)-Gur Game that aims a trade-off between the expected QoS and the spatial coverage diversity. Simulation results show the effectiveness of the proposed approach.
{"title":"Energy consumption and spatial diversity trade-off in autonomic Wireless Sensor Networks: The (m,k)-Gur Game approach","authors":"Tiago Semprebom, A. R. Pinto, C. Montez, F. Vasques","doi":"10.1109/INDIN.2013.6622871","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622871","url":null,"abstract":"In some Wireless Sensor Network (WSN) applications, it may be necessary to keep a large number of nodes sensing and transmitting data to a base station in order to have unbiased measurement values. Therefore, in addition to the traditional energy consumption issues, the spatial diversity of the monitored area is another relevant metric to evaluate the performance of a WSN. Nevertheless there is a clear trade-off between these two parameters, as keeping the sensors active all the time will deplete the nodes batteries and therefore will shorten the network lifetime. Fortunately, for the case of some applications it is possible to specify as a Quality of Service (QoS) parameter the number of periodically expected messages in the base station. Therefore, it will be possible to balance QoS against energy consumption. This paper proposes an approach called (m,k)-Gur Game that aims a trade-off between the expected QoS and the spatial coverage diversity. Simulation results show the effectiveness of the proposed approach.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"17 1","pages":"135-140"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75517112","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622854
D. Tan, Gi-Yeop Lee, Dong-Seong Kim
This paper proposes a distributed relay assignment scheme with interference limitation for industrial wireless networks that exploits cooperative diversity to cope with problems of wireless channels and to enhance the reliability of data transmission. By combining the selection and incremental relaying schemes and by taking the channel status information and queue length at each node into account, the cooperative scheme improves the packet dropped ratio and end-to-end delay due to retransmissions. In addition, this paper also investigates the interference problem produced by the relay nodes. Simulation results conducted to evaluate the performance of the proposed scheme indicate that it effectively enhances the network performance in terms of the packet delivery ratio, energy consumption, and overall packet delay.
{"title":"Distributed relay assignment with interference limitation for industrial wireless networks","authors":"D. Tan, Gi-Yeop Lee, Dong-Seong Kim","doi":"10.1109/INDIN.2013.6622854","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622854","url":null,"abstract":"This paper proposes a distributed relay assignment scheme with interference limitation for industrial wireless networks that exploits cooperative diversity to cope with problems of wireless channels and to enhance the reliability of data transmission. By combining the selection and incremental relaying schemes and by taking the channel status information and queue length at each node into account, the cooperative scheme improves the packet dropped ratio and end-to-end delay due to retransmissions. In addition, this paper also investigates the interference problem produced by the relay nodes. Simulation results conducted to evaluate the performance of the proposed scheme indicate that it effectively enhances the network performance in terms of the packet delivery ratio, energy consumption, and overall packet delay.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"317 1","pages":"36-41"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75697101","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622928
G. Zhabelova, Sandeep Patil, Chen-Wei Yang, V. Vyatkin
This paper presents implementation of the Distributed Grid Intelligence (DGI) applications such as Intelligent Fault Management and Load Balancing using IEC61499 reference architecture. This enables system level design of distributed applications with a direct pathway to deployment to hardware. The use of IEC 61499 improves scalability, re-configurability and maintainability of automation software. Both applications were verified using co-simulation approach: control and power system simulated on PCs, and power system simulation on a PC networked with the number of distributed hardware running control algorithm. Both DGI applications were deployed to commercial programmable automation devices and embedded controllers. The use of IEC 61499 facilitates deployment of hardware independent function block model to the variety of compliant hardware. The paper also discusses distributed SCADA concept with IEC61499 implemented with the so-called Composite Automation Type (CAT) function blocks which combine functional and visual components. These blocks are used to implement human-machine interface of the FREEDM Smart Grid demonstrator reacting on plugging and unplugging of energy resources.
{"title":"Smart Grid applications with IEC 61499 reference architecture","authors":"G. Zhabelova, Sandeep Patil, Chen-Wei Yang, V. Vyatkin","doi":"10.1109/INDIN.2013.6622928","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622928","url":null,"abstract":"This paper presents implementation of the Distributed Grid Intelligence (DGI) applications such as Intelligent Fault Management and Load Balancing using IEC61499 reference architecture. This enables system level design of distributed applications with a direct pathway to deployment to hardware. The use of IEC 61499 improves scalability, re-configurability and maintainability of automation software. Both applications were verified using co-simulation approach: control and power system simulated on PCs, and power system simulation on a PC networked with the number of distributed hardware running control algorithm. Both DGI applications were deployed to commercial programmable automation devices and embedded controllers. The use of IEC 61499 facilitates deployment of hardware independent function block model to the variety of compliant hardware. The paper also discusses distributed SCADA concept with IEC61499 implemented with the so-called Composite Automation Type (CAT) function blocks which combine functional and visual components. These blocks are used to implement human-machine interface of the FREEDM Smart Grid demonstrator reacting on plugging and unplugging of energy resources.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"108 1","pages":"458-463"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74648901","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622981
Florian Fortmann, A. Lüdtke
Building and maintaining Situation Awareness (SA) during supervisory control of a swarm of highly automated Unmanned Aerial Vehicles (UAV) is a complex and visually demanding process, which is often affected by weak scanning behaviors of the human operators. As a consequence severe errors, such as incorrect decisions, are likely to occur. This paper presents an Intelligent SA-Adaptive Interface (ISAAI) for supervisory control of a UAV swarm, which aims at optimizing the scanning behavior of a human operator with regard to his/her actual SA-needs. Therefore, the ISAAI integrates an eye movement based technique to assess human operator SA during mission execution and a technique for guiding visual attention to relevant but unattended information.
{"title":"An intelligent SA-adaptive interface to aid supervisory control of a UAV swarm","authors":"Florian Fortmann, A. Lüdtke","doi":"10.1109/INDIN.2013.6622981","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622981","url":null,"abstract":"Building and maintaining Situation Awareness (SA) during supervisory control of a swarm of highly automated Unmanned Aerial Vehicles (UAV) is a complex and visually demanding process, which is often affected by weak scanning behaviors of the human operators. As a consequence severe errors, such as incorrect decisions, are likely to occur. This paper presents an Intelligent SA-Adaptive Interface (ISAAI) for supervisory control of a UAV swarm, which aims at optimizing the scanning behavior of a human operator with regard to his/her actual SA-needs. Therefore, the ISAAI integrates an eye movement based technique to assess human operator SA during mission execution and a technique for guiding visual attention to relevant but unattended information.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"84 1","pages":"768-773"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73144877","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622895
Pablo Gomez Perez, W. Beer, B. Dorninger
Remote access to plant/machine HMIs has always been an area of great interest. A broad range of well-established solutions is available to fulfill the various tasks from remote operation to remote maintenance (e.g., VNC). Depending on the regarded solution, there are more or less strong demands on the respective client device. In the course of the gaining popularity of cloud computing-especially the gaming on demand sector-a potentially attractive alternative arises with remote rendering of applications based on video streaming. In our paper we provide insights in our efforts of developing a first prototype of a such a video streaming based solution and discuss the suitability of the approach in an industrial context.
{"title":"Remote rendering of industrial HMI applications","authors":"Pablo Gomez Perez, W. Beer, B. Dorninger","doi":"10.1109/INDIN.2013.6622895","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622895","url":null,"abstract":"Remote access to plant/machine HMIs has always been an area of great interest. A broad range of well-established solutions is available to fulfill the various tasks from remote operation to remote maintenance (e.g., VNC). Depending on the regarded solution, there are more or less strong demands on the respective client device. In the course of the gaining popularity of cloud computing-especially the gaming on demand sector-a potentially attractive alternative arises with remote rendering of applications based on video streaming. In our paper we provide insights in our efforts of developing a first prototype of a such a video streaming based solution and discuss the suitability of the approach in an industrial context.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"2 1","pages":"276-281"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72848654","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622915
Giovanni Di Orio, G. Cândido, J. Barata, S. Scholze, Oliver Kotte, D. Stokic
The manufacturing processes of today are caught between the growing needs for quality, high process safety, efficiency in manufacturing process, reduced time-to-market and higher productivity. In order to meet these demands, more and more manufacturing companies are betting on the application of intelligent and more integrated monitoring and control solution to reduce maintenance problems, production line downtimes and reduction of manufacturing operational costs while guarantying a more efficient management of the manufacturing resources. In this scenario, the research currently done under the scope of the Self-Learning Production Systems (SLPS) tries to fill these gaps by providing a new and integrated way for developing monitoring and control solutions based on novel technologies and especially on self-adaptive, context awareness and data mining techniques. This paper introduces the research background that has driven the design of the generic SLPS architecture and focuses on the Adapter component responsible for adapting the system behaviour according to the actual operative context. The proposed Adapter architecture together with its core components are introduced as well as the generic adaptation process, or rather, the way the Adapter adapt the system behaviour to cope with the current context. Finally, to demonstrate the applicability of the SLPS methodology into real industrial context as well as the Adapter capabilities to learn and evolve along system lifecycle an application scenario is presented.
{"title":"Self-Learning Production Systems (SLPS) - Optimization of manufacturing process parameters for the shoe industry","authors":"Giovanni Di Orio, G. Cândido, J. Barata, S. Scholze, Oliver Kotte, D. Stokic","doi":"10.1109/INDIN.2013.6622915","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622915","url":null,"abstract":"The manufacturing processes of today are caught between the growing needs for quality, high process safety, efficiency in manufacturing process, reduced time-to-market and higher productivity. In order to meet these demands, more and more manufacturing companies are betting on the application of intelligent and more integrated monitoring and control solution to reduce maintenance problems, production line downtimes and reduction of manufacturing operational costs while guarantying a more efficient management of the manufacturing resources. In this scenario, the research currently done under the scope of the Self-Learning Production Systems (SLPS) tries to fill these gaps by providing a new and integrated way for developing monitoring and control solutions based on novel technologies and especially on self-adaptive, context awareness and data mining techniques. This paper introduces the research background that has driven the design of the generic SLPS architecture and focuses on the Adapter component responsible for adapting the system behaviour according to the actual operative context. The proposed Adapter architecture together with its core components are introduced as well as the generic adaptation process, or rather, the way the Adapter adapt the system behaviour to cope with the current context. Finally, to demonstrate the applicability of the SLPS methodology into real industrial context as well as the Adapter capabilities to learn and evolve along system lifecycle an application scenario is presented.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"5 1","pages":"386-391"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73400606","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622869
B. Klöpper, Natalie Cranston, M. Aleksy, Marcel Dix
Industrial applications from areas like automation, process control, or power controls have a very long-life time up-to 30 years or even more. Supporting applications developed for such life-times cannot rely on the availability of the hardware the application was originally developed on. Especially FPGA families are updated approximately every 12-18th months. This presents a major challenge if functionality in such long-living applications has to be realized on FPGAs (e.g. for performance reasons): How to avoid considerable re-development efforts when replacing obsolete hardware? Concepts for developing portable FPGA applications that can be easily migrated to new hardware are of crucial importance to answer this challenge. In this paper we review and evaluate different approaches for developing portable FPGA applications.
{"title":"Developing portable FPGA applications - A literature review","authors":"B. Klöpper, Natalie Cranston, M. Aleksy, Marcel Dix","doi":"10.1109/INDIN.2013.6622869","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622869","url":null,"abstract":"Industrial applications from areas like automation, process control, or power controls have a very long-life time up-to 30 years or even more. Supporting applications developed for such life-times cannot rely on the availability of the hardware the application was originally developed on. Especially FPGA families are updated approximately every 12-18th months. This presents a major challenge if functionality in such long-living applications has to be realized on FPGAs (e.g. for performance reasons): How to avoid considerable re-development efforts when replacing obsolete hardware? Concepts for developing portable FPGA applications that can be easily migrated to new hardware are of crucial importance to answer this challenge. In this paper we review and evaluate different approaches for developing portable FPGA applications.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"55 1","pages":"123-128"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85190870","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}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622976
M. Batteux, T. Prosvirnova, A. Rauzy, L. Kloul
“Traditional” risk modeling formalisms (e.g. FMEA, Fault Trees, Markov Processes, etc.) are well mastered by safety analysts. Efficient algorithms and tools are available. However, models designed with these formalisms are far from the specifications of the systems under study. They are consequently hard to design and to maintain throughout the life cycle of systems. The high-level modeling language AltaRica has been created to tackle this problem. The objective of the AltaRica 3.0 project is to design a new version of AltaRica, and to develop a complete set of authoring, simulation and assessment tools to perform safety analyses: virtual experiments on systems, via models, calculation of different kinds of reliability indicators, etc. AltaRica 3.0 improves significantly the expressive power of AltaRica Data-Flow without decreasing the efficiency of its assessment algorithms. Prototypes of a Fault Tree compiler, a stochastic and a stepwise simulators have been already developed. Other tools are under specification or implementation.
{"title":"The AltaRica 3.0 project for model-based safety assessment","authors":"M. Batteux, T. Prosvirnova, A. Rauzy, L. Kloul","doi":"10.1109/INDIN.2013.6622976","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622976","url":null,"abstract":"“Traditional” risk modeling formalisms (e.g. FMEA, Fault Trees, Markov Processes, etc.) are well mastered by safety analysts. Efficient algorithms and tools are available. However, models designed with these formalisms are far from the specifications of the systems under study. They are consequently hard to design and to maintain throughout the life cycle of systems. The high-level modeling language AltaRica has been created to tackle this problem. The objective of the AltaRica 3.0 project is to design a new version of AltaRica, and to develop a complete set of authoring, simulation and assessment tools to perform safety analyses: virtual experiments on systems, via models, calculation of different kinds of reliability indicators, etc. AltaRica 3.0 improves significantly the expressive power of AltaRica Data-Flow without decreasing the efficiency of its assessment algorithms. Prototypes of a Fault Tree compiler, a stochastic and a stepwise simulators have been already developed. Other tools are under specification or implementation.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"36 1","pages":"741-746"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85547214","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
扫码关注我们
求助内容：
应助结果提醒方式：