Safety of Computer Control Systems 1991

Safety, Security and Reliability of Computer Based Systems

AvJ.F. Lindeberg

Inbunden, Engelska, 1991

Del 8 i serien IFAC Symposia Series

685 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Containing 29 papers, this volume contributes to the literature published on the safety of computer systems. The papers cover all aspects - specification, development, analysis, verification, validation of hardware and software, as well as the problems involved in the reliability, availability and security of systems.

Produktinformation

Utgivningsdatum:1991-10-14
Mått:156 x 234 x 0 mm
Vikt:620 g
Format:Inbunden
Språk:Engelska
Serie:IFAC Symposia Series
Antal sidor:208
Förlag:Elsevier Science
ISBN:9780080416977

Utforska kategorier

Maskinteknik och material inom Naturvetenskap och teknik

Innehållsförteckning

Section headings and selected papers. Timing Aspects. Towards a common safety description model, R E Bloomfield et al. The formalization and analysis of a communications protocol, G Bruns & S Anderson. Applications. Improving software quality in a space application, A Pasquini. A software tool for fault-tolerant systems in the operational phase, K Sismail. Hardware. Applying programmable gate arrays to provide diversity in safety relevant systems, W A Halang & J M Schut. Some answers to the problem of safety in microprocessor-based devices, J Ph Gerardin et al. Assessment I. Using fault tree analysis in developing reliable software, E O Ovstedal. Synchronized local state diagram: a modelling methodology under development, P E Heegaard et al. Assessment II. Balancing reliability requirements for field devices and control logic modules in safety systems, L Bodsberg & P Hokstad. Classification of critical events in systems described by Grafcet using the Markov process, Z Abazi & T Peter. Specification and Development. An early warning method for safety-critical software development, A D Pengelly. A configuration management system for incremental delivery projects, F Redmill. Security. Security evaluation criteria, S J Knapskog. Information security issues in transaction systems applied to an integrated road traffic environment, B G Andersen. Verification and Validation. Software safety checks using stored tested paths, G Dahll. Models. Systematic software testing strategies as explanatory variables of proportional hazards, F Saglietti. The balancing of quality assurance against validation activities, T Stalhane. Author index. Keyword index.