Computer Safety, Reliability and Security

17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

Häftad, Engelska, 1998

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP'98, held in Heidelberg, Germany, in October 1998. The 30 revised full papers were carefully reviewed and selected from numerous submissions. The book is divided in sections on formal methods: analysis and specification, management and human factors, security, medical informatics, formal methods: languages and verification, applications, formal methods: Petri nets, and reliability.

Produktinformation

Utgivningsdatum1998-09-23
Mått155 x 235 x 23 mm
Vikt633 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor404
Upplaga1998
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540651109

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och it
IT-säkerhet inom Data och it
Referensverk och tvärvetenskap inom Samhalle och politik
Programvaruutveckling inom Data och it
Systemvetenskap och AI inom Data och it

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.