Safety of Computer Control Systems: Safety, Security and Reliability of Computer Based Systems: 1991: Safety, Security and Reliability of Computer Based Systems

International Federation of Automatic Control , J.F. Lindeberg

Editura: Pergamon
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.
  • Limba : Engleza
  • Cuprins : 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 Develo
  • Data Publicarii : 14 Oct 1991
  • Format : Hardback
  • Numar pagini : 200
  • ISBN : 9780080416977
Rating:
146.99 Lei
Disponibilitate : 2-4 saptamani

Acest titlu este disponibil in stocul furnizorilor okian.ro si poate fi livrat in 2-4 saptamani.