一个机载软件需求形式化建模与分析实例研究

现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析,包括:ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链,基于多范式的需求一致性、完整性形式化分析方法,EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程,如:需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等;给出了工程需求实例研究的经验总结和思考.

“双千”行动暖民心 真帮实扶促脱贫 缙云—南江东西部扶贫劳务协作系列活动多点开花

8月中旬,缙云—南江扶贫劳务协作致富带头人、实用技术培训班开班仪式在四川省巴中市南江县小河职业中学顺利举行,这标志着缙云—南江＂千人培训、千人就业＂行动正式启动。缙云烧饼推介会、劳务协作专场招聘会、职业技能培训等缙云—南江东西部扶贫劳务协作系列活动也在南江如火如荼的开展。