By Topic

Specification and verification of technical plant behavior with symbolic timing diagrams

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Preusse, S. ; Inst. of Comput. Sci., Univ. Halle-Wittenberg, Halle ; Hanisch, H.-M.

The specification of technical plant behavior is vitally important. It forms the basis for the draft of hardware and software and it serves the creation of documentation. Furthermore, the specification enables the engineer to verify the control software with a model-checking tool. In order to be able to provide the description of behavior correctly and without misunderstandings, it should be done formally. Temporal logics, like the Computation Tree Logic, offer an ideal solution for this purpose. However they are based on a complex theory. In order to use them anyway in practice the formal expressions have to be developed by automated procedures out of an intuitively understandable description. This contribution proposes a graphic-based method, which enables the user to create such a formal specification by the use of Symbolic Timing Diagrams.

Published in:

Design and Test Workshop, 2008. IDT 2008. 3rd International

Date of Conference:

20-22 Dec. 2008