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
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;
Conference_Titel :
Computer Performance and Dependability Symposium, 1995. Proceedings., International
Conference_Location :
Erlangen
Print_ISBN :
0-8186-7059-2
DOI :
10.1109/IPDS.1995.395833
