Simulink Code Inspector 加强了 MathWorks 对 DO 178 认证的支持
MathWorks 在2011b版 (R2011b) MATLAB 和 Simulink 产品系列中新引入了 Simulink Code Inspector,该产品促进了对基于 Simulink 模型生成的源代码的检查。航空工程师们现在可以使用 Simulink Code Inspector 来创建详细的模型到代码和代码到模型的检查报告,帮助实现了 DO-178B 表 A-5 中规定的源代码验证和可追踪目标。
用户评论
推荐下载
-
SakEmail支持身份认证
李茂林加入(2004-05-31)支持邮件服务器身份认证功能AuthUser//是否认证UserId//认证用户名UserPasswd//认证用户口令
17 2020-05-23 -
DO178C ED12C Changes_and_Improvements Sep2012.pdf
This work is licensed under a Creative Commons Attribution-Non Commercial-ShareAlike 3.0 Unported Li
4 2020-09-20 -
DO_178B英法中三种文本对照学习注记
本文汇总了对英文版DO-178B、法文版ED-12B和中文版HB/Z295-96进行对照学习时所做的注记。
28 2019-05-12 -
laravel spark google2fa Google认证者对Laravel Spark的支持.zip
laravel-spark-google2fa, Google认证者对 Laravel Spark的支持 Laravel Spark 6的Google认证器这个软件包将默认的两个因素认证驱动程序替换为
21 2020-07-24 -
自己DIY的无壳无后门清爽的明小子旁注工具.并加强了数据库的修改
自己DIY的无壳无后门清爽的明小子.并加强了数据库的修改,提高命中率.38个上传页面.现在改成了290个.后台页面改为450个.原来只有190多.下了保证你不会后悔.下了不要任意外传.切记.
41 2019-05-27 -
java对javascript的支持
比较详细的介绍了jdk1.6对脚本语言的支持(以javascript为例)
10 2020-09-18 -
spring对AOP的支持
博文链接:https://shaqiang32.iteye.com/blog/201917
23 2020-06-01 -
实现对OPENID的支持
现在openid正在兴起,这个可以让你的网站也支持openid
13 2020-05-25 -
jdbcTemplatespring对jdbc的支持
NULL博文链接:https://zhangyulong.iteye.com/blog/992578
21 2019-09-23 -
PB对Unicode的支持
PB的基础编程语言是种被称之为PowerScript的语言,由PB最先的开发商PowerSoft制定,之所以被称之为PowerScript,原因是它不同于VB,Delphi、C等语,它自成一套体系,虽
31 2019-09-07
暂无评论