๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Recent Trends in the Development of Safety Critical Systems

โœ Scribed by Werner Damm

Book ID
108498368
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
31 KB
Volume
80
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A probabilistic logic for the developmen
A probabilistic logic for the development of safety-critical, interactive systems
โœ C.W. Johnson ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science โš– 704 KB

This paper starts from the premise that the human contribution to risk must be assessed during the development of safety-critical systems. In contrast to previous approaches, discrete numerical values are rejected as means of quantifying the probability of operator "error" for many different users o

Supporting software quality in an integr
Supporting software quality in an integrated safety-critical systems development environment
โœ B. Lees; D. G. Jenkins ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Springer US ๐ŸŒ English โš– 770 KB

Research is described, aimed to support traceability in the design of software for safety-critical applications, through the provision of an on-line design journal enabling design decisions and actions to be traced and recorded. The design environment, within which various software design tools may