For more information on Cantata for DO-178 B or DO-178C pleasecontact us. Our white paper,“Cantata BriefingDO 178cStandardpdf”provides a summary of how Cantata supports DO-178 C verification objectives by level. Start a free trial today and get a full copy of Cantata. ...
, 式系统进行需求描述 文中基于 178 使用 方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化 DO C SCR - , , 的需求描述 针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析 判断其是否满足 DO178 的相 - C 。 , 。 关验证指标 通过分析和验证 提出了 SCR方法中的一些应用技巧 该工作...
STANDARD “OPTIMIZED DO-178C” COURSE TOPICS: DO-178C Design Assurance and Relationship with ARP-4754A/4761. DO-178C PSAC explanation in detailed. Optimized DO-178C process planning (SDP and impact Lifecycle decisions). DO-178C Development Process, Traceability & Development Best Practices. ...
The commercial avionics community's DO-178B software safety certification requirements document is being updated to take into account twenty years of experience, and the new version (DO-178C) is close to completion. This half-day tutorial covers the core of the DO-178C standard, including the...
NASAC201500104-面向DO-178C软件测试过程的目标符合性论证模式.pdf,计算机研究与发展 DOI:10.7544/issn1000-1239.2015.*** Journal of Computer Research and Development 卷(期):起止页,年 面向DO-178C 软件测试过程的目标符合性论证模式 1 1 1 1 1 2 杨阳 苑
Theommercialvionicsommunity's DO-178Boftwareafetyertificationequirements document iseingpdatedoake intoccountwenty yearsf experience,ndhe new version (DO-178C) isloseoompletion.hisalf-dayutorialoversheorefhe DO-178Ctandard, includinghe newreatmentfool qualification,s wellheupplementsnbject-Orientedn...
From the series:Using Qualified Tools in a DO-178C Development Process Showing conformance to source code standards is an objective in DO-178C. Embedded Coder®has the capability to comply with MISRA®C:2012 coding standard. Polyspace Bug...
关键字:DO-178C软件生命周期软件验证方法软件验证活动 Research on Software Verification Process of DO-178C Fengyifei Ronghua (CETC Avionics Co., Ltd., Chengdu, Sichuan 610000)Abstract:With the research of the airbornesoftrware life cycle process which focus on DO-178C standard, this paper ...
The Dofr structure is a type that wraps a different data type for each type of record specified by Dofrh.dofrt. When
Making the Implicit Explicit: Towards An Assurance Case for DO-178C For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B) has been the primary means for rec... CM Holloway 被引量: 19发表: 2013年 Task design and verification tes...