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

Systems: The Convergence of High Tech and Human Factors, Ed Redmill and Anderson, 1996, ISBN 3-540-
76009-1.
[5] Comprehension of Safety-Critical Systems using Domain-Specific Languages, T.M. Bull, Proc. 4th
Workshop on Program Comprehension, Berlin, Mar 1996 (IEEE).
The Maintainer's Assistant is available by ftp (http://www.dur.ac.uk/CSM/). Although very simple to install, it does
require considerable practice and understanding to use to its full potential
Project number: 9317 Approx. Project Cost: £0.2m Start date: Feb 1994 End date: Jan 1998
EPSRC Grant number: j18682
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
5
CISC Communications in Safety Cases - A Semantic Approach
University of Edinburgh
Laboratory for Foundations of Computer Science
Human Communications Research Centre
Dept. of Artificial Intelligence
Dept. of Sociology
Uncles: Adelard, AEA Technology, British Rail, Health
and Safety Executive, Lucas, Praxis, ShellExpro.
Contact: Stuart Anderson
University of Edinburgh
LFCS, Computer Science
King’s Buildings,
Edinburgh EH9 3JZ
Tel: 0131 650 5191
Email: soa@lfcs.ed.ac.uk
Summary
The objectives of the CiCS project were to improve safety systems engineering by:
· an analysis of failures in communication in safety-critical projects and how standards embody such potential for
failure
· the provision of semantic techniques which help to assure agreement on the significance of evidence and the
study of their effects on the interpretation and construction of safety standards.
· the development of improved techniques and tools for safety analysis and the study of how these might be
integrated into standards and how they contribute towards a safety case standards
The project has
· carried out a study of computer related accidental death and has scoped and identified some problem areas and
potential future problems.
· analysed and formally modelled some generic safety architectures.
· explored the use of abduction in detecting, correcting and isolating faults in system specifications.
For a more detailed description see section 9.5, Communication in engineering design.
References
[1] G. Bruns, Distributed Systems Analysis with CCS, Prentice-Hall, 1996
Project number: 9313 Approx. Project Cost: £0.6m Start date: Jul 1993 End date: Jun 1996
EPSRC Grant number: j58619
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
6
CONTESSE Contribution of Testing Using Simulated Software and System Environments to the Safety
Justification of Programmable Electronic Systems
BAeSEMA,
Lloyd’s Register of Shipping,
GPE Electronics,
Lucas Electronics,
NEI Control Systems,
Nuclear Electric,
The Open University,
Rolls-Royce,
Scottish Nuclear,
The University of Warwick
Contact: Mr R Lowe
BAeSEMA Engineering Division
1 Atlantic Quay
Broomielaw
Glasgow
G2 8JE
Tel: 0141 204 2737
Fax: 0141 221 6435
Summary
Testing is one of the main ways of assessing the integrity (safety) of a software-based system. The CONTESSE
project set out do develop guidance on the testing of safety-related software, including both the testing activities
(product assessment) and the contribution that adequate performance of these activities makes to the safety case
(process assessment) and the claimable integrity of the system. The major product of the project is the 348 page
Test Handbook, B10 in the list below.
For a more detailed description see the first three sections of Chapter 12.
References
[B1] Survey of Current Simulation and Emulation Practices, + D.
[B2] Definition of Environment Lifecycle Models, + D.
[B3] Analysis of Software Testing Quality, + D.
[B4] Software Testing via Environmental Simulation, + D.
[B5] Testability of the Design Features of Programmable Electronic Systems, + D.
[B6] Requirements for Test Support Tools, + D.
[B7] Computer Aided Software Testing: Tool Survey, + D.
[B8] Computer Aided Software Testing: Tool Survey and Evaluation, + D.
[B9] Tool Support for the CONTESSE Framework, + D.
[B10] CONTESSE Test Handbook, + D.
[B11] Fire and GPS Protection System Case Study, + D.
[B12] Application of the CONTESSE Framework to a Reactor Protection System, + D.
[B13] Review Implementation against Framework and Test Framework on Model, + D.
[B14] PTSE Case Study Final Report, + D.
[B15] The Application of Simulation to Timing Constraints, + D.
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(146)