曝光臺(tái) 注意防騙 網(wǎng)曝天貓店富美金盛家居專(zhuān)營(yíng)店坑蒙拐騙欺詐消費(fèi)者

University of Leeds
Contact: Dr David Ward
MISRA Project Manager
Electrical Group
The Motor Industry Research Association
Watling Street
Nuneaton,
Warwickshire
CV10 0TU
Direct telephone: (01203) 355430
Local fax number: (01203) 350322
Internet e-mail: misra@mira.co.uk
The Motor Industry Software Reliability Association (MISRA) was formed to investigate the use of software in
automotive safety-critical applications with the intent of producing a set of guidelines to aid this process. The
consortium was made up of a number of the major motor manufacturers and was coordinated by MIRA.
The consortium initially conducted a survey of existing work, both in the automotive sector and in other industrial
sectors. This survey was kept up to date and is available as Report 9, below. Eight subgroups were then formed to
research specific issues relating to automotive software. The reports of these subgroups are available as Reports 1 to
8 below.
The Guidelines are intended for the following purposes:
· guidance for creating contracts and specifications for software procurement
· as an introduction to issues of automotive software reliability
· the basis for training requirements within the automotive industry
· guidance for company quality procedures
· guidance for management on resource requirements
· to provide the basis of assessment
· as a foundation for a standard.
For a more detailed description of the project see section 8.1, Automotive industry.
References
[1] Diagnostics and Integrated Vehicle Systems, Report 1, 1994
[2] Integrity, Report 2, 1995
[3] Noise, EMC and Real-Time, Report 3, 1994
[4] Software in Control Systems, Report 4, 1995
[5] Software Metrics, Report 5, 1995
[6] Verification and Validation, Report 6, 1994
[7] Subcontractingof Automotive Software, Report 7, 1994
[8] Human Factors in Software Development, Report 8, 1994
[9] Sources of Information, Phase 1 Report, 1994
[10] Development Guidelines for Vehicle Based Software, Nov 1994.
Reports 1 - 9 and the Guidelines [10] are available from Department of Electrical and Electronic Systems at the
Motor Industry Research Association’s address above.
Project number: 9026 Approx. Project Cost: £0.6m Start date: Aug 1992 End date: Jun 1996
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
16
MORSE A Method for Object Reuse in Safety-critical Environments
Lloyd’s Register of Shipping,
British Aerospace,
Dowty Defence,
Transmitton,
West Middlesex Hospital,
Cambridge University.
Contact: Mr D P Mannering
Lloyd's Register of Shipping
Lloyd's Register House
29 Wellesley Road
Croydon, CR0 2AJ
Tel: 0181 681 4040
Summary
The MORSE project set out to produce a coherent approach to the development of reusable software for safety
critical systems based on the practices recommended by the standards which had been introduced over the previous
few years, including IEC 1508.
The project was divided into a number of workpackages including: safety analysis techniques; production of
guidelines for assessment and for management; methods of code generation; extensions to RSL for timing; design of
a platform, system architecture and configuration language; natural language processing; and case studies.
For an outline of the project’s results see section 3.2, Integrating software hazard analysis with the development
process; section 5.2, Guidelines for assessment; section 8.2, Management guidelines for developing safety critical
software; section 13.2, Case studies with RAISE in avionics, plant control and laboratory information; section 14.4,
Using natural language processing tools; and section 15.1, Supporting re-use.
References
[1] Data Management in Clinical Laboratory Information Systems, R Fink et al, in Technology and Assessment
of Safety-critical Systems, Ed Redmill and Anderson, 1994, ISBN 3-540-19859-8..
[2] The Application of Formal Methods for the Redevelopment of a Laboratory Information Management
System, P Collinson et al, in J Górski (ed) SAFECOMP ‘93. Springer-Verlag, 1993.
[3] Safety Assessment of Data Management in a Clinical Laboratory, R S Fink, in Computer Methods and
Programs in Biomedicine 44 pp 37-43, 1994.
[4] Developing Health Information Systems using Safety Management Procedures and Formal Methods, R Shaw,
S Hughes in Proceedings of the IMIA WG4 Working Conference ‘Caring for Health Information: Safety,
Security and Secrecy, Ed B Barber and A R Sbergtsson, Elsevier Science, 1994.
　
中國(guó)航空網(wǎng) m.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(152)