Published November 1981 | Version v1
Journal article

Aspects and methods for reaching high reliability in software

Creators

  • 1. Kernforschungszentrum Karlsruhe G.m.b.H. (Germany, F.R.). Inst. fuer Datenverarbeitung in der Technik

Description

The development of process computer systems for the inspection and control of technical units with high reliability and safety requirements, requires the use of a range of complementary constructive and analytical procedures as well as the support of automatic software appliances. Particularly the first phase of the development process is dealt with, this being the demand analysis and the system design, as here steps can most effectfully improve the reliability of software. The test strategy is based on a number of tests during the entire development process. The build up of the typical automatic appliances is briefly described. (orig.)

Abstract (German)

Die Entwicklung von Prozessrechnersystemen zur Ueberwachung und Steuerung von technischen Anlagen mit hohen Zuverlaessigkeits- und Sicherheitsanforderungen benoetigt den Einsatz einer Reihe sich ergaenzender konstruktiver und analytischer Verfahren sowie die Unterstuetzung durch automatische Softwarewerkzeuge. Vor allem die ersten Phasen des Entwicklungsprozesses, das ist die Anforderungsanalyse und der Systementwurf, werden behandelt, da hier Massnahmen besonders effektvoll die Zuverlaessigkeit von Software verbessern koennen. Die Teststrategie geht von einer Vielzahl von Tests waehrend des gesamten Entwicklungsprozesses aus. Der Aufbau von typischen automatischen Werkzeugen wird kurz skizziert. (orig.)

Additional details

Additional titles

Original title (German)
Gesichtspunkte und Verfahren zum Erreichen hoher Zuverlaessigkeit von Software

Publishing Information

Journal Title
Qual. Zuverlaessigk.
Journal Volume
26
Journal Issue
11
Series
Qual. Zuverlaessigk.
Journal Page Range
333-338
ISSN
0033-5126

Conference

Title
INTERKAMA '80.
Dates
9 - 15 Oct 1980.
Place
Duesseldorf, Germany, F.R.