1、 IEC 62279 Edition 2.0 2015-06 INTERNATIONAL STANDARD NORME INTERNATIONALE Railway applications Communication, signalling and processing systems Software for railway control and protection systems Applications ferroviaires Systmes de signalisation, de tlcommunication et de traitement Logiciels pour
2、systmes de commande et de protection ferroviaire IEC 62279:2015-06(en-fr) THIS PUBLICATION IS COPYRIGHT PROTECTED Copyright 2015 IEC, Geneva, Switzerland All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic
3、 or mechanical, including photocopying and microfilm, without permission in writing from either IEC or IECs member National Committee in the country of the requester. If you have any questions about IEC copyright or have an enquiry about obtaining additional rights to this publication, please contac
4、t the address below or your local IEC member National Committee for further information. Droits de reproduction rservs. Sauf indication contraire, aucune partie de cette publication ne peut tre reproduite ni utilise sous quelque forme que ce soit et par aucun procd, lectronique ou mcanique, y compri
5、s la photocopie et les microfilms, sans laccord crit de lIEC ou du Comit national de lIEC du pays du demandeur. Si vous avez des questions sur le copyright de lIEC ou si vous dsirez obtenir des droits supplmentaires sur cette publication, utilisez les coordonnes ci-aprs ou contactez le Comit nationa
6、l de lIEC de votre pays de rsidence. IEC Central Office Tel.: +41 22 919 02 11 3, rue de Varemb Fax: +41 22 919 03 00 CH-1211 Geneva 20 infoiec.ch Switzerland www.iec.ch About the IEC The International Electrotechnical Commission (IEC) is the leading global organization that prepares and publishes I
7、nternational Standards for all electrical, electronic and related technologies. About IEC publications The technical content of IEC publications is kept under constant review by the IEC. Please make sure that you have the latest edition, a corrigenda or an amendment might have been published. IEC Ca
8、talogue - webstore.iec.ch/catalogue The stand-alone application for consulting the entire bibliographical information on IEC International Standards, Technical Specifications, Technical Reports and other documents. Available for PC, Mac OS, Android Tablets and iPad. IEC publications search - www.iec
9、.ch/searchpub The advanced search enables to find IEC publications by a variety of criteria (reference number, text, technical committee,). It also gives information on projects, replaced and withdrawn publications. IEC Just Published - webstore.iec.ch/justpublished Stay up to date on all new IEC pu
10、blications. Just Published details all new publications released. Available online and also once a month by email. Electropedia - www.electropedia.org The worlds leading online dictionary of electronic and electrical terms containing more than 30 000 terms and definitions in English and French, with
11、 equivalent terms in 15 additional languages. Also known as the International Electrotechnical Vocabulary (IEV) online. IEC Glossary - std.iec.ch/glossary More than 60 000 electrotechnical terminology entries in English and French extracted from the Terms and Definitions clause of IEC publications i
12、ssued since 2002. Some entries have been collected from earlier publications of IEC TC 37, 77, 86 and CISPR. IEC Customer Service Centre - webstore.iec.ch/csc If you wish to give us your feedback on this publication or need further assistance, please contact the Customer Service Centre: csciec.ch. A
13、 propos de lIEC La Commission Electrotechnique Internationale (IEC) est la premire organisation mondiale qui labore et publie des Normes internationales pour tout ce qui a trait llectricit, llectronique et aux technologies apparentes. A propos des publications IEC Le contenu technique des publicatio
14、ns IEC est constamment revu. Veuillez vous assurer que vous possdez ldition la plus rcente, un corrigendum ou amendement peut avoir t publi. Catalogue IEC - webstore.iec.ch/catalogue Application autonome pour consulter tous les renseignements bibliographiques sur les Normes internationales, Spcifica
15、tions techniques, Rapports techniques et autres documents de lIEC. Disponible pour PC, Mac OS, tablettes Android et iPad. Recherche de publications IEC - www.iec.ch/searchpub La recherche avance permet de trouver des publications IEC en utilisant diffrents critres (numro de rfrence, texte, comit dtu
16、des,). Elle donne aussi des informations sur les projets et les publications remplaces ou retires. IEC Just Published - webstore.iec.ch/justpublished Restez inform sur les nouvelles publications IEC. Just Published dtaille les nouvelles publications parues. Disponible en ligne et aussi une fois par
17、mois par email. Electropedia - www.electropedia.org Le premier dictionnaire en ligne de termes lectroniques et lectriques. Il contient plus de 30 000 termes et dfinitions en anglais et en franais, ainsi que les termes quivalents dans 15 langues additionnelles. Egalement appel Vocabulaire Electrotech
18、nique International (IEV) en ligne. Glossaire IEC - std.iec.ch/glossary Plus de 60 000 entres terminologiques lectrotechniques, en anglais et en franais, extraites des articles Termes et Dfinitions des publications IEC parues depuis 2002. Plus certaines entres antrieures extraites des publications d
19、es CE 37, 77, 86 et CISPR de lIEC. Service Clients - webstore.iec.ch/csc Si vous dsirez nous donner des commentaires sur cette publication ou si vous avez des questions contactez-nous: csciec.ch. IEC 62279 Edition 2.0 2015-06 INTERNATIONAL STANDARD NORME INTERNATIONALE Railway applications Communica
20、tion, signalling and processing systems Software for railway control and protection systems Applications ferroviaires Systmes de signalisation, de tlcommunication et de traitement Logiciels pour systmes de commande et de protection ferroviaire INTERNATIONAL ELECTROTECHNICAL COMMISSION COMMISSION ELE
21、CTROTECHNIQUE INTERNATIONALE ICS 45.060 ISBN 978-2-8322-2741-1 Registered trademark of the International Electrotechnical Commission Marque dpose de la Commission Electrotechnique Internationale Warning! Make sure that you obtained this publication from an authorized distributor. Attention! Veuillez
22、 vous assurer que vous avez obtenu cette publication via un distributeur agr. 2 IEC 62279:2015 IEC 2015 CONTENTS FOREWORD . 8 INTRODUCTION . 10 1 Scope 13 2 Normative references. 14 3 Terms, definitions and abbreviations 14 3.1 Terms and definitions 14 3.2 Abbreviations 19 4 Objectives, conformance
23、and software safety integrity levels 20 5 Software management and organisation . 21 5.1 Organisation, roles and responsibilities 21 5.1.1 Objective . 21 5.1.2 Requirements 21 5.2 Personnel competence 25 5.2.1 Objectives 25 5.2.2 Requirements 25 5.3 Life cycle issues and documentation 25 5.3.1 Object
24、ives 25 5.3.2 Requirements 25 6 Software assurance . 28 6.1 Software testing 28 6.1.1 Objective . 28 6.1.2 Input documents 28 6.1.3 Output documents 28 6.1.4 Requirements 29 6.2 Software verification 29 6.2.1 Objective . 29 6.2.2 Input documents 29 6.2.3 Output documents 30 6.2.4 Requirements 30 6.3
25、 Software validation 31 6.3.1 Objective . 31 6.3.2 Input documents 31 6.3.3 Output documents 31 6.3.4 Requirements 31 6.4 Software assessment 33 6.4.1 Objective . 33 6.4.2 Input documents 33 6.4.3 Output documents 33 6.4.4 Requirements 33 6.5 Software quality assurance 34 6.5.1 Objectives 34 6.5.2 I
26、nput documents 35 6.5.3 Output documents 35 6.5.4 Requirements 35 6.6 Modification and change control 37 6.6.1 Objectives 37 IEC 62279:2015 IEC 2015 3 6.6.2 Input documents 37 6.6.3 Output documents 37 6.6.4 Requirements 37 6.7 Support tools and languages . 38 6.7.1 Objectives 38 6.7.2 Input documen
27、ts 38 6.7.3 Output documents 38 6.7.4 Requirements 38 7 Generic software development . 41 7.1 Life cycle and documentation for generic software . 41 7.1.1 Objectives 41 7.1.2 Requirements 41 7.2 Software requirements 42 7.2.1 Objectives 42 7.2.2 Input documents 42 7.2.3 Output documents 42 7.2.4 Req
28、uirements 42 7.3 Architecture and Design 44 7.3.1 Objectives 44 7.3.2 Input documents 44 7.3.3 Output documents 44 7.3.4 Requirements 44 7.4 Component design 50 7.4.1 Objectives 50 7.4.2 Input documents 50 7.4.3 Output documents 50 7.4.4 Requirements 50 7.5 Component implementation and testing . 52
29、7.5.1 Objectives 52 7.5.2 Input documents 52 7.5.3 Output documents 52 7.5.4 Requirements 52 7.6 Integration 53 7.6.1 Objectives 53 7.6.2 Input documents 53 7.6.3 Output documents 53 7.6.4 Requirements 53 7.7 Overall Software Testing / Final Validation . 54 7.7.1 Objectives 54 7.7.2 Input documents
30、54 7.7.3 Output documents 55 7.7.4 Requirements 55 8 Development of application data or algorithms: systems configured by application data or algorithms 56 8.1 Objectives . 56 8.2 Input documents . 57 8.3 Output documents . 57 8.4 Requirements 57 8.4.1 Application Development Process . 57 4 IEC 6227
31、9:2015 IEC 2015 8.4.2 Application Requirements Specification 59 8.4.3 Architecture and Design . 59 8.4.4 Application Data/Algorithms Production 59 8.4.5 Application Integration and Testing Acceptance 60 8.4.6 Application Validation and Assessment . 61 8.4.7 Application preparation procedures and too
32、ls 61 8.4.8 Development of Generic Software 61 9 Software deployment and maintenance 62 9.1 Software deployment . 62 9.1.1 Objective . 62 9.1.2 Input documents 62 9.1.3 Output documents 62 9.1.4 Requirements 62 9.2 Software maintenance . 64 9.2.1 Objective . 64 9.2.2 Input documents 64 9.2.3 Output
33、documents 64 9.2.4 Requirements 64 Annex A (normative) Criteria for the selection of techniques and measures . 67 A.1 General . 67 A.2 Clauses tables 68 A.3 Detailed tables 74 Annex B (normative) Key software roles and responsibilities . 80 Annex C (informative) Documents Control Summary . 88 Annex
34、D (informative) Aim and description of techniques 90 D.1 Artificial Intelligence Fault Correction . 90 D.2 Analysable Programs 90 D.3 Avalanche/Stress Testing 91 D.4 Boundary Value Analysis . 91 D.5 Backward Recovery . 92 D.6 Cause Consequence Diagrams 92 D.7 Checklists . 92 D.8 Control Flow Analysi
35、s 93 D.9 Common Cause Failure Analysis . 93 D.10 Data Flow Analysis 94 D.11 Data Flow Diagrams 94 D.12 Data Recording and Analysis . 95 D.13 Decision Tables (Truth Tables) 95 D.14 Defensive Programming 96 D.15 Coding Standards and Style Guide 96 D.16 Diverse Programming 97 D.17 Dynamic Reconfigurati
36、on . 98 D.18 Equivalence Classes and Input Partition Testing 98 D.19 Error Detecting and Correcting Codes . 98 D.20 Error Guessing 99 D.21 Error Seeding 99 D.22 Event Tree Analysis 100 D.23 Fagan Inspections . 100 IEC 62279:2015 IEC 2015 5 D.24 Failure Assertion Programming 100 D.25 SEEA Software Er
37、ror Effect Analysis 101 D.26 Fault Detection and Diagnosis . 101 D.27 Finite State Machines/State Transition Diagrams . 102 D.28 Formal Methods 102 D.28.1 General . 102 D.28.2 CSP Communicating Sequential Processes . 103 D.28.3 CCS Calculus of Communicating Systems . 104 D.28.4 HOL Higher Order Logi
38、c 104 D.28.5 LOTOS 104 D.28.6 OBJ . 105 D.28.7 Temporal logic . 105 D.28.8 VDM Vienna Development Method . 105 D.28.9 Z method . 106 D.28.10 B method . 106 D.28.11 Model Checking . 107 D.29 Formal Proof . 108 D.30 Forward Recovery . 108 D.31 Graceful Degradation 108 D.32 Impact Analysis . 109 D.33 I
39、nformation Hiding / Encapsulation 109 D.34 Interface Testing . 110 D.35 Language Subset 110 D.36 Memorising Executed Cases . 110 D.37 Metrics 111 D.38 Modular Approach . 111 D.39 Performance Modelling 112 D.40 Performance Requirements . 112 D.41 Probabilistic Testing 113 D.42 Process Simulation . 11
40、3 D.43 Prototyping / Animation . 114 D.44 Recovery Block . 114 D.45 Response Timing and Memory Constraints 114 D.46 Re-Try Fault Recovery Mechanisms 115 D.47 Safety Bag 115 D.48 Software Configuration Management . 115 D.49 Strongly Typed Programming Languages . 115 D.50 Structure Based Testing 116 D
41、.51 Structure Diagrams . 116 D.52 Structured Methodology 117 D.53 Structured Programming 118 D.54 Suitable Programming languages 118 D.55 Time Petri Nets . 119 D.56 Walkthroughs / Design Reviews . 119 D.57 Object Oriented Programming . 120 D.58 Traceability . 120 D.59 Metaprogramming . 121 D.60 Proc
42、edural programming . 121 D.61 Sequential Function Charts . 122 6 IEC 62279:2015 IEC 2015 D.62 Ladder Diagram 122 D.63 Functional Block Diagram 122 D.64 State Chart or State Diagram . 122 D.65 Data modelling 123 D.66 Control Flow Diagram/Control Flow Graph . 123 D.67 Sequence diagram 124 D.68 Tabular
43、 Specification Methods . 125 D.69 Application specific language 125 D.70 UML (Unified Modeling Language) . 125 D.71 Domain specific languages 126 Bibliography . 127 Figure 1 Illustrative software route map 12 Figure 2 Illustration of the preferred organisational structure . 22 Figure 3 Illustrative
44、Development Life cycle 1 . 27 Figure 4 Illustrative Development Life cycle 2 . 28 Table 1 Relation between tool class and applicable subclauses 41 Table 2 Illustrative Relation between tool class and product SIL 41 Table A.1 Life cycle Issues and Documentation (5.3) 68 Table A.2 Software Requirement
45、s Specification (7.2) 70 Table A.3 Software Architecture (7.3) . 71 Table A.4 Software Design and Implementation (7.4) 72 Table A.5 Verification and Testing (6.2 and 7.3, 7.5) . 72 Table A.6 Integration (7.6) . 73 Table A.7 Overall Software Testing (6.2 and 7.7) 73 Table A.8 Software Analysis Techni
46、ques (6.3) 73 Table A.9 Software Quality Assurance (6.5) 73 Table A.10 Software Maintenance (9.2) 74 Table A.11 Data Preparation Techniques (8.4) . 74 Table A.12 Coding Standards . 74 Table A.13 Dynamic Analysis and Testing 75 Table A.14 Functional/Black Box Test 75 Table A.15 Textual Programming La
47、nguages 76 Table A 16 Diagrammatic Languages for Application Algorithms . 76 Table A.17 Modelling . 77 Table A.18 Performance Testing 77 Table A.19 Static Analysis 77 Table A.20 Components . 78 Table A.21 Test Coverage for Code 78 Table A.22 Object Oriented Software Architecture 79 Table A.23 Object
48、 Oriented Detailed Design . 79 Table B.1 Requirements Manager Role Specification 80 Table B.2 Designer Role Specification 80 IEC 62279:2015 IEC 2015 7 Table B.3 Implementer Role Specification 81 Table B.4 Tester Role Specification 82 Table B.5 Verifier Role Specification 82 Table B.6 Integrator Role
49、 Specification . 83 Table B.7 Validator Role Specification 84 Table B.8 Assessor Role Specification . 85 Table B.9 Project Manager Role Specification 86 Table B.10 Configuration Manager Role Specification . 86 Table B.11 Quality Assurance Manager Role Specification 87 Table B.12 Reviewer Role Specification . 87 Table C.1 Documents Control Summary . 88
