Functional Safety of Distributed Embedded Control Systems

This chapter deals with the functional safety of distributed embedded control systems following the component-based approach. The authors define a new concept of components called “Control Component” (CC) to cover all of the used technologies in industry. To guarantee the functional safety of distributed control software components, the authors define an agent-based architecture where an intelligent software agent is deployed in a device of the execution environment in order to apply local reconfiguration scenarios, and a coordination agent is used for inter-devices coordination in order to allow coherent reconfigurations. DOI: 10.4018/978-1-4666-0294-6.ch006

[1]  Merijn de Jonge.  Developing Product Lines with Third-Party Components , 2009, Electron. Notes Theor. Comput. Sci..

[2]  Christel Baier,et al.  Principles of model checking , 2008 .

[3]  Marcel Staroswiecki,et al.  Reconfiguration Analysis Using Generic Component Models , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[4]  Pradeep K. Khosla,et al.  Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects , 1997, IEEE Trans. Software Eng..

[5]  J. Paulo Davim.  Industrial Engineering: Concepts, Methodologies, Tools and Applications , 2013, Int. J. Manuf. Mater. Mech. Eng..

[6]  Rainer Faller.  Project experience with IEC 61508 and its consequences , 2004 .

[7]  Elena Troubitsyna,et al.  Formal development of software for tolerating transient faults , 2005, 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05).

[8]  H.-M. Hanisch,et al.  Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[9]  Volodymyr Vasyutynskyy,et al.  Software Agents in Industry: A Customized Framework in Theory and Praxis , 2009, IEEE Transactions on Industrial Informatics.

[10]  Ivica Crnkovic.  Component-based approach for embedded systems , 2004 .

[11]  Lan Yi,et al.  E-Business/ICT and Carbon Emissions , 2011 .

[12]  George A. Peters,et al.  Automotive Vehicle Safety , 2002 .

[13]  Hardik N. Soni,et al.  Continuous Review Inventory Model with Fuzzy Stochastic Demand and Variable Lead Time , 2012 .

[14]  Laura L. Pullum,et al.  Software Fault Tolerance Techniques and Implementation , 2001 .

[15]  Mohamed Khalgui,et al.  NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems , 2008, 2008 International Symposium on Industrial Embedded Systems.

[16]  Michael Winter,et al.  Components for embedded software: the PECOS approach , 2002, CASES '02.

[17]  Valeriy Vyatkin,et al.  OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation , 2005, IEEE Transactions on Industrial Informatics.

[18]  Paulo Leitão,et al.  Agent-based distributed manufacturing control: A state-of-the-art survey , 2009, Eng. Appl. Artif. Intell..

[19]  Christo Angelov,et al.  Design Models for Reusable and Reconfigurable State Machines , 2005, EUC.

[20]  Valeriy Vyatkin,et al.  A deployment of an ontology-based reconfiguration agent for intelligent mechatronic systems , 2007, 2008 IEEE International Symposium on Industrial Electronics.

[21]  Dietmar Dietrich,et al.  A New Model for Autonomous, Networked Control Systems , 2007, IEEE Transactions on Industrial Informatics.

[22]  Stephan Kreutzer,et al.  Extended Computation Tree Logic , 2010, LPAR.

[23]  Johan Fredriksson,et al.  An Industrial Evaluation of Component Technologies for Embedded-Systems 1 , 2004 .

[24]  H. Von Krosigk.  Functional safety in the field of industrial automation. The influence of IEC 61508 on the improvement of safety-related control systems , 2000 .

[25]  George Jiroveanu,et al.  A distributed approach for fault detection and diagnosis based on Time Petri Nets , 2006, Math. Comput. Simul..

[26]  Ki-Young Jeong,et al.  An Efficient VBA Spreadsheet Algorithm and Model for the System Optimum Traffic Assignment , 2012 .

[27]  Oscar Nierstrasz,et al.  A data-centric approach to composing embedded, real-time software components , 2005, J. Syst. Softw..

[28]  Wolfgang A. Halang,et al.  Distributed Embedded Control Systems: Improving Dependability with Coherent Design , 2008 .

[29]  Mohsen Shafiei Nikabadi,et al.  The Role of Total Productive Maintenance in Group Technology to Achieve World-Class Status , 2012 .

[30]  Robert W. Brennan,et al.  Contingencies-based reconfiguration of distributed factory automation , 2005 .

[31]  Jin-Wook Chung,et al.  A study on the classified model and the agent collaboration model for network configuration fault management , 2003, Knowl. Based Syst..