Coverart for item
The Resource Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, edited by Floor Koornneef, Meine van der Meulen, (electronic resource)

Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, edited by Floor Koornneef, Meine van der Meulen, (electronic resource)

Label
Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
Title
Computer Safety, Reliability, and Security
Title remainder
19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
Statement of responsibility
edited by Floor Koornneef, Meine van der Meulen
Creator
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Member of
http://bibfra.me/vocab/relation/corporateauthor
u6nAgxynI_0
Dewey number
005.1
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • mop9cVocZyc
  • S_wP45Y3mDs
Image bit depth
0
Language note
English
LC call number
TK7885-7895
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
SAFECOMP 2000
Nature of contents
dictionaries
http://bibfra.me/vocab/lite/organizationName
SAFECOMP 2000
http://library.link/vocab/relatedWorkOrContributorName
  • SAFECOMP 2000
  • Koornneef, Floor.
  • Meulen, Meine van der.
Series statement
Lecture Notes in Computer Science,
Series volume
1943
http://library.link/vocab/subjectName
  • Computer science
  • Data encryption (Computer science)
  • Software engineering
  • Logic design
  • Computer Engineering
  • Computing Milieux
  • Cryptology
  • Software Engineering/Programming and Operating Systems
  • Special Purpose and Application-Based Systems
  • Logics and Meanings of Programs
Label
Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, edited by Floor Koornneef, Meine van der Meulen, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references at the end of each chapters and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
Invited Paper -- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems -- Verification and Validation -- Empirical Assessment of Software On-Line Diagnostics Using Fault Injection -- Speeding-Up Fault Injection Campaigns in VHDL Models -- Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs -- Validation of Control System Specifications with Abstract Plant Models -- A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software -- Expert Error: The Case of Trouble-Shooting in Electronics -- The Safety Management of Data-Driven Safety-Related Systems -- Software Support for Incident Reporting Systems in Safety-Critical Applications -- Software Process Improvement -- A Dependability-Explicit Model for the Development of Computing Systems -- Deriving Quantified Safety Requirements in Complex Systems -- Improving Software Development by Using Safe Object Oriented Development : OTCD -- A Safety Licensable PES for SIL 4 Applications -- Safety and Security Issues in Electric Power Industry -- Dependability of Computer Control Systems in Power Plants -- A Method of Analysis of Fault Trees with Time Dependencies -- Formal Methods -- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module -- Formal Methods: The Problem Is Education -- Formal Methods Diffusion: Past Lessons and Future Prospects -- Invited Paper -- Safe Tech: A Control Oriented Viewpoint -- Safety Guidelines, Standards and Certification -- Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems -- IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ?? -- Hardware Aspects -- An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems -- Programmable Electronic System Design & Verification Utilizing DFM -- SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller -- Safety Assessment I -- Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach -- Estimating Dependability of Programmable Systems Using BBNs -- Design for Safety -- Improvements in Process Control Dependability through Internet Security Technology -- A Survey on Safety-Critical Multicast Networking -- Invited Paper -- Causal Reasoning about Aircraft Accidents -- Transport & Infrastructure -- Controlling Requirements Evolution: An Avionics Case Study -- HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems -- Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components -- Safety Assessment II -- Risk Ordering of States in Safecharts -- Dependability Evaluation: Model and Method Based on Activity Theory -- Forensic Software Engineering and the Need for New Approaches to Accident Investigation
Dimensions
unknown
Edition
1st ed. 2000.
Extent
1 online resource (X, 438 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540408918
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/3-540-40891-6
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000211346
  • (SSID)ssj0000322112
  • (PQKBManifestationID)11937850
  • (PQKBTitleCode)TC0000322112
  • (PQKBWorkID)10281233
  • (PQKB)11151940
  • (DE-He213)978-3-540-40891-8
  • (MiAaPQ)EBC3072397
  • (EXLCZ)991000000000211346
Label
Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, edited by Floor Koornneef, Meine van der Meulen, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references at the end of each chapters and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
Invited Paper -- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems -- Verification and Validation -- Empirical Assessment of Software On-Line Diagnostics Using Fault Injection -- Speeding-Up Fault Injection Campaigns in VHDL Models -- Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs -- Validation of Control System Specifications with Abstract Plant Models -- A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software -- Expert Error: The Case of Trouble-Shooting in Electronics -- The Safety Management of Data-Driven Safety-Related Systems -- Software Support for Incident Reporting Systems in Safety-Critical Applications -- Software Process Improvement -- A Dependability-Explicit Model for the Development of Computing Systems -- Deriving Quantified Safety Requirements in Complex Systems -- Improving Software Development by Using Safe Object Oriented Development : OTCD -- A Safety Licensable PES for SIL 4 Applications -- Safety and Security Issues in Electric Power Industry -- Dependability of Computer Control Systems in Power Plants -- A Method of Analysis of Fault Trees with Time Dependencies -- Formal Methods -- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module -- Formal Methods: The Problem Is Education -- Formal Methods Diffusion: Past Lessons and Future Prospects -- Invited Paper -- Safe Tech: A Control Oriented Viewpoint -- Safety Guidelines, Standards and Certification -- Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems -- IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ?? -- Hardware Aspects -- An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems -- Programmable Electronic System Design & Verification Utilizing DFM -- SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller -- Safety Assessment I -- Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach -- Estimating Dependability of Programmable Systems Using BBNs -- Design for Safety -- Improvements in Process Control Dependability through Internet Security Technology -- A Survey on Safety-Critical Multicast Networking -- Invited Paper -- Causal Reasoning about Aircraft Accidents -- Transport & Infrastructure -- Controlling Requirements Evolution: An Avionics Case Study -- HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems -- Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components -- Safety Assessment II -- Risk Ordering of States in Safecharts -- Dependability Evaluation: Model and Method Based on Activity Theory -- Forensic Software Engineering and the Need for New Approaches to Accident Investigation
Dimensions
unknown
Edition
1st ed. 2000.
Extent
1 online resource (X, 438 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540408918
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/3-540-40891-6
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000211346
  • (SSID)ssj0000322112
  • (PQKBManifestationID)11937850
  • (PQKBTitleCode)TC0000322112
  • (PQKBWorkID)10281233
  • (PQKB)11151940
  • (DE-He213)978-3-540-40891-8
  • (MiAaPQ)EBC3072397
  • (EXLCZ)991000000000211346

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...