曝光台 注意防骗
网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者
[4] Survey of Safety Problems, Jun 1996, + C.
[5] Enhancing Safety Assurance Using Security Concepts, JJ Elliott, AS Lovering, C Gerrard, Achievement and
Assurance of Safety, Ed Redmill and Anderson, 1995, ISBN 3-540-19922-5..
[6] Initial Safety Policy Model and its Validation, May 1996, + D.
[7] SPM Technical Report, Sep 1996, + D.
[8] The SPaM Method, Nov 1997, + D.
[9] Taxonomy for Safety Critical Systems: Summary and Conclusions, Nov 1997, + D.
[10] SPM Tools Study, Nov 1997, + D.
[11] Project Final Report, Nov 1997, + D.
[12] Survey of Safety Requirements Across Industrial Sectors, Dec 1997, + D.
Project number: 9213 Approx. Project Cost: £1.2 Start date: Nov 1993 End date: Aug 1997
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
34
SSI TOOLS Solid State Interlocking Tools (Railway signalling)
GEC ALSTHOM Signalling Ltd,
Westinghouse Signals Ltd,
UMIST
Contact: Mr R E B Barnard
GEC ALSTHOM Signalling Ltd
PO Box 146
Manchester, M60 1AX
Tel: 0161 875 4216
Summary
The objectives of the SSI-TOOLS project were:
· to identify and demonstrate suitable techniques for automated tools to support the design and validation of data
in application-specific languages. The project used geographical data for railway signalling systems to British
Rail standards, written in the well-established SSI Data Language, as an example.
· to produce prototype tools to cover the following tasks:
· Creation of computer database representations of signalling requirements for different layouts, from track
plans and other statements of requirements
· Extraction of sets of requirements for safe data for particular layouts, from the above database and from a
list of signalling safety requirements deduced from a hazard analysis of railway operation
· Computer-assisted comparison of the data generated for various layouts and the requirements for safe
data, together with production of a record of the proof method.
· to study and influence the internal structure of such tools, to facilitate their later development to suit:
· Data formats other than that used by SSI
· Signalling requirements other than those of British Rail
· to generate in-house expertise, and links with academia, in the field of automated proof techniques, for use in
future generations of signalling developments.
· to examine the relevance of the techniques and expertise developed to other industrial market sectors.
The main results of the project are outlined in section 10.1, Tools for railway signalling.
References
[1] A Data Interchange Format for Railway Automation Tools, B Clements, Proceedings of the Aspect 95
Conference, Institution of Railway Signalling Engineers, London 1995.
[2] Logical Methods in the Formal Verification of Safety-Critical Software, C.Pulley and G.V.Conroy, in
Mathematics of Dependable Systems, ed. by C.Mitchell and V.Stavridou, Clarendon Press, Oxford 1995
Project number: 9035 Approx. Project Cost: £0.7m Start date: May 1992 End date: April 1995
EPSRC Grant number: h37303
Copyrights
Copyright © 2000-2004 Condor Engineering, Inc.
All rights reserved.
This document may not, in whole or part, be; copied; photocopied; reproduced; translated;
reduced or transferred to any electronic medium or machine-readable form without prior
consent in writing from Condor Engineering, Inc.
ARINC Protocol Tutorial (1500-029)
Document Date: 16 July, 2004
Document Revision: 1.07
Condor Engineering, Inc.
101 W. Anapamu Street
Santa Barbara, CA 93101
(805) 965-8000
(805) 963-9630 (fax)
support@condoreng.com (email)
http://www.condoreng.com
ARINC Protocol Tutorial i
Contents and Tables
Contents
Chapter 1 ARINC 429 Tutorial
Introduction.................................................................................................... 1
About ARINC................................................................................................ 2
What is ARINC 429? ............................................................................... 2
ARINC 429 Usage ................................................................................... 3
ARINC 429 Electrical Characteristics .......................................................... 3
Protocol .................................................................................................... 5
Bit Timing and Slew Rate........................................................................ 6
ARINC 429 Word Format............................................................................. 7
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址：航空资料25(163)
