Computer Safety, Reliability and Security
Editat de Wolfgang Ehrenbergeren Limba Engleză Paperback – 23 sep 1998
Preț: 328.29 lei
Preț vechi: 410.37 lei
-20%
Puncte Express: 492
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540651109
ISBN-10: 3540651101
Pagini: 420
Ilustrații: XVI, 404 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.63 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540651101
Pagini: 420
Ilustrații: XVI, 404 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.63 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Formal Methods I - Analysis and Specification.- CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.- An Agenda for Specifying Software Components with Complex Data Models.- Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns.- Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.- Linking Hazard Analysis to Formal Specification and Design in B.- Management and Human Factors.- Controlling Your Design through Your Software Process.- Operator Errors and Their Causes.- Security.- A Performance Comparison of Group Security Mechanisms.- Towards Secure Downloadable Executable Content: The JAVA Paradigm.- Model and Implementation of a Secure SW-Development Process for Mission Critical Software.- Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems.- Medical Informatics.- “Profit by Safety” or Quackery in Biomedical Information Technology?.- Formal Methods II - Languages and Verification.- Towards Automated Proof of Fail-Safe Behavior.- Verifying a time-triggered protocol in a multi-language environment.- Methods and Languages for Safety Related Real Time Programming.- ANSI-C in Safety Critical Applications Lessons-Learned from Software Evaluation.- Applications.- A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.- Applying Formal Methods in Industry The UseGat Project.- Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture.- Fault-Tolerant Communication in Large-Scale Manipulators.- Distributed Fault Tolerant and Safety Critical Applications in Vehicles - A Time-Triggered Approach.- Model Checking Safety Critical Software with SPIN: anApplication to a Railway Interlocking System.- EURIS, a Specification Method for Distributed Interlockings.- Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.- Formal Methods III - Petri Nets.- Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.- Safety Verification of Software Using Structured Petri Nets.- Reliability.- Refinement of Safety-Related Hazards into Verifiable Code Assertions.- Conceptual Comparison of two Commonly Used Safeguarding Principles.- A Holistic View on the Dependability of Software-Intensive Systems.- Verifying Integrity of Decision Diagrams.