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

Summary
The objective of this project was to develop a set of Guidelines for the development of safe applications software
for programmable logic controllers. Early versions of the Guidelines were evaluated in trials by two of the partners.
A draft set of Guidelines were issued for industry consultation in November 1995. The final version was published
by IEE in 1996 (ref [1]).
For a more detailed description of the project see section 8.5, Guidelines for programmable logic controllers.
References
[1] SEMSPLC Guidelines: Safety-Related Applications Software for Programmable Logic Controllers, IEE
Technical Guidelines 8, ISBN 0 85296 887 6, IEE 1996.
The following reports are available from ERA Publication Sales, at the address above:
[2] Survey of Method/Tool User Requirements and Experience, Report 1C/ERA/0198/R/l, Mar 1996.
[3] Study of the Application of Software Reuse to the Industrial Environment, Report 1D/ERA/0100/R/1, Jan
1993.
[4] Software Reuse: current practice and potential, Report 1D/ICL/1021/R/1,Jul 1992.
[5] Language Requirements and Coding Standards for Safe Software, Report 2C/ICL/1074/R/1, Oct 1993.
[6] “Decision Recording” Tools, Report 2C/ICL/1120/R/1, Jan 1995.
[7] Assessment of IEC 1131-3 Languages against SEMSPLC Safe Language Criteria, Report 3C/ICL/1112/R/1,
Jan 1995.
[8] The Role of Human Error in the Software Development Process, Report 3C/ICL/1097/N/1, Feb 1995.
[9] Survey of Software Engineering Tools and Methods in British Gas plc, Report 1A/BG/3006/R/1, Jan 1993.
The following reports are also available from the sources indicated:
[10] Evaluation of the Ideal Verification and Testing Standard, Report 9019/3B/LDRA/2004/R/1, Feb 1996, + C
(and LDRA, Liverpool).
[11] The Testing of Ladder Logic Programs for Programmable Logic Controllers, D.Hedley and R.G.Kirsopp,
Proceedings of 1st European International Conference on Software Testing Analysis & Review, EuroSTAR,
London, October 1993.
[12] Holistic schedulability analysis for distribniuted hard real-time systems, Ken Tindell and John Clark,
Microprocessing and Microprogramming 40, 117-134, 1994.
[13] Adding Time-Offsets to Schedulability Analysis, Ken Tindell, York Computer Science Report 221 1994.
[14] Analysing Real-time Communications: Controller Area Network, K Tindell, H Hansson and A Wellings,
Proceedings of the Real-Time Systems Symposium, 1994.
[15] The Satisfaction of PLC Timing Constraints, J Clark and K Tindell, High Integrity Systems Journal, Vol. 1,
No. 2, pp 221-224, 1994.
[16] Advanced Real-time PLC Software Engineering (5 reports produced by the University of York in 1992-1995,
showing how state of the art theory in real-time systems can be applied to the development of PLC
application software with guaranteed timing properties), SEMSPLC/York/5009/R/1, + C.
Project number: 9019 Approx. Project Cost: £3.1 Start date: May 1992 End date: Mar 1996
EPSRC Grant number: h11228
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
33
SPAM Safety Policy and Models
SRC (Consultants) Ltd,
Gerrard Software Ltd
Contact: Mr A Darlison
SRC (Consultants) Ltd
Oceanic House, 89 High Street
Alton, Hampshire
GU34 1LG
Tel: 01420-541636, Fax: 01420-541634
Summary
The SPaM project was established to address perceived weaknesses in the current approach taken to developing
safety critical systems based on programmable electronics. These main areas of weakness in current safety practice
were attributed to establishing whether:
· the safety specifications are valid representions of intended and desirable safe system behaviours;
· the final system satisfactorily complies with the safety specification (and that this compliance is supported with
extensive safety case arguments and associated evidence from safety verification analysis).
The novel solution proposed by the project is to conduct a study of existing security techniques so that they may be
used to strengthen these weaknesses in the safety domain.
The two main aims of the project are:
· to create a policy-based approach to defining and validating safety requirements for systems based on
programmable electronics;
· to apply a policy-based approach throughout the procurement and development life cycles within a System
Safety Policy Framework.
For a description of the project results to date, see sectio 6.2, Safety policies and models.
References
[1] SPaM Information Pack, + C.
[2] Safety Policy - The Way Ahead, Report SPAM/SRC/A10/ED/1, Feb 1996, + D.
[3] Phase A Report - Safety and Security Fundamentals, SPAM/SRC/A11/ED/1, Mar 1996, + C.
　
中國航空網 m.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(162)