gimmick
发表于 2025-3-28 15:39:53
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014 software design. In this process we have identified several limitations and pitfalls of software design and verification in SPARK, for which we give workarounds and protective actions to avoid them. Finally, we give design recommendations that have proven effective for verification, and summarize our experiences with this new language.
结构
发表于 2025-3-28 20:41:22
http://reply.papertrans.cn/24/2338/233730/233730_42.png
沙草纸
发表于 2025-3-28 23:23:59
http://reply.papertrans.cn/24/2338/233730/233730_43.png
水汽
发表于 2025-3-29 04:09:31
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysisd numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-off Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA.
Wallow
发表于 2025-3-29 07:18:56
http://reply.papertrans.cn/24/2338/233730/233730_45.png
征兵
发表于 2025-3-29 12:48:31
http://reply.papertrans.cn/24/2338/233730/233730_46.png
施加
发表于 2025-3-29 17:39:22
http://reply.papertrans.cn/24/2338/233730/233730_47.png
令人苦恼
发表于 2025-3-29 23:25:52
Life and Works of the Banū MūsàADS itself can compensate for a lower sensor capability, by for example lowering the speed or increasing the distances. The proposed design strategy allocates safety requirements on the sensors to determine their own capability. This capability is then to be balanced by the tactical decisions of the ADS equipped road vehicle.
乏味
发表于 2025-3-30 02:59:18
http://reply.papertrans.cn/24/2338/233730/233730_49.png
落叶剂
发表于 2025-3-30 04:53:11
http://reply.papertrans.cn/24/2338/233730/233730_50.png