DocumentCode
3375478
Title
Correctness verification of concurrent controller specifications
Author
Schaefer, M.T.L. ; Klein, W.U.
Author_Institution
Siemens AG, Munchen, Germany
fYear
1992
fDate
7-10 Sep 1992
Firstpage
80
Lastpage
85
Abstract
An integrated design concept that focuses on the correctness of concurrent controllers is presented. This approach is based on the specification of concurrent tasks with the aid of structured flow charts. A new formal proceeding for the verification of the correct behavior is introduced. Algorithms reduce the verification process to a polynomial amount of computational effort. The method can be applied even for the design of large systems
Keywords
formal specification; formal verification; program verification; concurrent controller specifications; concurrent tasks specification; correct behaviour verification; correctness verification; integrated design concept; structured flow charts; Communication system control; Control systems; Data processing; Distributed control; Flowcharts; Hardware; Message passing; Petri nets; Power system modeling; Research and development;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1992., EURO-VHDL '92, EURO-DAC '92. European
Conference_Location
Hamburg
Print_ISBN
0-8186-2780-8
Type
conf
DOI
10.1109/EURDAC.1992.246261
Filename
246261
Link To Document