Für diesen Artikel ist leider kein Bild verfügbar.

Developing Safety Systems

Guide Using ADA

Ian Pyle (Autor)

Buch | Softcover

240 Seiten

1991
Prentice-Hall (Verlag)
978-0-13-204298-7 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

This text for senior level students looks at the different roles involved in producing and accepting safety-related systems and the corresponding human activities. It illustrates how Ada provides a framework in which the design rules for safety can be applied and confirmed.

This work looks at the different roles involved in producing and accepting safety-related systems and the corresponding human activities. It illustrates how Ada provides a framework in which the design rules for safety can be applied and confirmed, explains relationships, with major published guidelines for development, of safety-related software, interprets guidelines specifically for Ada and presents material for three contemporary viewpoints - analyzer, synthesiser and checker.

Responsibility; control systems; software for safety; safety requirements; analysis of safety and danger; software construction principles; software structure; logical design; physical design; checking principles; formal checks; inspection; testing; evidence for certification.

Erscheint lt. Verlag	1.1.1991
Zusatzinfo	bibliography, index
Verlagsort	Harlow
Sprache	englisch
Maße	174 x 234 mm
Gewicht	407 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Kryptologie
ISBN-10	0-13-204298-3 / 0132042983
ISBN-13	978-0-13-204298-7 / 9780132042987
Zustand	Neuware