DocumentCode
2632717
Title
Performability analysis of formal graphical specifications
Author
Waedt, K. ; Richter, J. ; Graf, A. ; Mertens, U.
Author_Institution
KWU NL-R, Siemens AG, Erlangen, Germany
fYear
1995
fDate
24-26 Apr 1995
Firstpage
183
Lastpage
192
Abstract
The advantages of forward documentation with a toolkit for graphical block oriented specification of software and hardware for performability analysis and automation of safety critical technical processes are described. The main topics are the timing analysis and pre runtime scheduling employed by the distributed, responsive TELEPERM XS Digital Safety I&C for Nuclear Power Plants
Keywords
formal specification; nuclear engineering computing; performance evaluation; scheduling; Nuclear Power Plants; formal graphical specifications; forward documentation; performability analysis; pre runtime scheduling; responsive TELEPERM XS Digital Safety I&C; safety critical technical processes; timing analysis; toolkit; Automation; Documentation; Hardware; Performance analysis; Power generation; Runtime; Software performance; Software safety; Software tools; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Performance and Dependability Symposium, 1995. Proceedings., International
Conference_Location
Erlangen
Print_ISBN
0-8186-7059-2
Type
conf
DOI
10.1109/IPDS.1995.395833
Filename
395833
Link To Document