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

Safety-Critical Systems, available, at least until December 1998, price £5, from the Distribution
Centre at: MFR Software Services Ltd, 35 Benbrook Way, Macclesfield, Cheshire, SK11 9RT,
Tel 01625 431301.
The list of reports and other outputs is also available on the Internet, see
http://web.ukonline.co.uk/mike.falla/dc.htm
ASAM II A Safety Argument Manager
xxxxxxx
xxxxxxx
xxxxxxxxx
xxxxxx
xxxxxxx
xxxxxxx
xxxxxxxxx
xxxxxx
Summary
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
References
xxxxxxxxxxxxx
Partners. In the case of a project led by an
academic institution, the industrial partners
will not have received any grant. Such nongrant-
receiving collaborators are sometimes
referred to as ‘Uncles’. In some industry-led
projects certain partners have also not received
any grant support.
Contact. This is normally the (former) Project
Manager. If you would like any further information
about the project, this is the person who should be
contacted.
References. Where the reports have been published in
books, journals, etc, the place of publication is given. In
other cases
+ C indicates that the report can be obtained from the
project contact (the cost may be nominal or it may be
substantial)
+ D indicates that the report can be obtained from the
Distribution Centre (see below).
Total approved project cost (includes
partners’ costs, DTI grant, and/or
EPSRC grant as appropriate) to the
nearest £100,000. This figure is not
exact and is intended merely to indicate
the overall scale of the project.
Name and short
description
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
2
ASAM II A Safety Argument Manager
York Software Engineering Ltd
University of York
British Aerospace Defence Ltd (Military Aircraft Division)
British Aerospace Airbus Ltd
Rolls-Royce PLC
Lloyds Register of Shipping.
Contact: Mr R Pierce
York Software Engineering Ltd
Innovation Centre, York Science Park
Heslington, York YO1 5DG
Tel: 01904 435205
Fax: 01904 435216
email: rpierce@yse.co.uk
The objective of the ASAM II project was to provide a structured method and comprehensive tool support for the
production of safety cases.
The project was divided into three separate but overlapping strands:
· method definition,
· tool development,
· validation of the method and the tool by means of case studies.
For a more detailed description see A method for safety cases in Chapter 4.
References
[1] ASAM II: Concepts and Process, + C.
[2] SAM Concepts and Process Manual, + C.
[3] Example Safety Case, + C.
[4] Final Report, + C.
Information about the SAM (Safety Argument Manager) tool is also available from YSE
Project number: 9212 Approx. Project Cost: £0.7m Start date: Sep 1993 End date: Feb 1996
EPSRC Grant number: j18897
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
3
AUSDA Analysis and Unification of Software Development Approaches
Department of Chemical Engineering,
Loughborough University
AI Applications Institute,
University of Edinburgh
Uncles: British Gas,
Rolls Royce & Associates Ltd
Contact: Dr Paul Chung
Department of Chemical Engineering
Loughborough University Loughborough,
Leicestershire LE11 3TU
Telephone: 01509 222532
Fax: 01509 223923
Email: p.w.h.chung@lut.ac.uk
Or: Mr Ian Filby
AIAI,
University of Edinburgh
80 South Bridge
Edinburgh, EH1 1HN
Tel: 0131 650 2732
Email: I.Filby@ed.ac.uk
Summary
The aim of the AUSDA project was to help develop unified approaches to the development and maintenance of
safety critical software by:
· identifying and classifying the causes of incidents/near misses in which the use of computer software is involved,
across a range of industry sectors;
· using the results of the incident analysis to produce a widely applicable hazard identification method, with an
associated software support tool;
· producing a software modelling framework, and an associated software process modelling tool, that are capable
of modelling a wide variety of development methods and processes;
　
中國航空網(wǎng) www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(144)