Cargando…
Safety of computer control systems, 1990 (SAFECOMP '90) : safety, security, and reliability related computers for the 1990s : proceedings of the IFAC/EWICS/SARS Symposium, Gatwick, UK, 30 October-2 November 1990 /
The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the last decade and identify skills and technologies required for continued development in the area. The papers cover the experiences gained fr...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , , , |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford, England :
Published for the International Federation of Automatic Control by Pergamon Press,
1990.
|
| Edición: | First edition. |
| Colección: | IFAC symposia series ;
1990, no. 17. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn896825767 | ||
| 003 | OCoLC | ||
| 005 | 20231120111909.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141124s1990 enka ob 101 0 eng d | ||
| 010 | |z 90007988 | ||
| 040 | |a OPELS |b eng |e rda |e pn |c OPELS |d N$T |d E7B |d YDXCP |d EBLCP |d DEBSZ |d OCLCO |d OCL |d OCLCO |d MERUC |d OCLCQ |d OCLCA |d OCLCE |d OCLCQ |d VLY |d OCLCQ |d COM |d OCLCO |d OCLCQ |d INARC |d OCLCO | ||
| 019 | |a 897647312 |a 1033694454 |a 1162050453 |a 1392128321 | ||
| 020 | |a 9781483298351 |q (electronic bk.) | ||
| 020 | |a 1483298353 |q (electronic bk.) | ||
| 020 | |z 9780080409535 | ||
| 020 | |z 0080409539 | ||
| 035 | |a (OCoLC)896825767 |z (OCoLC)897647312 |z (OCoLC)1033694454 |z (OCoLC)1162050453 |z (OCoLC)1392128321 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a TJ212.2 | |
| 072 | 7 | |a TEC |x 009000 |2 bisacsh | |
| 082 | 0 | 4 | |a 629.8/9 |2 22 |
| 245 | 0 | 0 | |a Safety of computer control systems, 1990 (SAFECOMP '90) : |b safety, security, and reliability related computers for the 1990s : proceedings of the IFAC/EWICS/SARS Symposium, Gatwick, UK, 30 October-2 November 1990 / |c edited by B.K. Daniels. |
| 250 | |a First edition. | ||
| 264 | 1 | |a Oxford, England : |b Published for the International Federation of Automatic Control by Pergamon Press, |c 1990. | |
| 300 | |a 1 online resource (xi, 175 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a IFAC symposia series ; |v 1990, number 17 | |
| 500 | |a "IFAC/EWICS/SARS Symposium on Safety of Computer Control Systems (SAFECOMP '90)"--Page v | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Safety of Computer Control Systems 1990 (SAFECOMP'90): Safety, Security and Reliability Related Computers; Copyright Page; PREFACE; Table of Contents; Part 1: MATHEMATICAL FORMALISMS; Chapter 1. A FORMAL MODEL FOR SAFETY-CRITICAL COMPUTING SYSTEMS; 1. INTRODUCTION; 2. DEVELOPMENT MODEL; 3. SPECIFICATION MODEL; 4. EXAMPLE SYSTEM; 5. SUMMARY AND CONCLUSIONS; Chapter 2. FORMAL APPROACH TO FAULTS IN SAFETY RELATED APPLICATIONS; INTRODUCTION; HIERERCHICAL VERIFICATION; FORMALIZATION OF FAULTY BEHAVIOURS; EXAMPLE; CONCLUSIONS; REFERENCES. | |
| 505 | 8 | |a Chapter 3. PROVABLY CORRECT SAFETY CRITICAL SOFTWARE1 Introduction; 2 Requirements Capture; 3 Program Specification; 4 Program Development; 5 The compiler; 6 Program dependability; 7 ProCoS and the draft 00-55; 8 Summary; Acknowledgements; References; Part 2: CORRECTNESS; Chapter 4. ASPECTS OF PROVING COMPILER CORRECTNESS; 1 Introduction; 2 Syntax; 3 Transition Rules for Simple; 4 The Transition system for AL; 5 Transition Rules for TAL; 6 Block Structured Sequences; 7 Wellformedness; 8 Translating TAL into AL; 9 Computing the Program Remainder; 10 Moving the instruction pointer. | |
| 505 | 8 | |a 11 The Equivalence Theorem12 Conclusions; References; Chapter 5. A CONCEPT OF A COMPUTER SYSTEM FOR THE EXECUTION OF SAFETY CRITICAL LICENSABLE SOFTWARE PROGRAMMED IN A HIGH LEVEL LANGUAGE; INTRODUCTION; SOFTWARE DEVELOPMENT FOR PROGRAMMABLE LOGIC CONTROLLERS; SEQUENTIAL FUNCTION CHARTS; THE SYSTEM CONCEPT; IMPLEMENTATION DETAILS; PROGRAMMING ENVIRONMENT; CONCLUSION; REFERENCES; Chapter 6. MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC; I. BOOLEAN MODELLING OF SYSTEMS; II. A NEW METHOD FOR ANALYZING PROPOSITIONAL FORMULAS; CONCLUSION; REFERENCES. | |
| 505 | 8 | |a Chapter 7. LOGICAL FOUNDATIONS OF A PROBABILISTIC THEORY OF SOFTWARE CORRECTNESSINTRODUCTION; LOGICAL PROBABILITY; FOUNDATIONS OF SOFTWARE DEPENDABILITY; SOFTWARE REDUNDANCY; FAILURE PROBABILITY OF l-OUT-OF-2 SYSTEMS; PROBABILITY OF CORRECTNESS: REDUNDANT SYSTEMS; PROGRAMMING EXPERIMENTS AND URN MODELS; REFERENCES; Part 3: ISSUES OF SECURITY; Chapter 8. METHODS OF PROTECTION AGAINST COMPUTER VIRUSES; 1 INTRODUCTION; 2 DEFINITION OF A COMPUTER VIRUS; 3 BASIC FUNCTIONAL BLOCKS OF A COMPUTER VIRUS; 4 CLASSIFICATION OF COMPUTER VIRUSES; 5 METHODS OF PROTECTION AGAINST VIRUSES. | |
| 505 | 8 | |a 6 FIGHTING AGAINST VIRUSES UNDER PC DOS7 VIRUS RESISTANCE AT THE OPERATING SYSTEM LEVEL; 8 PASSIVE PROTECTION; 9 ACTIVE PROTECTION; 10 CONCLUSIONS; Acknowledgements; References; Chapter 9. THE NEED FOR A STANDARD METHOD FOR COMPUTER SECURITY REQUIREMENTS ANALYSIS; INTRODUCTION; PROBLEMS WITH REQUIREMENTS DEFINITION; STANDARDS AND CASELAW -- A METHOD FOR SECURITY REQUIREMENTS ANALYSIS; THE NEED FOR SECURITY REQUIREMENTS ANALYSTS; SUMMARY AND CONCLUSIONS; REFERENCES; Chapter 10. THE TESTING OF REAL-TIME EMBEDDED SOFTWARE BY DYNAMIC ANALYSIS TECHNIQUES; INTRODUCTION; DYNAMIC ANALYSIS. | |
| 520 | |a The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the last decade and identify skills and technologies required for continued development in the area. The papers cover the experiences gained from specifying, creating, operating, and licensing computers in safety, security and reliability related applications. There are reviews of guidelines and industrial applications, with a section covering methods and tools used in designing, documenting, analysing, testing and assessing systems depend. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2011. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2011 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 546 | |a English. | ||
| 650 | 0 | |a Automatic control |x Data processing |x Reliability |v Congresses. | |
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 0 | |a Computers |x Reliability |v Congresses. | |
| 650 | 6 | |a Commande automatique |0 (CaQQLa)201-0035949 |x Informatique |0 (CaQQLa)201-0380011 |x Fiabilit�e |0 (CaQQLa)201-0379337 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a S�ecurit�e informatique |0 (CaQQLa)201-0061152 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a Ordinateurs |0 (CaQQLa)201-0071677 |x Fiabilit�e |0 (CaQQLa)201-0071677 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Engineering (General) |2 bisacsh | |
| 650 | 7 | |a Automatic control |x Data processing |x Reliability |2 fast |0 (OCoLC)fst00822706 | |
| 650 | 7 | |a Computer security |2 fast |0 (OCoLC)fst00872484 | |
| 650 | 7 | |a Computers |x Reliability |2 fast |0 (OCoLC)fst00872847 | |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a proceedings (reports) |2 aat |0 (CStmoGRI)aatgf300027316 | |
| 655 | 7 | |a Conference papers and proceedings |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 700 | 1 | |a Daniels, B. K., |e editor. | |
| 710 | 2 | |a International Federation of Automatic Control. | |
| 710 | 2 | |a European Workshop on Industrial Computer Systems. | |
| 710 | 2 | |a Safety and Reliability Society (Great Britain) | |
| 711 | 2 | |a SAFECOMP (Conference) |n (9th : |d 1990 : |c Gatwick, England) | |
| 776 | 0 | 8 | |i Print version: |t Safety of computer control systems, 1990 (SAFECOMP '90). |b First edition |z 0080409539 |w (DLC) 90007988 |w (OCoLC)22346300 |
| 830 | 0 | |a IFAC symposia series ; |v 1990, no. 17. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780080409535 |z Texto completo |