Title: Safety of computer control systems 1986 (Safecomp '86) : trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986
Abstract: (partial) Software Quality Assurance: Some thoughts on software quality assurance, K Fruhauf. Quantitative assessment of safe and reliable software, B Runge. Modelling system quality, A A Kaposi & B A Kitch nham. Programmable electronic systems safety: standards and principles, S R Nunns et al . Software Fault Tolerance: A recovery block model and its analysis, S D Cha. Diversity - some considerations about its benefits and limitations, F Saglietti & W Ehrenbe ger. Error recovery in multi-version software, K S Tso et al . Multi-version software development, J P J Kelly et al . Fault-Tolerant Distributed Systems: The joint algorithm: ordering messages in replicated systems, L Mancini & G Pappala do. Protection of shared resources, F Malabocchia & L Simonci i. A proposal for distributed commitment and abort of multi-site transactions in a multi-microprocessor system, P Ancilotti et al . Safe and Reliable Architectures: Self-checking circuits: from theory to practice, M Nicolaidis & B Courtoi . Knowledge Based Approach to Safety: Data base coherence: LRC language commutative convergence, J-F Hery & J C Laleu . Man-Machine Interface: Toward fault-tolerant man-machine interfaces, R A Maxion. Design for Safety: Engineering software safety, W J Quirk. Reliability and Safety Assessment: Dependability prediction: comparison of tools and techniques, M Mulazzani & K Trivedi Test and Qualification: Basic qualification concepts for instrumentation and control systems, F A Monaco. Author index. Subject index.
Publication Year: 1986
Publication Date: 1986-01-01
Language: en
Type: book
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot