操作应用于安全苛刻的航空和军事领域的嵌入式软件时必须高度关注安全问题。为达到可靠性目标，软件开发团队精益求精，力争使这些软件应用符合严格的验证流程并实现零缺陷目标。Edsger Dijkstra有句名言：测试只能发现错误，但不能证明错误不存在。如果测试无法证明不存在严重的运行错误，那么嵌入式软件开发团队如何才能确定其软件没有这些错误呢？基于数学证明的代码验证是值得一试的解决方案。在软件验证方面，可扩展的高性能数学技术在实际应用方面的最新发展十分有用，可实现对软件中不存在运行时错误进行证明。
2019-11-04 06:05
下载Matlab官方的工具箱或者硬件支持包为什么会失败呢？从第三方站点下载下来的Matlab工具箱怎么去安装呢？
2021-11-19 06:47
allegro打开缺少cnlib.dll。电脑版本wings764位的。
2019-09-18 02:27
怎样去搭建Arduino与Simulink的环境呢？如何去实现一种基于Simulink的Arduino无代码控制系统设计呢？
2022-01-24 06:00
求大神分享一些有关Matlab 2013a的全部官方帮助文档
2021-11-19 06:51
嗨，最近3天我一直在努力使用块集来生成一个代码。Matlab R2016a.OS：我所生成的Windows 10All是Master Block，除了用于测试用例之外，没有其他任何东西，我得到以下错误：请帮助我完成这项工作，因为我确实需要完成一些工作。Ali 以上来自于百度翻译 以下为原文 Hi, I am struggling from the last 3 days to generate a single code using the block set. Matlab R2016a.OS: Windows 10 All I am generating is the Master Block nothing else just for the test case and I get the following error:Elapsed: 25 sec### Generating code into build folder: C:\Users\ali\Documents\MATLAB\untitled.X### Invoking Target Language Compiler on untitled.rtw### Using System Target File: C:\Program Files (x86)\Microchip\MatlabTools\blocks\MCHP_dsPIC_stf.tlc### Loading TLC function libraries### Initial pass through model to cache user defined code### Caching model source code .Error: File: C:\Program Files (x86)\Microchip\MatlabTools\blocks\MCHP_Master.tlc Line: 5 Column: 49Unable to find ChipIdL1 within the RTWGenSettings scopeMain program: ==> [00] C:\Program Files (x86)\Microchip\MatlabTools\blocks\MCHP_Master.tlc:Start(5)[01] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\blocks\gensfun.tlc:Start(574)[02] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\opaquelib.tlc:OpaqueTLCBlockFcn(3845)[03] C:\Users\ali\Documents\MATLAB\untitled.X\tlc\s0_b0_rj79_ModelInitialize.tlc:ModelInitialize(7)[04] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\opaquelib.tlc:FcnGenRateGroupedCodeFromModule(4518)[05] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\opaquelib.tlc:FcnGenerateCodeFromModule(4433)[06] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\opaquelib.tlc:SLibFcnGenBodySysFcn(193)[07] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\opaquelib.tlc:SLibFcnGenBodyFcnCache(406)[08] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\opaquelib.tlc:SLibFcnGenBodySysFcnEntry(508)[09] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\commonbodlib.tlc:FcnGenBodySysCache(1186)[10] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\commonbodlib.tlc:SLibGenBodyCache(5145)[11] C:\Program Files\MATLAB\R2016a\rtw\c\tlc\mw\formatwide.tlc:(55) Error: File: C:\Program Files (x86)\Microchip\MatlabTools\blocks\MCHP_Master.tlc Line: 5 Column: 48 Bad cast - unable to cast this expression to "String"Main program: ==> [00] C:\Program Files (x86)\Microchip\MatlabTools\blocks\MCHP_Master.tlc:Start(5) [01] C:\ProgramError: File: C:\Program Files (x86)\Microchip\MatlabTools\blocks\MCHP_Master.tlc Line: 7 Column: 49 Unable to find ChipIdL3 within the RTWGenSettings scope Please Help me out to get this working as I really need to get some work done. Regards,Ali
2019-05-17 14:56
如何编写可移植的并行程序？支持硬件加速器最直接的方法是什么？怎样去满足ADAS应用程序的特殊安全要求？
2021-07-19 06:45
如何用makefile编译STM32程序？
2021-11-19 06:39
求大佬分享MatLab的学习笔记
2021-11-19 07:00
伴随着嵌入式系统的复杂性越来越高，系统的开发周期不断延长。但开发周期与系统的安全性、可靠性又有一定的冲突。目前，一台中高档汽车的软件控制代码就超过了500万行，F-35的控制软件更是高达1 500万行，一艘航母的控制代码超过一亿行。与此同时，设计本身也变得更加复杂。
2020-03-18 06:29
