曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

· Is it possible to use functional programming languages for the development of complex software systems?
· Can a functional language be used in the development of safety-critical software, in a way that is consistent with
best practice in safety methodology?
· Can new approaches to hazard analysis be applied to computer systems and to the operator interaction of
automated laboratory systems?
The key theme of the project was the re-implementation of a system of significant size and the determination of the
feasibility and effectiveness of a range of safety assurance activities applied (on a sampling basis) during the
system's development. For this re-implementation, the project selected an application in cervical screening since it is
clearly safety-critical, software-based and posed a wide range of technical problems which, if they could be solved,
would demonstrate the effectiveness of the techniques applied. In addition, a prototype system had already been
developed by one of the partners (HGU).
For a description of the results of the project see section 3.3, HAZOP throughout the lifecycle; section 3.4, A case
study of Fault Tree Analysis; section 7.3, Hazard analysis of human interaction; and section 14.2, Functional
programming languages for complex systems, plus tables 2.1 and 2.2 in chapter 2.
References
[1] A Functional Programming Environment for Image Analysis, I Poole, 11th International Conference on
Pattern Recognition, pp 124-127, The Hague, 1992.
[2] The Benefits of SUSI: Safety Analysis of User System Interaction M Chudleigh, J Clare, 12th International
Conference on Computer Safety, Reliability and Security (SafeComp 1993), pp 123-132.
[3] Hazard Analysis using HAZOP: A Case Study, M Chudleigh 12th International Conference on Computer
Safety, Reliability and Security (SafeComp 1993), pp 99-108.
[4] Formal Specification of image processing primitives in a functional language, I Poole, D Charleston, 12th
International Conference on Pattern Recognition, pp539-542, Jerusalem, 1994.
[5] Safety Critical Software Research in the Medical Diagnostic Domain, M Chudleigh, C Berridge, R May, J
Butler, I Poole IEE Computing & Control Journal, Vol 6 No 5, October 1995.
[6] Use of a functional programming language for formal specification, J Butler, IEE Colloquium on Practical
Application of Formal Methods, May 1995.
[7] A Comparison of Z and a FPL for specification purposes, J Butler, 1995, + C.
[8] SADLI: Functional Programming in a Safety Critical Application J Butler, C Berridge, M Chudleigh, R May,
I Poole Safety-critical Systems: The Convergence of High Tech and Human Factors, Ed Redmill and
Anderson, 1996, ISBN 3-540-76009-1.
[9] Final Report, Report D4.1, Mar 1995, + C.
[10] Software Hazard Analysis Report D1.2, Mar 1993, + C.
[11] Human Factors Analysis Report D1.3, Mar 1993, + C.
Project number: 9042 Approx. Project Cost: £0.9m Start date: Jan 1992 End date: Apr 1995
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
25
Safe-DIS Safe Design of Water Networks through the use of Computer based Information Systems
HR Wallingford,
University of Surrey
Contact: Mr D Fortune
HR Wallingford Ltd
Howberry Park, Wallingford
Oxfordshire, OX10 8BA
Tel: 01491 824777
Fax: 01491 826392
Or: Dr K Ahmad
Department of Mathematical and
Computing Sciences
University of Surrey
Guildford, Surrey, GU2 5XH
Tel: 01483 259322
Summary
The principal objective of the SAFE-DIS project was to specify and prototype an information system that would
support a novice engineer through the design life-cycle associated with upgrading an existing urban drainage
system. The subsidiary objectives were:
· to explore, explicate and archive the largely undocumented knowledge of how to use the existing simulation
software effectively;
· to examine the efficacy of methods and tools currently available (or under development) for network design and
analysis, and assess their applicability to the requirements;
· to specify an integrated, safety-informed information system, possibly incorporating features of existing methods
and tools, that could address the problem of safe and accurate modelling of networks;
· to prototype relevant subsets of the specified information system and use the prototype in a pilot project to
quantify, demonstrate and evaluate the costs and benefits;
· to produce a high-level specification for a safety-informated information system that could be used to
comprehend safety related problems.
For a description of the results of the project, see section 16.2, Safe design of networks.
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(158)