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

679 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 undefined 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.

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Elektro-Fachkunde 2

Wilhelm Hille, Otto Schneider, Klaus Großmann, Knud Lensch

Häftad, 1991

520 kr

Del 5

Arbeitsvermittlung und Arbeitslosenversorgung in der neueren deutschen Rechtsgeschichte

Hans P. Benöhr

Inbunden, 1991

1 906 kr

John Dewey

Steven Rockefeller

Inbunden, 1991

3 210 kr

Black Book Publishers in the United States

Donald Franklin Joyce

Inbunden, 1991

795 kr

Analysis, Design and Evaluation of Man-Machine Systems 1992

H.G. Stassen

Inbunden, 1993

709 kr

Del 3

Gower's Confessio Amantis

Peter Nicholson

Inbunden, 1991

1 263 kr

Intelligent Components and Instruments for Control Applications 1992

E. F. Camacho, A. Ollero

Inbunden, 1993

703 kr

Life Itself

Robert Rosen

Inbunden, 1991

1 700 kr

Linguistic Theory

Robert De Beaugrande

Häftad, 1991

953 kr

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

679 kr

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

Beskrivning

Produktinformation

Utgivningsdatum:1991-10-14
Mått:156 x 234 x undefined 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.