原创力文档信息技术程序设计语言AdaRavenscarProfile在高完整性系统中的使用指南标准立项发展报告
EnglishTitle:StandardizationDevelopmentReport:Informationtechnology—Programminglanguages—GuidancefortheuseoftheAdaRavenscarProfileinhighintegritysystems
摘要
高完整性系统广泛应用于航空航天、轨道交通、核电仪控、医疗设备与国防装备等安全关键领域，其软件必须具备行为确定性、时序可分析性与结果
您可能关注的文档
- IEC 60268-7：2010+AMD1：2020 CSV：2020 音响系统设备.第7部分耳机和入耳式耳机标准立项发展报告.docx
- ISOIEC 29170-2：2015AMD1：2020 修改件1.信息技术.高级图像编码和评估.第2部分近似无损编码的评估程序.高动态范围媒体和图像序列近似无损编码的评估程序参数标准立项发展报告.docx
- IEC 62271-200：2021 高压开关设备和控制设备.第200部分额定电压1kV以上和52kV及以下的交流金属封闭开关设备和控制器标准立项发展报告.docx
- IEC 60364-5-53：2019+AMD1：2020 CSV：2020 低压电气装置第5-53部分电气设备的选择和安装安全、隔离、开关、控制和监测保护装置标准立项发展报告.docx
- IEC 60793-2-40：2021 RLV：2021 光纤第2-40部分产品规范A4类多模光纤分规范标准立项发展报告.docx
- IEC 61326-2-5：2020 RLV：2020 测量、控制和实验室用电气设备.电磁兼容性要求.第2-5部分特殊要求.符合IEC 61784-1的带现场总线接口的现场设备的试验配置、操作条件和性能标准标准立项发展报告.docx
- IEC 61850-7-4：2010+AMD1：2020 CSV：2020 电力设施自动化用通信网络和系统.第7-4部分基本通信结构.兼容逻辑节点类和数据对象类标准立项发展报告.docx
- IEC 60691：2015+AMD1：2019 CSV：2019 热连接.要求和应用指南标准立项发展报告.docx
- IEC 61010-2-040：2020 用于测量 控制和实验室使用的电气设备的安全要求 - 第2-040部分用于治疗医疗材料的消毒剂和洗衣机消毒器的特殊要求标准立项发展报告.docx
- IEC 60050-714：1992AMD3：2018 修改件3.国际电工词汇（IEV）.第714部分电信中的交换和信号发送标准立项发展报告.docx
- 容积式变容量制冷压缩冷凝机组 标准立项发展报告.docx
- 面向语音业务质量提升的无线接入网优化技术 第1部分：总体要求 标准立项发展报告.docx
- 温室气体产品碳足迹量化方法与要求 汽车动力蓄电池 标准立项发展报告.docx
- 自动化系统与集成 生产自动化分级 第1部分：框架与定义 标准立项发展报告.docx
- 内河船舶柴电混合推进系统电动遥控装置技术要求 标准立项发展报告.docx
- 量子级金刚石氮-空位色心浓度检测方法 荧光光子计数法 标准立项发展报告.docx
- 纯电动商用车换电通用平台 第2部分：车辆与设施的通信 标准立项发展报告.docx
- 水质 骨条藻属和三角褐指藻海洋藻类生长抑制试验 标准立项发展报告.docx
- 5G核心网场景全流量检测分析系统技术要求 标准立项发展报告.docx
- 污水系统数字化与控制 标准立项发展报告.docx
文档评论（0）