DO-178C / ED-12C Model Based Supplement. Pierre Lionne, SC-205 / WG-71 SG-4 Co-Chairman 1 Nov. 2011
|
|
- Jeffrey Small
- 5 years ago
- Views:
Transcription
1 DO-78C / ED-2C Model Based Supplement Pierre Lionne, SC-205 / WG-7 SG-4 Co-Chairman Nov. 20
2 Summary Introduction Foundations Concepts Highlights Conclusion
3 Introduction
4 Introduction Issues TOR DO-78C ED-94C ED-94B Supplement X Supplement Y DO-78B
5 Introduction CNS/ATM & Safety Document Integration SG SG 7 Formal Methods Issues & Rationale SG 2 SC 205 WG 7 SG 6 Tools SG 3 SG 4 SG 5 Object Oriented Model Based Development & Verification
6 Foundation Concepts
7 Foundation Concepts Models to express requirements Scope of supplement Modeling Technique Model Parent Requirements Simulation
8 Concept # Model is an acceptable means to express completely software requirements or architecture Req_00: The XX module shall Wait 0ms before entering in blabl state Req_002: The XX module. Derived Req_003: enable 2 > nb_ticks Relational Operator /z From Unit Delay u u2 if(u == 0) elseif(u2 == ) else If if { } reset counter elseif { } counter_n_ increment counter Goto Status Status else { } WHC_DFS_38/39 raise confirmation flag
9 Concept #2 The supplement applies to any model that is used to define software artifacts whatever the process that produced it u if(u == 0) enable 2 nb_ticks elseif(u2 == ) > u2 else Relational If Operator if { } reset counter Goto From /z Unit Delay elseif { } counter_n_ increment counter Status Status else { } WHC_DFS_38/39 raise confirmation flag u if(u == 0) enable 2 nb_ticks elseif(u2 == ) > u2 else Relational If Operator if { } reset counter Goto From /z Unit Delay elseif { } counter_n_ increment counter Status Status else { } WHC_DFS_38/39 raise confirmation flag
10 Concept #3 Modeling Technique = A Modeling Language AND A manner of using this language Modeling Technique has to be suitable to the type and to the level of abstr of the information to be expressed Modeling Technique have to be described in Model Standards
11 Concept #4 Model should be developed from a complete set of requirements and constraints external to it Model Parent Requirements
12 Concept #5 Simulation: appropriate means to support model verification Model Parent Requirements
13 Concept #6 Simulation may be used to support the testing effort Model Parent Requirements enable 2 nb_ticks > Relational Operator u u2 if(u == 0) elseif(u2 == ) If else if { } reset counter Goto From /z Unit Delay elseif { } counter_n_ increment counter Status Status else { } WHC_DFS_38/39 raise confirmation flag Executable Object Code
14 Highlights
15 Highlights System / Software Planning Process Development Process Verification Process Tools
16 System / Software Interfaces between System and Software processes updated to address the case where system team produces a software model
17 Planning Process Introduction of Model Standards Syntax & Semantic of the language Constraint on complexity Means to identify Requirements Derived requirements identification Means to establish traceability
18 Development Process Same guidance apply for requirements expressed in a model Model elements which do not represent requirements should be identified
19 Verification Process Guidance from DO-78C / ED-2C Core Document remains applicable
20 Verification Process Simulation & model verification: New means => New artifacts: Simulation Cases & Procedures Simulation Results Simulation Cases based on Model Parent Requirements
21 Verification Process Model Parent Requirements Simulation Cases Development Simulation Procedures Verification enable 2 nb_ticks if(u == 0) u elseif(u2 == ) > u2 else Relational If Operator if { } reset counter Goto Simulation Results From /z Unit Delay elseif { } counter_n_ increment counter Status Status else { } WHC_DFS_38/39 raise confirmation flag
22 Verification Process Test: Same guidance than in DO-78B / ED-2B: Compliance & Robustness with LLR Compliance & Robustness with HLR
23 Verification Process Test (classical) High Level Requirements Low Level Requirements Executable Object Code
24 Verification Process Test (example #) u if(u == 0) Model = HLR enable 2 nb_ticks elseif(u2 == ) > u2 else Relational If Operator if { } reset counter Goto From /z Unit Delay elseif { } counter_n_ increment counter Status Status else { } WHC_DFS_38/39 raise confirmation flag Low Level Requirements Executable Object Code
25 Verification Process Test (example #2) High Level Requirements u if(u == 0) Model = LLR enable elseif(u2 == ) 2 > u2 nb_ticks else Relational If Operator /z From Unit Delay if { } reset counter Goto elseif { } counter_n_ increment counter Status Status else { } WHC_DFS_38/39 raise confirmation flag Executable Object Code
26 Verification Process Test (example #3) Model = HLR + LLR enable 2 > nb_ticks Relational Operator /z From Unit Delay u u2 if(u == 0) elseif(u2 == ) else If if { } reset counter elseif { } counter_n_ increment counter Goto Status Status else { } WHC_DFS_38/39 raise confirmation flag Executable Object Code
27 Verification Process Test (example 3) Model Parent Requirements enable 2 nb_ticks if(u == 0) u elseif(u2 == ) > u2 else Relational If Operator if { } reset counter Goto From /z Unit Delay elseif { } counter_n_ increment counter Status Status Model = HLR + LLR else { } WHC_DFS_38/39 raise confirmation flag Executable Object Code
28 Verification Process Test (example 3) When model express both LLR and HLR, it is required to show: Compliance & Robustness of EOC with Model Compliance & Robustness of EOC with Model Parent Requirements (whatever the process that produced it)
29 Verification Process Model Coverage Analysis: Detect unintended functions in a model Model Parents Requirements u if(u == 0) enable 2 nb_ticks elseif(u2 == ) > u2 else Relational If Operator if { } reset counter Goto From /z Unit Delay elseif { } counter_n_ increment counter Status Status Unintended function else { } WHC_DFS_38/39 raise confirmation flag Executable
30 Verification Process Simulation & Test: Some testing objectives can be achieved by a combination of simulation and other traditional means. HW/SW Integration test objectives cannot be achieved by simulation.
31 Tools Model Parent Requirements Code Verification & Validation Code Coverage Model Standards Model Conformance enable 2 nb_ticks if(u == 0) u elseif(u2 == ) > u2 else Relational If Operator if { } reset counter Goto Test Model Coverage Trace Tool From /z Unit Delay elseif { } counter_n_ increment counter else { } Status Status WHC_DFS_38/39 raise confirmation flag Code Conformance Code Inspector Source Code Code Verification & Validation Code Coverage Trace Tool Executable Object Code
32 Conclusion
33 Highlights Model Parent Requirements Concept #4 Model Standards u if(u == 0) enable 2 nb_ticks elseif(u2 == ) > u2 else Relational If Operator if { } reset counter Goto Concept #5 From /z Unit Delay elseif { } counter_n_ increment counter Status Status Concept #3 else { } WHC_DFS_38/39 raise confirmation flag Concept # #2 Source Code Concept #6 Executable Object Code
34 Conclusion In the continuity of existing rules Consistent with current practices Try to anticipate future trends
35 Thank you for your attention! The reproduction, distribution and utilization of this document as well as the communication of its contents to others without express authorization is prohibited. Offenders will be held liable for the payment of damages. All rights reserved in the event of the grant of a patent, utility model or design. Title Date 35
Certification Authorities Software Team (CAST) Position Paper CAST-25
Certification Authorities Software Team (CAST) Position Paper CAST-25 CONSIDERATIONS WHEN USING A QUALIFIABLE DEVELOPMENT ENVIRONMENT (QDE) IN CERTIFICATION PROJECTS COMPLETED SEPTEMBER 2005 (Rev 0) NOTE:
More informationDO-330/ED-215 Benefits of the new Tool Qualification
Frédéric Pothon ACG Solutions DO-330/ED-215 Benefits of the new Tool Qualification (c) Frédéric Pothon, 2012 This work is licensed under a Creative Commons Attribution-Non Commercial-ShareAlike 3.0 Unported
More informationAn incremental and multi-supplement compliant process for Autopilot development to make drones safer
An incremental and multi-supplement compliant process for Autopilot development to make drones safer Frédéric POTHON - ACG Solutions frederic.pothon@acg-solutions.fr Tel: (33)4. 67. 609.487 www.acg-solutions.fr
More informationGuidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process
Guidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process UK MathWorks Aerospace & Defence Industry Working Group Guidelines for deployment of MathWorks R2010a toolset within
More informationS1000D and Wiring Data - Successfully in Operation
S1000D and Wiring Data - Successfully in Operation S1000D User Forum 2013, Vienna, 2013-09-16/19 sebastian.sterr@cassidian.com CASSIDIAN Manching - COPCI Technical Information AGENDA 1. Introduction 2.
More informationautomatisiertensoftwaretests
FunktionaleSicherheitmit automatisiertensoftwaretests SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICAION RTCA DO-178B RTCA Dynamisch& Statisch 0 Agenda Übersicht über Sicherheitsstandards
More informationTest Engineering Services UK. Terry Coles, Principle Consultant IEEE 1641 Validation An Overview of Tools Developed for DE&S 31 st May 2012
Test Engineering Services UK Terry Coles, Principle Consultant IEEE 1641 Validation An Overview of Tools Developed for DE&S 31 st May 2012 IEEE 1641 and ATML - Overview of Purpose and Benefits Background
More informationModel-Based Design for Safety-Critical and Mission-Critical Applications Bill Potter Technical Marketing April 17, 2008
Model-Based Design for Safety-Critical and Mission-Critical Applications Bill Potter Technical Marketing April 17, 2008 2008 The MathWorks, Inc. Safety-Critical Model-Based Design Workflow Validate Trace:
More informationCertification of Model Transformations
Certification of Transformations Dániel Varró 1st Workshop on the Analysis of Transformations (AMT 2012) Sharing some challenges of the CERTIMOT project Budapest University of Technology and Economics
More informationBy V-cubed Solutions, Inc. Page1. All rights reserved by V-cubed Solutions, Inc.
By V-cubed Solutions, Inc. Page1 Purpose of Document This document will demonstrate the efficacy of CODESCROLL CODE INSPECTOR, CONTROLLER TESTER, and QUALITYSCROLL COVER, which has been developed by V-cubed
More informationIan Sommerville 2006 Software Engineering, 8th edition. Chapter 22 Slide 1
Verification and Validation Slide 1 Objectives To introduce software verification and validation and to discuss the distinction between them To describe the program inspection process and its role in V
More informationChanging the way the world does software
Changing the way the world does software Automated Certification from Soup to Nuts Nick Tudor njt@drisq.com Introducing D-RisQ D-RisQ is a SME based in Malvern, UK. All personnel have a background in mathematics,
More informationAutomating Best Practices to Improve Design Quality
Automating Best Practices to Improve Design Quality 임베디드 SW 개발에서의품질확보방안 이제훈차장 2015 The MathWorks, Inc. 1 Key Takeaways Author, manage requirements in Simulink Early verification to find defects sooner
More informationEA-7/05 - EA Guidance on the Application of ISO/IEC 17021:2006 for Combined Audits
Publication Reference EA-7/05 EA Guidance on the Application of ISO/IEC 17021:2006 for Combined Audits PURPOSE This document has been prepared by a task force under the direction of the European Cooperation
More informationBUILDING GOOD-QUALITY FUNCTIONAL SPECIFICATION MODEL
BUILDING GOOD-QUALITY FUNCTIONAL SPECIFICATION MODEL A few words on Samares Engineering Research and Consultancy on Systems Engineering Requirement engineering Model-Based Systems Engineering Co-simulation
More informationOscar Slotosch, Validas AG. Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools
Oscar Slotosch, Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools, 2012 Seite 1 Content Roadmap Requirements for Tool Qualification (Standards) Proposals for Goals for Eclipse Proposals
More informationA unified tool to fulfill semi formal and formal requirements for CC evaluations
A unified tool to fulfill semi formal and formal requirements for CC evaluations 7 th ICCC Lanzarote September 19 th -21 st 2006 Speakers Carolina LAVATELLI (Trusted Labs) Jean-Pierre KRIMM (CESTI-LETI)
More informationISO INTERNATIONAL STANDARD. Ergonomics of human-system interaction Part 110: Dialogue principles
INTERNATIONAL STANDARD ISO 9241-110 First edition 2006-04-01 Ergonomics of human-system interaction Part 110: Dialogue principles Ergonomie de l'interaction homme-système Partie 110: Principes de dialogue
More informationVerification and Validation of High-Integrity Systems
Verification and Validation of High-Integrity Systems Chethan CU, MathWorks Vaishnavi HR, MathWorks 2015 The MathWorks, Inc. 1 Growing Complexity of Embedded Systems Emergency Braking Body Control Module
More informationIBM Rational Rhapsody
IBM Rational Rhapsody IBM Rational Rhapsody TestConductor Add On Qualification Kit for DO-178B/C Overview Version 1.9 License Agreement No part of this publication may be reproduced, transmitted, stored
More informationDeriving safety requirements according to ISO for complex systems: How to avoid getting lost?
Deriving safety requirements according to ISO 26262 for complex systems: How to avoid getting lost? Thomas Frese, Ford-Werke GmbH, Köln; Denis Hatebur, ITESYS GmbH, Dortmund; Hans-Jörg Aryus, SystemA GmbH,
More informationAutomating Best Practices to Improve Design Quality
Automating Best Practices to Improve Design Quality Adam Whitmill, Senior Application Engineer 2015 The MathWorks, Inc. 1 Growing Complexity of Embedded Systems Emergency Braking Body Control Module Voice
More informationeproc strategic procurement
AIRBUS GROUP FOR EXTERNAL USE eproc strategic procurement eproc STRATEGIC PROCUREMENT FAQ eproc strategic procurement for AIRBUS GROUP Suppliers Issue No: v5 Issue date: Issued by The reproduction, distribution
More informationPart 5. Verification and Validation
Software Engineering Part 5. Verification and Validation - Verification and Validation - Software Testing Ver. 1.7 This lecture note is based on materials from Ian Sommerville 2006. Anyone can use this
More informationStandardkonforme Absicherung mit Model-Based Design
Standardkonforme Absicherung mit Model-Based Design MATLAB EXPO 2014 Dr. Marc Segelken Principal Application Engineer 2014 The MathWorks, Inc. 1 Safety Standards for Embedded Systems IEC 61508 ISO 26262
More informationAutomated Cloud Compliance. GxP and 21 CFR Part 11 Compliance
Automated Cloud Compliance GxP and 21 CFR Part 11 Compliance Solution Overview Sierra Labs has developed a set of tools to help companies with HIPAA compliance, 21 CFR Part 11 requirement, and GxP validation
More informationVolume II, Section 5 Table of Contents
Volume II, Section 5 Table of Contents 5...5-1 5.1 Scope...5-1 5.2 Basis of...5-1 5.3 Initial Review of Documentation...5-2 5.4 Source Code Review...5-2 5.4.1 Control Constructs...5-3 5.4.1.1 Replacement
More informationDATA ITEM DESCRIPTION
helping projects succeed... DATA ITEM DESCRIPTION 1. TITLE VERIFICATION REQUIREMENTS SPECIFICATION (VRS) 2. Identification Number PPA-003914-7 17 August 2017 3. DESCRIPTION/PURPOSE OF THE VRS 3.1 The Verification
More informationUsing Model-Based Design in conformance with safety standards
Using Model-Based Design in conformance with safety standards MATLAB EXPO 2014 Kristian Lindqvist Senior Engineer 2014 The MathWorks, Inc. 1 High-Integrity Applications Software-based systems that are
More informationATNP Configuration Control Board (CCB) Procedures Document
-WP/66 15 March 1996 AERONAUTICAL TELECOMMUNICATION NETWORK PANEL CCB Standing Document ATNP Configuration Control Board (CCB) Edited by CCB Chair SUMMARY This document contains detailed procedures to
More informationVerification and Validation. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1
Verification and Validation 1 Objectives To introduce software verification and validation and to discuss the distinction between them To describe the program inspection process and its role in V & V To
More informationOne 32-bit counter that can be free running or generate periodic interrupts
PSoC Creator Component Datasheet Multi-Counter Watchdog (MCWDT_PDL) 1.0 Features Configures up to three counters in a multi-counter watchdog (MCWDT) block Two 16-bit counters that can be free running,
More informationVerification and Validation
Lecturer: Sebastian Coope Ashton Building, Room G.18 E-mail: coopes@liverpool.ac.uk COMP 201 web-page: http://www.csc.liv.ac.uk/~coopes/comp201 Verification and Validation 1 Verification and Validation
More informationProduction Code Generation and Verification for Industry Standards Sang-Ho Yoon Senior Application Engineer
Production Code Generation and Verification for Industry Standards Sang-Ho Yoon Senior Application Engineer 2012 The MathWorks, Inc. 1 High-Integrity Applications Often Require Certification Software-based
More informationControl Structures II. Repetition (Loops)
Control Structures II Repetition (Loops) Why Is Repetition Needed? How can you solve the following problem: What is the sum of all the numbers from 1 to 100 The answer will be 1 + 2 + 3 + 4 + 5 + 6 + +
More informationAn ontology for Systems Engineering based on ISO Semantic encoding of Systems Engineering information
An ontology for Systems Engineering based on ISO 15926-11 Semantic encoding of Systems Engineering information EPC contractor in the Netherlands in the area of shipbuilding, infrastructure, building- and
More informationSoftware Requirements Specification. <Project> for. Version 1.0 approved. Prepared by <author(s)> <Organization> <Date created>
Software Requirements Specification for Version 1.0 approved Prepared by Software Requirements Specification for Page 2 Table of Contents Revision
More informationThis document is a preview generated by EVS
TECHNICAL SPECIFICATION ISO/TS 8000-150 First edition 2011-12-15 Data quality Part 150: Master data: Quality management framework Qualité des données Partie 150: Données permanentes: Cadre de management
More informationISO/IEC INTERNATIONAL STANDARD. Information technology Software asset management Part 1: Processes and tiered assessment of conformance
INTERNATIONAL STANDARD This is a preview - click here to buy the full publication ISO/IEC 19770-1 Second edition 2012-06-15 Information technology Software asset management Part 1: Processes and tiered
More informationAADL Requirements Annex Review
Dominique Blouin Lab-STICC Université de Bretagne-Occidentale Université de Bretagne-Sud Bretagne, France 1 AADL Standards Meeting, April 23 th, 2013 Agenda Comments from Annex Document Review Motivations
More informationTest Planning Guide. Summary: The purpose of this document is to define and document requirements in order to create and execute a test plan.
Test Planning Guide Summary: The purpose of this document is to define and document requirements in order to create and execute a test plan. Process: 1. Follow the guideline for each of the document below:
More informationSupplement 207 Conformity Assessment
Supplement 207 Conformity Assessment WG-31 Conformance, May 2018 Contents What did we achieve so far [WG-06]? [Nov-17] DICOM Conformity Assessment Model [Nov-17] Definitions for conformance based on OASIS
More informationISO/IEC TS Conformity assessment Guidelines for determining the duration of management system certification audits
TECHNICAL SPECIFICATION ISO/IEC TS 17023 First edition 2013-08-01 Conformity assessment Guidelines for determining the duration of management system certification audits Évaluation de la conformité Lignes
More informationEnterprise - Control System Integration Part 2: Object Model Attributes
ISA Draft 95.00.02 Draft Standard Enterprise - Control System Integration Part 2: Object Model Attributes Draft 9 May 2001 Deleted: 8 Deleted: April This document is a draft that represents work being
More informationVerification and Validation
Verification and Validation Assuring that a software system meets a user's needs Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 1 Objectives To introduce software verification
More informationChecklist for Requirements Specification Reviews
Checklist for Requirements Specification Reviews Organization and Completeness o Are all internal cross-references to other requirements correct? o Are all requirements written at a consistent and appropriate
More informationConformance Assertions, Test Scenarios, Test Cases, Conformity Assessment Report,
Conformance Assertions, Test Scenarios, Test Cases, Conformity Assessment Report, WG-31 Conformance, October 2017 Contents Overview Levels Verification structure Extending the content Physical test cases
More informationPart I: Preliminaries 24
Contents Preface......................................... 15 Acknowledgements................................... 22 Part I: Preliminaries 24 1. Basics of Software Testing 25 1.1. Humans, errors, and testing.............................
More informationCertification Description of Malaysia Sustainable Palm Oil (MSPO) Standard
The certification of a management system based on standard Malaysia Sustainable Palm Oil Standard (MSPO) respectively, consists of the offer and contract phase, the audit preparation, performance of the
More informationISO/IEC INTERNATIONAL STANDARD. Software engineering Lifecycle profiles for Very Small Entities (VSEs) Part 2: Framework and taxonomy
INTERNATIONAL STANDARD ISO/IEC 29110-2 First edition 2011-01-15 Software engineering Lifecycle profiles for Very Small Entities (VSEs) Part 2: Framework and taxonomy Ingénierie du logiciel Profils de cycle
More informationISO INTERNATIONAL STANDARD. Ergonomics of human-system interaction Part 110: Dialogue principles
INTERNATIONAL STANDARD ISO 9241-110 First edition 2006-04-01 Ergonomics of human-system interaction Part 110: Dialogue principles Ergonomie de l'interaction homme-système Partie 110: Principes de dialogue
More informationBEETLE Systems. IRTOUCH driver for Wincor Nixdorf BA82/BA83 with infrared touch. Version 1.0 (2011/08/31)
BEETLE Systems IRTOUCH driver 2.1.0.8 for Wincor Nixdorf BA82/BA83 with infrared touch Version 1.0 (2011/08/31) All brand and product names mentioned in this document are trademarks of their respective
More informationISO/IEC JTC 1/SC 35 N 1664
ISO/IEC JTC 1/SC 35 N 1664 DATE: 2011-03-29 ISO/IEC JTC 1/SC 35 User Interfaces Secretariat: AFNOR DOC TYPE: TITLE: SOURCE: PROJECT: STATUS: WD Information technology User interfaces Principal voice commands
More informationINTERNATIONAL STANDARD
INTERNATIONAL STANDARD ISO/IEC 90003 First edition 2004-02-15 Software engineering Guidelines for the application of ISO 9001:2000 to computer software Ingénierie du logiciel Lignes directrices pour l'application
More informationISO/IEC JTC 1/SC 32 N 1257
ISO/IEC JTC 1/SC 32 N 1257 Date: 2005-03-30 REPLACES: -- ISO/IEC JTC 1/SC 32 Data Management and Interchange Secretariat: United States of America (ANSI) Administered by Farance, Inc. on behalf of ANSI
More informationΗΜΥ 317 Τεχνολογία Υπολογισμού
ΗΜΥ 317 Τεχνολογία Υπολογισμού Εαρινό Εξάμηνο 2008 ΙΑΛΕΞΕΙΣ 18-19: Έλεγχος και Πιστοποίηση Λειτουργίας ΧΑΡΗΣ ΘΕΟΧΑΡΙ ΗΣ Λέκτορας ΗΜΜΥ (ttheocharides@ucy.ac.cy) [Προσαρμογή από Ian Sommerville, Software
More informationConformity assessment Requirements for bodies providing audit and certification of management systems. Part 6:
TECHNICAL SPECIFICATION ISO/IEC TS 17021-6 First edition 2014-12-01 Conformity assessment Requirements for bodies providing audit and certification of management systems Part 6: Competence requirements
More informationDevelopment Guidance and Certification Considerations
Integrated Modular Avionics Development Guidance and Certification Considerations René L.C. Eveleens National Aerospace Laboratory NLR P.O. Box 90502 1006BM Amsterdam RTO SCI LS-176: Mission System Engineering
More informationFormal Verification in Aeronautics: Current Practice and Upcoming Standard. Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST
Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Outline Project Hi-Lite Industrial Applications DO-178C DO-178B 1992 2012
More informationNC Solutions. Description of NC program 2135
NC Solutions Description of NC program 35 English (en) 8/07 Description of the NC program 35_en.h Description of the NC program 35_en.h NC program for milling a stud in the shape of a P3G polygon as per
More informationFUNCTIONAL SAFETY CERTIFICATE
FUNCTIONAL SAFETY CERTIFICATE This is to certify that the GSS (GSA******-*) Series Global Safety Limit Switch Manufactured by Honeywell International Inc. 315 East Stephenson Street, Freeport, Illinois,
More informationANSI/CEA Standard. Modular Communications Interface for Thermostat Message Set ANSI/CEA
ANSI/CEA Standard Modular Communications Interface for Thermostat Message Set ANSI/CEA-2045.3 August 2014 NOTICE Consumer Electronics Association (CEA ) Standards, Bulletins and other technical publications
More informationAN1369 APPLICATION NOTE
AN1369 APPLICATION NOTE GETTING STARTED WITH RAISONANCE IDE FOR THE ST6 MICROCONTROLLER by Microcontroller Division Applications INTRODUCTION Ride is the development toolchain for ST62 developed by Raisonance.
More informationISO INTERNATIONAL STANDARD. Ergonomics of human system interaction Part 210: Human-centred design for interactive systems
INTERNATIONAL STANDARD ISO 9241-210 First edition 2010-03-15 Ergonomics of human system interaction Part 210: Human-centred design for interactive systems Ergonomie de l'interaction homme système Partie
More informationIntegration of Mixed Criticality Systems on MultiCores: Limitations, Challenges and Way ahead for Avionics
Integration of Mixed Criticality Systems on MultiCores: Limitations, Challenges and Way ahead for Avionics TecDay 13./14. Oct. 2015 Dietmar Geiger, Bernd Koppenhöfer 1 COTS HW Evolution - Single-Core Multi-Core
More informationIEEE Broadband Wireless Access Working Group <
2004-03-05 IEEE C802.16e-04/28 Project IEEE 802.16 Broadband Wireless Access Working Group Title Idle handover & location update in 802.16e Date Submitted 2004-03-05 Source(s) Changhoi
More informationISO INTERNATIONAL STANDARD. Ergonomics of human system interaction Part 210: Human-centred design for interactive systems
INTERNATIONAL STANDARD ISO 9241-210 First edition 2010-03-15 Ergonomics of human system interaction Part 210: Human-centred design for interactive systems Ergonomie de l'interaction homme système Partie
More informationI-Care Online mobile Manual
I-Care Online mobile Manual GENERAL NOTE THIS DOCUMENT CONTAINS INFORMATION ON DORO PRODUCTS. THE SPECIFICATIONS IN THIS DOCUMENT ARE SUBJECT TO CHANGE WITHOUT PRIOR NOTICE. THE RECIPIENT SHALL NOT TRANSFER,
More informationSecurity Standardization
ISO-ITU ITU Cooperation on Security Standardization Dr. Walter Fumy Chairman ISO/IEC JTC 1/SC 27 Chief Scientist, Bundesdruckerei GmbH, Germany 7th ETSI Security Workshop - Sophia Antipolis, January 2012
More informationOpen Source Software Quality Certification
Open Source Software Quality Certification The Emerging ANSI Standard Wes Turner Director, Open Source Operations OSEHRA Mike Henderson Director, Open Source Product Management OSEHRA Wednesday, September
More informationMEASURES TO ENHANCE MARITIME SECURITY. Cyber risk management in Safety Management Systems. Submitted by United States, ICS and BIMCO SUMMARY
E MARITIME SAFETY COMMITTEE 101st session Agenda item 4 26 March 2019 Original: ENGLISH Pre-session public release: MEASURES TO ENHANCE MARITIME SECURITY Cyber risk management in Safety Management Systems
More informationFramework for building information modelling (BIM) guidance
TECHNICAL SPECIFICATION ISO/TS 12911 First edition 2012-09-01 Framework for building information modelling (BIM) guidance Cadre pour les directives de modélisation des données du bâtiment Reference number
More informationIVI. Interchangeable Virtual Instruments. IVI-3.10: Measurement and Stimulus Subsystems (IVI-MSS) Specification. Page 1
IVI Interchangeable Virtual Instruments IVI-3.10: Measurement and Stimulus Subsystems (IVI-MSS) Specification March, 2008 Edition Revision 1.0.1 Page 1 Important Information The IVI Measurement and Stimulus
More informationCirculated to P- and O-members, and to technical committees and organizations in liaison for voting (P-members only) by:
Committee Draft ISO/IEC CD 24706 Date: 2006-05-01 Reference number: ISO/JTC 1/SC 32N1469 Supersedes document SC 32N1257 THIS DOCUMENT IS STILL UNDER STUDY AND SUBJECT TO CHANGE. IT SHOULD NOT BE USED FOR
More informationINTERNATIONAL STANDARD
ISO/IEC 11801-3 INTERNATIONAL STANDARD Edition 1.0 2017-11 Information technology Generic cabling for customer premises Part 3: Industrial premises INTERNATIONAL ELECTROTECHNICAL COMMISSION ICS 35.200
More informationPayment Card Industry - Data Security Standard (PCI-DSS)
Payment Card Industry - Data Security Standard (PCI-DSS) Tills Security Standard (SAQ P2PE) Version 1-0-0 14 March 2018 University of Leeds 2018 The intellectual property contained within this publication
More information3D Visualization. Requirements Document. LOTAR International, Visualization Working Group ABSTRACT
3D Visualization Requirements Document LOTAR International, Visualization Working Group ABSTRACT The purpose of this document is to provide the list of requirements and their associated priorities related
More informationOPEN BASE STATION ARCHITECTURE INITIATIVE
OPEN BASE STATION ARCHITECTURE INITIATIVE Conformance Test Specification Appendix H UDPCP Test Cases Version.00 Issue.00 (38) FOREWORD OBSAI description and specification documents are developed within
More informationRemote Configuration Software DMS NetConfig 2
Installation and Operation English Remote Configuration Software DMS NetConfig 2 Rev. 1.0.0/ 2010-07-22 Information about copyright, trademarks, design patents 2010 Dallmeier electronic The reproduction,
More informationSoftware architecture in ASPICE and Even-André Karlsson
Software architecture in ASPICE and 26262 Even-André Karlsson Agenda Overall comparison (3 min) Why is the architecture documentation difficult? (2 min) ASPICE requirements (8 min) 26262 requirements (12
More informationOperation. English. Viewer. Rev /
Operation English Viewer Rev. 2.0.0 / 2017-11-13 Information about Copyright, Trademarks, Design Patents 2017 Dallmeier electronic The reproduction, distribution and utilization of this document as well
More informationConfiguration and Operation. English. DMVC App. Client Software for Dallmeier Recording Systems and DMVC Server
Configuration and Operation English Client Software for Dallmeier Recording Systems and DMVC Server Rev. 2.0.0 /12-09-2017 Information about Copyright, Trademarks, Design Patents 2017 Dallmeier electronic
More informationAudit Report. City & Guilds
Audit Report City & Guilds 3 April 2014 and 5 March 2015 Contents 1 Background 1 1.1 Scope 1 1.2 Audit Report and Action Plan Timescales 2 1.3 Summary of Audit Issues and Recommendations 3 1.4 Risk Rating
More informationInformation technology Security techniques Blind digital signatures. Part 1: General
INTERNATIONAL STANDARD ISO/IEC 18370-1 First edition 2016-11-15 Information technology Security techniques Blind digital signatures Part 1: General Technologie de l information Techniques de sécurité Signatures
More informationModel-Based Design for Large High-Integrity Systems: A Discussion on Logic-Intensive Algorithms
AAS 13-004 Model-Based Design for Large High-Integrity Systems: A Discussion on Logic-Intensive Algorithms Mike Anthony, Will Campbell, and Becky Petteys MathWorks 36 th ANNUAL AAS GUIDANCE AND CONTROL
More informationManual. PLC Lib: Tc2_DataExchange. TwinCAT 3. Version: Date:
Manual PLC Lib: Tc2_DataExchange TwinCAT 3 Version: Date: 1.1 2018-01-23 Table of contents Table of contents 1 Foreword... 5 1.1 Notes on the documentation... 5 1.2 Safety instructions... 6 2 Introduction...
More informationAutomatización de Métodos y Procesos para Mejorar la Calidad del Diseño
Automatización de Métodos y Procesos para Mejorar la Calidad del Diseño Luis López 2015 The MathWorks, Inc. 1 Growing Complexity of Embedded Systems Emergency Braking Body Control Module Voice Recognition
More information(Cat. No L26B, -L46B, and -L86B) Supplement
(Cat. No. 1785-L26B, -L46B, and -L86B) Supplement Because of the variety of uses for the products described in this publication, those responsible for the application and use of this control equipment
More informationAbu Dhabi Certification Scheme for Assistant Engineer Assessment and Surveillance Plan for Assistant Engineer
Abu Dhabi Certification Scheme for Assistant Engineer Assessment and Surveillance Plan for Assistant Engineer Issue: 1.0 Date: 21/01/2018 Total Number of Pages: 12 Table of Contents ABOUT THE ABU DHABI
More informationRequest for Quotation (RfQ)
Request for Quotation (RfQ) For ONVIF Technical Services Committee Device Test Tool Evolution WG Project Ash Circulation: 2017-June-02 Quotation Due: 2017-June-19 Copyright ONVIF 2017. All rights reserved.
More informationAn Initiative of Agricultural Industry to foster Electronic Standards
Agricultural Industry Electronics Foundation AEF An Initiative of Agricultural Industry to foster Electronic Standards Rainer Hofmann Chairman AEF Rainer Hofmann, AEF e.v., 14.June 2012 Page 1 Topics Why
More information[Document reference] COMMITTEE DRAFT (CD)
IEC/TC or SC: Title of TC/SC: Project number 0- Date of circulation [Document reference] COMMITTEE DRAFT (CD) Closing date for comments WIND TURBINE GENERATOR SYSTEMS Also of interest to the following
More informationISO/IEC INTERNATIONAL STANDARD. Information technology Open distributed processing Reference model: Foundations
INTERNATIONAL STANDARD ISO/IEC 10746-2 Second edition 2009-12-15 Information technology Open distributed processing Reference model: Foundations Technologies de l'information Traitement réparti ouvert
More informationProposed Revisions to ebxml Technical. Architecture Specification v1.04
Proposed Revisions to ebxml Technical Architecture Specification v1.04 Business Process Team 11 May 2001 (This document is the non-normative version formatted for printing, July 2001) Copyright UN/CEFACT
More informationManual. PLC Lib: Tc2_DataExchange. TwinCAT 3. Version: Date:
Manual TwinCAT 3 Version: Date: 1.0 2015-11-05 Table of Contents Table of Contents 1 Foreword... 4 1.1 Notes on the documentation... 4 1.2 Safety instructions... 5 2 Introduction... 6 3 Event driven data
More informationAda's approach to Software Vulnerabilities
Ada's approach to Software Vulnerabilities Stephen Michell Maurya Software Ottawa Canada 25/06/06 Outline Introduction, History Rationale Approach Language Analysis Assessment of Approach Introduction
More informationSURGE PROTECTION USER MANUAL. Surge Protection Device PORTABLE POWER DISTRIBUTION SURGE PROTECTION DEVICE (SPD) B
SURGE PROTECTION PORTABLE POWER DISTRIBUTION SURGE PROTECTION DEVICE (SPD) USER MANUAL Surge Protection Device B 01 156 9000 This Surge Protection Device is intended for professional use only Read this
More informationBest Practices Process & Technology. Sachin Dhiman, Senior Technical Consultant, LDRA
Best Practices Process & Technology Sachin Dhiman, Senior Technical Consultant, LDRA Best Quality Software Product Requirements Design Coding Testing 2 Product Requirement Feature Requirement Security
More informationCOMPUTER/INFORMATION FLOOD STANDARDS
COMPUTER/INFORMATION FLOOD STANDARDS CIF-1 Flood Model Documentation A. Flood model functionality and technical descriptions shall be documented formally in an archival format separate from the use of
More informationInformation technology Guidelines for the application of ISO 9001:2008 to IT service management and its integration with ISO/IEC :2011
TECHNICAL REPORT ISO/IEC TR 90006 First edition 2013-11-01 Information technology Guidelines for the application of ISO 9001:2008 to IT service management and its integration with ISO/IEC 20000-1:2011
More information