Safety of Computer Control Systems 1992 (Safecomp ' 92). Computer Systems in Safety-Critical Applications

Content: 
Front Matter, Page i
Copyright, Page ii
IFAC SYMPOSIUM ON SAFETY OF COMPTER CONTROL SYSTEMS 1992 (SAFECOMP\'92):Computer Systems in Safety-critical Applications, Page iii
PREFACE, Page v, Heinz H. Frey
A CASE STUDY IN THE ANALYSIS OF SAFETY REQUIREMENTS, Pages 1-6, Glenn Bruns, Stuart Anderson
Computer-Aided Specification and Verification of Process Control Software, Pages 7-12, Bernd Krämer, Wolfgang Halang
The Redundancy Specification in Configuration Languages, Pages 13-18, Pierre BBLAND, Anne-Marie DEPLANCHE
Specifying, Designing and Rapid Prototyping Computer Systems with Structured Petri Nets, Pages 19-24, Christof Ebert
A SAFETY SYSTEM FOR CLOSE INTERACTION BETWEEN MAN AND ROBOT, Pages 25-29, ALBERT-JAN BAERVELDT
A SIMPLE STRONGLY-FAIL-SAFE CIRCUIT USED AS BASIC CELL FOR DESIGNING SAFETY ARCHITECTURES, Pages 31-37, S. NORAZ, M. PRUNIER
A SINGLE-CHIP COMPUTER FOR ROBUST VARIABLE-STRUCTURE CONTROL OF LARGE-SCALE SAFETY-CRITICAL SYSTEMS, Pages 39-44, Norman E. Gough, Wolfgang A. Halang
A VIEW on COMPUTER SYSTEMS and their RELIABILITY in JAPAN, Pages 45-49, Takeshi Natsume, Yoshiko Hasegawa
A GENERIC FAILURE MODEL FOR DISTRIBUTED SYSTEMS, Pages 51-56, Francis Tam, Ranjib Badh
RECOVERY IN DISTRIBUTED SYSTEMS FROM SOLID FAULTS, Pages 57-62, Makhlouf ALIOUAT
FAULT TOLERANCE BY A DISTRIBUTED SOFTWARE CONTROL FOR A HIGH RELIABILITY, Pages 63-67, Emmanuelle RENAUX
THE VERIFICATION SUPPORT ENVIRONMENT VSE, Pages 69-74, Baur, T. Plasa, P. Kejwal, R. Drexler, W. Stephan, W. Reif, A. Wolpers, D. Hutter, C. Sengler, E. Canver
DESIGN AND PLANNING IN THE DEVELOPMENT OF SAFETY-CRITICAL SOFTWARE WITH ADA, Pages 75-80, J. Prorok, K. Bührer, U. Ammann, K. Vit
THE MYTHICAL MEAN TIME TO FAILURE, Pages 81-86, A.K. Bissett
PRACTICAL FORMAL METHODS FOR PROCESS CONTROL ENGINEERING, Pages 87-92, Clive Fencott, Colin Fleming, Chris Gerrard
FORMAL METHODS AND SOFTWARE SAFETY, Pages 93-98, J.P. Bowen, V. Stavridou
OBJECT REPRESENTATION OF THE OPERATIVE ENVIRONMENT, Pages 99-104, M. Mekkaoui, K. Ouriachi
MARKOVIAN MODELS FOR CLASSIFICATION OF FAULTS IN MANUFACTURING SYSTEMS, Pages 105-110, Zineb AKAZI
LOGIC MODELLING OF DEPENDABLE SYSTEMS, Pages 111-116, John Murdoch, Danny Pearce, Nigel R Ward
INTEGRATION OF SOFTWARE RELIABILITY PREDICTIONS TO ACHIEVE MODELLING FAULT TOLERANCE, Pages 117-121, F. Saglietti
FUNCTIONAL SPECIFICATION OF VITAL COMPUTER SOFTWARE FOR HIHG-SPEED MAGLEV SYSTEMS, Pages 123-128, K. Jopke, R. Knigge, E. Schnieder
PROVING SAFETY OF A RAILWAY SIGNALLING SYSTEM INCORPORATING GEOGRAPHIC DATA, Pages 129-134, Michael Ingleby, Ian Mitchell
USING PETRI NETS FOR SAFETY ANALYSIS OF UNMANNED METRO SYSTEM, Pages 135-139, M. EL KOURSI, P. OZELLO INRETS-CRESTA
VITAL CODED PROCESSOR AND SAFETY RELATED SOFTWARE DESIGN, Pages 141-145, P. Chapront
VITAL PROCESSING BY SINGLE CODED UNIT: ABSTRACT, Pages 147-152, M. Jean MARTIN
ASTREE - ODOMETRIC SAFETY CONTROL UNIT, Pages 153-158, STEPHAN Philippe, Olivier DIEUDONNE
TESTING OF A COMPUTER BASED INTERLOCKING SOFTWARE: METHODOLOGY AND ENVIRONMENT., Pages 159-165, C. Abbaneo, G. Biondi, M. Ferrando, G. Mongardi
Practical Experience with Safety Assessment of a System for Automatic Train Control, Pages 167-172, Tor Stålhane
FAULT-TOLERANT MULTIPROCESSOR FOR EMBEDDED PROCESS CONTROL, Pages 173-178, T.T. Siegrist
CERTIFICATION OF DIGITAL SYSTEMS IN COMMERCIAL AVIONICS APPLICATIONS, Pages 179-184, A. Cook
THE CODED MICROPROCESSOR CERTIFICATION, Pages 185-190, Ozello Patrick
SAFETY CASE STRUCTURE: ISSUES RELATED TO CERTIFICATION OF AVIONICS SYSTEMS, Pages 191-196, Benita M Hall
FAULT DIAGNOSIS OF A BATCH OF MICROPROCESSORS, Pages 197-201, Jianwen HUANG, René DAVID
A VERSATILE MONITORING SYSTEM FOR DISTRIBUTED REAL-TIME SYSTEMS, Pages 203-208, Ulrich Schmid, Stefan Stöckler
ON STATIC ANALYSIS OF DEADLOCKS IN TRANSPUTER NETWORKS, Pages 209-214, Algirdas Pakštas, Danutè Paketuraitè
AN ADAPTIVE APPROACH TO DESIGNING ANTIVIRUS SYSTEMS, Pages 215-220, M.A. Titov, A.G. Ivanov, G.K. Moskatov
OPERATING MSDOS IN A CONTROLLED ENVIRONMENT, Pages 221-224, R. Posch
ARE WIDELY USED SECURITY SYSTEMS INADEQUATE?, Pages 225-229, G. Futschek, Weninger
Propagating Temporal Demands into the Software Design to Support the Evaluation of Safety Critical Hard Real-Time Systems, Pages 231-237, R. Bareiss
Integrity Prediction during Software Development, Pages 239-244, P. Hall, J. May, D. Nichol, K. Czachur, B. Kinch
CONSIDERATIONS ABOUT AN AXIOMATIC BASIS FOR SOFTWARE CONTROL FLOW MEASURES, Pages 245-251, J. Brummer
A FRAMEWORK TO SUPPORT DECISIONS ON APPROPRIATE SECURITY MEASURES, Pages 253-258, Kurt Bauknecht, Christine Strauß
SECURITY POLICIES FOR DATABASES, Pages 259-265, G. Pernul, A.M. Tjoa
CONCEPT OF A SECURITY CONTROL CENTER, Pages 267-271, Fichtner Johann, Cornelia Persy
MODELING USERS\' BEHAVIOR AND THREATS FOR SECURITY, Pages 273-278, S. Castano, P. Samarati
RELIABILITY EVALUATION OF COMMUNICATION NETWORKS, Pages 279-284, Mohamed El Khadiri, Gerardo Rubino
SAFETY ASSESSMENT OF COMPUTER SYSTEMS USING HAZOP AND AUDIT TECHNIQUES, Pages 285-292, M.F. Chudleigh, J.R. Catmur
RISK PERCEPTIONS AND ACCEPTANCE OF COMPUTERS IN CRITICAL APPLICATIONS, Pages 293-298, A. Pasquini, A. Rizzo
COMBINING PROBABILISTIC AND DETERMINISTIC VERIFICATION EFFORTS, Pages 299-304, W.D. Ehrenberger
TESTING KNOWLEDGE BASED SYSTEMS: A CASE STUDY AND IMPLICATIONS, Pages 305-310, P. Heino, H. Jaakkola, J. Tepandi
AN EXPERIMENTAL EVALUATION OF FORMAL TESTING AND STATISTICAL TESTING, Pages 311-316, B. Marre, P. Thévenod-Fosse, H. Waeselynck, P. Le Gall, Y. Crouzet
AUTHOR INDEX, Page 317
KEYWORD INDEX, Pages 319-321