Published May 1975
| Version v1
Report
Restricted
Proposal of programming standards for a computerized protection system
Creators
- 1. Technische Univ. Muenchen, Garching (F.R. Germany). Lab. fuer Reaktorregelung und Anlagensicherung
Description
In process computer systems with high safety and reliability requirements, correctness of the software has to be proved. During the development of a program specific guidelines should be met in order to facilitate the verification of its correctness. This paper is a collection of relevant proposals. (orig.)
Availability note (English)
MF available from INIS under the Report Number.Abstract (German)
In Prozessrechnersystemen mit hohen Sicherheitsanforderungen ist es notwendig, auch an die Software entsprechende Sicherheitsanforderungen zu stellen. Dies hat zur Folge, dass bei der Programmierung Richtlinien und Einschraenkungen befolgt werden muessen, damit ueber die Korrektheit der Programmierung und der Programme Aussagen gemacht werden koennen. Ein Katalog solcher Richtlinien wird hier vorgeschlagen. (orig.)
Files
Restricted
The record is publicly accessible, but files are restricted to users with access.
Additional details
Additional titles
- Original title (German)
- Vorschlaege zur Programmierrichtlinien fuer ein Reaktorschutzrechnersystem
Publishing Information
- Imprint Pagination
- 33 p.
- Report number
- KFK-EXT--13/75-2
INIS
- Country of Publication
- Germany
- Country of Input or Organization
- Germany
- INIS RN
- 6210360
- Subject category
- S22: GENERAL STUDIES OF NUCLEAR REACTORS;
- Descriptors DEI
- COMPUTERS; ON-LINE CONTROL SYSTEMS; PROGRAMMING; REACTOR PROTECTION SYSTEMS; RELIABILITY
- Descriptors DEC
- CONTROL SYSTEMS; ON-LINE SYSTEMS
Optional Information
- Notes
- 4 figs.; 19 refs.