Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems

Authors:	Vyatkin Valeriy, Martin Luther University, Germany Bouzon Gustavo, Federal University of Santa Catarina, Brazil Hanisch Hans-Michael, Martin Luther University, Germany
Topic:	5.1 Manufacturing Plant Control
Session:	Dependable Manufacturing Systems Control II
Keywords:	formal verification, visual specification, timing diagrams, Net Condition/Event systems

Abstract

This paper deals with further development of the timing-diagram based specification language destined for application in modular modeling of industrial automation systems. The results of this work are intended for application in formal verification of software intensive automation systems.