✦ LIBER ✦

Supporting software quality in an integrated safety-critical systems development environment

✍ Scribed by B. Lees; D. G. Jenkins

Book ID: 104768227
Publisher: Springer US
Year: 1996
Tongue: English
Weight: 770 KB
Volume: 5
Category: Article
ISSN: 0963-9314
DOI: 10.1007/bf00419775

No coin nor oath required. For personal study only.

✦ Synopsis

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 be encapsulated, enables protocol between the user and the design tools to be trapped. This provides software engineering support at the conceptual design stage. An important aim of the research is to enable inferences to be made from the captured protocol, for which the application of artificial intelligence methods is being investigated.

📜 SIMILAR VOLUMES

Integrating Safety Critical Software Sys

Integrating Safety Critical Software System in Probabilistic Safety Assessment

✍ Gopika Vinod; T.V. Santosh; R.K. Saraf; A.K. Ghosh 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 530 KB

In the recent times, computer-based systems are frequently used for protection and control of Nuclear Power Plants (NPPs). In the conventional Probabilistic Safety Assessment (PSA), the contribution from software in these computer-based systems was not given necessary attention. However, from operat

Issues in developing software for safety

Issues in developing software for safety critical systems

✍ John A. McDermid 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Integrated computer support in the softw

Integrated computer support in the software engineering environment EPOS — Possibilities of support in system development projects

✍ P. Lempp 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 754 KB

5506792 System for operating application

5506792 System for operating application software in a safety critical environment

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 119 KB

A laminated material for packaging containers comprising polyvinyl alcohol or other water-soluble, thermoplastic resin layers disposed on both sides of a paperboard base material layer and other thermoplastic synthetic resin layers laminated thereon. An aluminum foil layer 5 may be provided over a p

Software development and integration in

Software development and integration in a computer supported cooperative work environment

✍ Kai H. Chang; Liam Murphy; Jonathan D. Fouss; Timothy D. Dollar Ii; Byong G. Lee 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 340 KB 👁 2 views

This paper presents a prototype computer supported cooperative work (CSCW) environment that supports the engineering design process. In particular, this environment provides collaborative tools that support computer-aided design (CAD) and computer-aided software engineering (CASE). This paper takes

Quantitative evaluation of safety-critic

Quantitative evaluation of safety-critical software at the early development stage: an interposing logic system software example

✍ Han S. Son; Poong H. Seong 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 746 KB

In order to produce highly reliable software, designers and developers pay particular attention to the early development phases, that is, the requirement phase and the design phase. In this work, a few novel quantitative measures are suggested for estimating how much influence the development method