Verifying functional and non-functional properties of manufacturing control systems

2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings

Volumn , Issue , 2011, Pages 41-46

  Preußse, Sebastian ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Closed loop systems; Safety; Software verification and validation; Specification languages; Temporal Logic

Indexed keywords

CONTROL SOFTWARE; FUNCTIONAL REQUIREMENT; INDUSTRIAL PRACTICES; INTEGRATED APPROACH; MANUFACTURING CONTROL SYSTEMS; NON FUNCTIONAL PROPERTIES; NON-FUNCTIONAL; SOFTWARE VERIFICATION AND VALIDATION; TECHNICAL LANGUAGES; TEMPORAL LOGIC FORMULA; TIMING DIAGRAMS;

CLOSED LOOP SYSTEMS; CONTROL SYSTEMS; MANUFACTURE; MODEL CHECKING; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC;

MATHEMATICAL MODELS;

EID: 80052122203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DCDS.2011.5970316     Document Type: Conference Paper

References (16)

1. T. Lukman, G. Godena, J. Gray, and S. Strmcnik, "Model-Driven Engineering of Industrial Process Control Applications," in 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Bilbao, Spain, 2010, index: MF-001333.
2. I. Hegny, M. Wenger, and A. Zoitl, "IEC 61499 based Simulation Framework for Model-Driven Production Systems Development," in 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Bilbao, Spain, 2010, index: MF-003565.
3. P. Wallner, "Highest Profit: Automatische Code-Generierung," openautomation REPORT, pp. 22-25, 2010.
4. C. Gerber, S. Preuße, and H.-M. Hanisch, "A Complete Framework for Controller Verification in Manufacturing," in 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Bilbao, Spain, 2010, index: MF-001279.
5. S. Preuße, C. Gerber, and H.-M. Hanisch, "Virtual Start-Up of Plants using Formal Methods," Int. J. of Modelling, Identification and Control (IJMIC), 2010, submitted for publication.
6. A. Holt and E. Klein, "A semantically-derived subset of English for hardware verification," in Meeting of the Association for Computational Linguistics (ACL), 1999, pp. 451-456.
7. S. Flake, W. Müller, and J. Ruf, "Structured English for Model Checking Specification," in Workshop of the Association for Computer Science (Gesellschaft für Informatik (GI)). Berlin: VDE Verlag, 2000, pp. 91-100.
8. M. Heiner, T. Mertke, and P. Deussen, "A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering," in Computer Science Reports 09/01, BTU Cottbus, May 2001, p. 65ff.
9. S. Preuße and H.-M. Hanisch, "Specification of Technical Plant Behavior with a Safety-Oriented Technical Language," in 7th IEEE International Conference on Industrial Informatics (INDIN), Cardiff, United Kingdom, June 2009, pp. 632-637.
10. H.-M. Hanisch and V. Vyatkin, "Application of Visual Specifications for Verification of Distributed Controllers," in IEEE Conference on Systems, Man and Cybernetics (SMC), Tucson, Ariz, USA, October 2001, pp. 646-651. (Pubitemid 34210751)
11. G. Bouzon, V. Vyatkin, and H.-M. Hanisch, "Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems," in 16th IFAC World Congress, Prague, Czech Republic, July 2005, pp. 208-221.
12. R. Schlör, "Symbolic Timing Diagrams: A Visual Formalism for Model Verification," Ph.D. dissertation, Fachbereich Informatik, Carlvon-Ossietzky Universität Oldenburg, 2001.
13. R. Schlör and W. Damm, "Specification and Verification of System-Level Hardware Designs using Timing Diagrams," in Proceedings of the European Conference on Design Automation. IEEE Computer Society Press, 1993, pp. 518-524.
14. S. Preuße and H.-M. Hanisch, "Specification and Verification of Technical Plant Behavior with Symbolic Timing Diagrams," in 3rd International Design & Test Workshop (IDT), Monastir, Tunisia, December 2008, pp. 313-318.
15. C. Gerber, "Implementation and Verification of Distributed Control Systems," Ph.D. dissertation, Martin-Luther-University, Halle (Saale), Germany, 2010.
16. P. Starke and S. Roch, "Analysing Signal-Net Systems," Informatikberichte, Humboldt-Universität zu Berlin, vol. 162, September 2002.