J.F. Lindeberg (ed.)
Safety of Computer Control Systems 1991
Safety, Security and Reliability of Computer Based Systems Volume 8
Herausgeber: Lindeberg, J F
J.F. Lindeberg (ed.)
Safety of Computer Control Systems 1991
Safety, Security and Reliability of Computer Based Systems Volume 8
Herausgeber: Lindeberg, J F
- Gebundenes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
Andere Kunden interessierten sich auch für
- E F CamachoIntelligent Components and Instruments for Control Applications 199260,99 €
- H a PrimeMultilingual Glossary of Automatic Control Technology60,99 €
- Volkswagen Of AmericaVolkswagen Vanagon Repair Manual: 1980, 1981, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 1990, 1991122,99 €
- Suguru ArimotoControl Theory of Non-Linear Mechanical Systems182,99 €
- Nature-Inspired Optimization in Advanced Manufacturing Processes and Systems187,99 €
- Martti MäntyläKnowledge Intensive CAD120,99 €
- Jan Awrejcewicz (ed.)Modeling, Simulation and Control of Nonlinear Engineering Dynamical Systems147,99 €
-
-
-
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.
Produktdetails
- Produktdetails
- Verlag: Elsevier Science
- Seitenzahl: 208
- Erscheinungstermin: 14. Oktober 1991
- Englisch
- Gewicht: 620g
- ISBN-13: 9780080416977
- ISBN-10: 0080416977
- Artikelnr.: 68169231
- Verlag: Elsevier Science
- Seitenzahl: 208
- Erscheinungstermin: 14. Oktober 1991
- Englisch
- Gewicht: 620g
- ISBN-13: 9780080416977
- ISBN-10: 0080416977
- Artikelnr.: 68169231
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.
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.
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.
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.