Del 8 - IFAC Symposia Series

Safety of Computer Control Systems 1991

Safety, Security and Reliability of Computer Based Systems

Inbunden, Engelska, 1991

AvJ.F. Lindeberg,Norway) Lindeberg, J.F. (DELAB, Trondheim,J. F. Lindeberg

869 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum1991-10-14
Mått156 x 234 x 0 mm
Vikt620 g
FormatInbunden
SpråkEngelska
SerieIFAC Symposia Series
Antal sidor208
FörlagElsevier Science
ISBN9780080416977

Tillhör följande kategorier

Maskinteknik och material inom Naturvetenskap och teknik

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

Analysis, Design and Evaluation of Man-Machine Systems 1992

H.G. Stassen, The Netherlands) Stassen, H.G. (Delft University of Technology, Delft, H. G. Stassen

Inbunden

869 kr

Intelligent Components and Instruments for Control Applications 1992

E. F. Camacho, A. Ollero, Spain) Camacho, E. F. (University of Seville, A. (Spain) Ollero

Inbunden

869 kr

Del 7

Intelligent Tuning and Adaptive Control

R. Devanathan, Singapore) Devanathan, R. (School of Electrical and Electronic Engineering, Nanyang Technological University

Inbunden

869 kr

Del 13

Low Cost Automation 1992

P. Albertos, Peter Kopacek, Spain) Albertos, P. (Technical University of Valencia, Austria) Kopacek, Peter (Vienna University of Technology, IHRT, Favoritenstrasse, Vienna

Inbunden

869 kr

Del 13

Information Control Problems in Manufacturing Technology 1989

E.A. Puente, L. Nemes, Spain) Puente, E.A. (Departamento de Automatica Ingenieria Electronica e Informatica Industrial (DISAM), Universidad Politecnica de Madrid, Australia) Nemes, L. (CSIRO Division of Manufacturing Technology, Victoria, E. a. Puente

Inbunden

869 kr

Safety of Computer Control Systems 1991

Safety, Security and Reliability of Computer Based Systems

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Loading component...

Loading component...

Safety of Computer Control Systems 1991

Safety, Security and Reliability of Computer Based Systems

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Akademibokhandeln

Hjälp

Tjänster

Erbjudanden

Inspiration