Model-checking for the functional safety of control component-based heterogeneous embedded systems

ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation

Volumn , Issue , 2009, Pages

  Khalgui, Mohamed ^a   Hanisch, Hans Michael ^a   Gharbi, Atef ^b  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

^b UNIVERSITY OF CARTHAGE   (Tunisia)

Author keywords

Agent based architecture; Automatic reconfiguration; Functional safety; Model checking; Software component

Indexed keywords

AGENT CONTROL; AGENT-BASED ARCHITECTURE; ARCHITECTURE DESCRIPTION LANGUAGES; AUTOMATIC RECONFIGURATION; COMPONENT-BASED TECHNOLOGY; COMPUTATION TREE LOGIC; CONTROL ACTIONS; CONTROL COMPONENTS; EMBEDDED CONTROL SYSTEMS; EVENT-TRIGGERED; EXECUTION ENVIRONMENTS; FUNCTIONAL PROPERTIES; FUNCTIONAL SAFETY; HARDWARE ERROR; HETEROGENEOUS EMBEDDED SYSTEM; MODEL CHECKER; PHYSICAL PROCESS; PRECEDENCE CONSTRAINTS; PRODUCTION SYSTEM; RUNTIMES; TIME TO MARKET; USER REQUIREMENTS; WHOLE SYSTEMS;

CONCURRENT ENGINEERING; EMBEDDED SYSTEMS; FACTORY AUTOMATION; QUERY LANGUAGES; SEMICONDUCTOR QUANTUM DOTS; SOFTWARE AGENTS; SURFACE CHEMISTRY;

MODEL CHECKING;

EID: 77949879491     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2009.5347106     Document Type: Conference Paper

References (25)

1. G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, and J. Sifakis, "An approach to modeling and verification of component based systems", in Current Trends in Theory and Practice of Computer Science, SOFSEM'07, 2007.
2. F. Schneider, S. M. Easterbrook, J. R. Callahan, and G. J. Holzmann, "Validating Requirements for Fault Tolerant Systems using Model Checking", in Third IEEE Conference on Requirements Engineering, 1998. IEEE Computer Society.
3. H.-M. Hanisch, P. Kemper, and A. Lder, "A modular and compositional approach to modeling and controller verifi-cation of manufacturing systems", in Proceedings of IFAC World Congress, China,, 1999.
4. I. Crnkovic and M. Larsson, "Building reliable component-based software systems", in Artech House, 2002. UK.
5. A. D. Fuxman, "A Survey of Architecture Description Languages", in Technical Report CSRG-407, Department of Computer Science, University of Toronto, 1999.
6. F. D. McKenzie, M. D. Petty, and Q. Xu, "Usefulness of Software Architecture Description Languages for Modeling and Analysis of Federates and Federation Architectures", in SCS Simulation journal, 2004.
7. IEC61499-1, Function Blocks for Industrial Process Measurements and Control Systems, International Standard IEC-TC65-WG6, 2003.
8. R. Lewis, "Modelling Control systems using IEC 61499", in Institution Of Engineering and Technology, 2001. UK.
9. V. Vyatkin, "IEC61499 Function Blocks for Embedded and Distributed Control Systems Design", in Book of ISAo3neida series, Instrumentation, Systems and Automation society, 2007.
10. V. Marik, V. Vyatkin, and A. Colombo, "Holonic and multi-agent systems in manufacturing", in Book from proceedings of HoloMAS'07 conference. Lecture Notes in Computer Science, Vol. 4659, Springer Verlag, 2007.
11. M. Khalgui and K. Thramboulidis, "An IEC61499-based Development Approach with Focus on the Deployment of Industrial Control Applications", in International Journal of Modelling, Identification and Control, 2008.
12. M. Khalgui, X. Rebeuf, and F. Simonot-Lion, "A deployment method of component based applications on distributed industrial control systems", in European Jounal of Automated Systems, Vol.41, Num.6, 2007.
13. M. Khalgui and X. Rebeuf, "An approach to implement a Programmable Logic Controller from Real-time Software Components", in International Journal of Industrial and Systems Engineering, Vol.3, Num.6, 2008.
14. Rockwell, http://www.holobloc.com, Rockwell automation, 2006.
15. D. B. Stewart, R. A. Volpe, and P. K. Khosla, "Design of dynamically Reconfigurable Real-Time Software Using Port-Based Objects", in IEEE Trans. On Software Engineering Vol. 23, NO. 12, pp. 759-776, 1997.
16. Arcticus, Rubus OS Reference Manual, Arcticus Systems, http://www.arcticus-systems.com/, 2009.
17. R. Van Ommering, "Building product populations with software components", in In Proceedings of the 24th international Conference on Software engineering, pages 255-265. ACM Press, 2002.
18. Philips-Global, "http://www.philips.com/", 2007.
19. Pecos-project, "www.pecos-project.org", 2009.
20. M. Rausch and H.-M. Hanisch, "Net condition/event systems with multiple condition outputs", in Symposium on Emerging Technologies and Factory Automation. Vol.1, pp.592-600., 1995.
21. E. M. Clarke, E. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications", in ACM Transactions on Programming Languages and Systems, Vol.8, N.2, 1986.
22. H.-M. Hanisch and A. Luder, "Modular Modelling of Closed-Loop Systems", in Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pp. 103-126,Germany,, 1999.
23. V. Vyatkin and H.-M. Hanisch, "Verification of Distributed Control Systems in Intelligent Manufacturing", in International Journal of Manufacturing Vol 14, N 1, pp. 123-136, 2003.
24. S. Roch, "Extended Computation Tree Logic", in Proceedings of the CESP2000 Workshop, number 140in Informatik Berichte, pages225-234, Germany, 2000.
25. S. Roch, "Extended Computation Tree Logic: Implementation and Application", in Proceedings of the AWPN2000 Workshop, Germany, 2000.