Safety, security and reliability related computers for the 1990s : Symposium : Selected papers

Content: 
IFAC SYMPOSIA SERIES, Page ii
Front Matter, Page iii
Copyright, Page iv
IFAC/EWICS/SARS SYMPOSIUM ON SAFETY OF COMPUTER CONTROL SYSTEMS (SAFECOMP'90): Safety, Security and Reliability Related Computers for the 1990s, Page v
PREFACE, Page vii, Barry Daniels
A FORMAL MODEL FOR SAFETY-CRITICAL COMPUTING SYSTEMS, Pages 1-6, A. Saeed, T. Anderson, M. Koutny
FORMAL APPROACH TO FAULTS IN SAFETY RELATED APPLICATIONS, Pages 7-12, J. Górski
PROVABLY CORRECT SAFETY CRITICAL SOFTWARE, Pages 13-18, A.P. Ravn, H. Rischel, V. Stavridou
ASPECTS OF PROVING COMPILER CORRECTNESS, Pages 19-24, B.v. Karger
A CONCEPT OF A COMPUTER SYSTEM FOR THE EXECUTION OF SAFETY CRITICAL LICENSABLE SOFTWARE PROGRAMMED IN A HIGH LEVEL LANGUAGE, Pages 25-30, W.A. Halang, Soon-Key Jung
MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC, Pages 31-36, G. Stålmarck, M. Säflund
LOGICAL FOUNDATIONS OF A PROBABILISTIC THEORY OF SOFTWARE CORRECTNESS, Pages 37-42, T. Grams
METHODS OF PROTECTION AGAINST COMPUTER VIRUSES, Pages 45-50, K. Gaj, K. Górski, R. Kossowski, J. Sobczyk
THE NEED FOR A STANDARD METHOD FOR COMPUTER SECURITY REQUIREMENTS ANALYSIS, Pages 49-53, R.J. Talbot
THE TESTING OF REAL-TIME EMBEDDED SOFTWARE BY DYNAMIC ANALYSIS TECHNIQUES, Pages 55-58, D. Hedley
THE ELEKTRA TESTBED: ARCHITECTURE OF A REAL-TIME TEST ENVIRONMENT FOR HIGH SAFETY AND RELIABILITY REQUIREMENTS, Pages 59-65, E. Schoitsch, E. Dittrich, S. Grasegger, D. Kropfitsch, A. Erb, P. Fritz, H. Kopp
SOFTWARE COVERAGE METRICS AND OPERATIONAL RELIABILITY, Pages 67-69, A. Veevers
QUALITY MEASUREMENT OF MISSION CRITICAL SYSTEMS, Pages 71-76, J.B. Wright, F. Fichot, C. Georges, M. Romain
SOFTWARE RELIABILITY ASSESSMENT — THE NEED FOR PROCESS VISIBILITY, Pages 77-82, C. Dale
ASSESSING SOFTWARE RELIABILITY IN A CHANGING ENVIRONMENT, Pages 83-88, T. Stålhane
DEPENDABILITY EVALUATION OF WATCHDOG PROCESSORS, Pages 89-94, P.J. Gil, J.J. Serrano, R. Ors, V. Santonja
PRACTICAL EXPERIENCE IN THE ASSESSMENT OF EXISTING SAFETY CRITICAL COMPUTER BASED SYSTEMS, Pages 95-98, B.W. Finnie, I.H.A. Johnston
METHODOLOGICAL ASPECTS OF CRITICS DURING SAFETY VALIDATION, Pages 99-103, G. List
SYMBAD: A SYMBOLIC EXECUTOR OF SEQUENTIAL ADA PROGRAMS, Pages 105-111, A. Coen-Porisini, F. De Paoli
TOOLS AND METHODOLOGIES FOR QUALITY ASSURANCE, Pages 113-118, U. Anders, E.-U. Mainka, G. Rabe
A COMPARISON OF STATIC AND DYNAMIC CONFORMANCE ANALYSES, Pages 119-124, M.A. Hennell, E. Fergus
COMPUTER BASED TRAINING FOR CONTINGENCY DECISIONS, Pages 125-130, K.H. Drager, H. Soma, R. Gulliksen
QUALITATIVE KNOWLEDGE IN A DIAGNOSTIC EXPERT SYSTEM FOR NUCLEAR POWER PLANT SAFETY, Pages 131-134, I. Obreja
MANAGEMENT OF COMPUTER-AIDED CONTROL SYSTEM DESIGN FROM CONCEPT TO FLIGHT TEST, Pages 135-144, B.N. Tomlinson, G.D. Padfield, P.R. Smith
THE HISTORY AND DEVELOPMENT OF COMPUTER BASED SAFETY SYSTEMS FOR OFFSHORE OIL AND GAS PRODUCTION PLATFORMS FROM THE SIXTIES TO THE PRESENT DAY, Pages 145-150, C.J. Goring
CONTROLLING SOFTWARE PRODUCTION, FROM A CUSTOMER POINT OF VIEW, Pages 151-155, F. Ficheux, Y. Mayadoux, C. Pain
THE IMPACT OF SOCIAL FACTORS ON ACCEPTABLE LEVELS OF SAFETY INTEGRITY, Pages 157-161, I.H.A. Johnston
SKILLS AND TECHNOLOGIES FOR THE DEVELOPMENT AND EVALUATION OF SAFETY CRITICAL SYSTEMS, Pages 163-171, J.A. McDermid
AUTHOR INDEX, Page 173
KEYWORD INDEX, Page 175
SYMPOSIA VOLUMES, Pages 177-178
WORKSHOP VOLUMES, Page 178