北京航空航天大学安全关键软件与工程方向是软件学院软件工程学科下面向航空航天、轨道交通、医疗、核工业等安全攸关领域发展起来的重点方向，研究内容覆盖功能安全、形式化验证、基于模型的设计与确认、故障注入与容错、运行时监控、安全案例与论证等课题。北航在这一方向依托安全可靠软件工程特色方向，承担多项国家关键软件与重大装备研制任务。报考这一方向的考生，需要在导师匹配阶段就弄清意向导师是偏形式化方法、偏故障与容错，还是偏功能安全工程。
北航该方向导师团队中，有的老师长期从事基于模型的设计与验证、软件可靠性建模；有的老师聚焦故障注入测试、运行时保障、冗余与容错；还有的老师从事安全案例、适航符合性验证、工业软件安全。考生在套磁之前，应当先把自己硕士阶段做过的形式化建模、故障树分析、安全关键系统开发、工具链项目按这几类方向归类，再去对照导师近三年项目。有真实航空航天、轨道交通或医疗软件合作经验的考生，在材料审核阶段更有竞争力。
研究计划书在这一方向上要求做到安全关键性质与工程方法并重。评审专家既希望看到申请者理解安全关键系统在功能安全标准、实时性、容错性方面的严格要求，也希望看到计划书提出的方法有严谨的工具链或案例验证。一份合格的计划书，不能只罗列形式化方法名词，而要把系统对象、关键安全性质、故障模型、拟采用的设计或验证方法、案例研究与评估写清楚。直系学长学姐熟悉北航该方向评审组的追问风格，会帮助考生在计划书阶段就把性质规约、工具可扩展性、工业案例充分性论证写扎实。
从考核流程看，北航博士招生采用推荐免试、硕博连读和申请考核三种方式。软件学院按学院工作方案组织材料审核与综合考核，综合考核一般由笔试与面试组成，重点考查专业基础、专业英语与科研潜力。面试中评委常围绕计划书与硕士论文连续追问，例如某种形式化方法在工业规模系统上的可扩展性、某种故障注入方案在真实嵌入式系统上的覆盖率、某种安全论证方法在适航审查中的接受度。
材料审核阶段需按学院通知提交两名所报考学科专业领域内教授的推荐书、硕士课程成绩单、学历学位认证报告、现实表现材料、身体健康情况说明等。任何材料盖章或格式不合规，都可能在初筛阶段被扣分。
需要特别说明的是，国家教育主管部门明确规定，严格禁止大学在职教师讲授面向升学考试的辅导课程。知点申博安排的辅导老师，全部是北京航空航天大学安全关键软件与工程方向已经成功上岸的直系学长学姐，他们当年就是通过申请考核进入这一方向，对材料撰写、笔试备考、面试应答每一个环节都有亲身体会。
知点申博针对该方向推荐全科与专业课一对一辅导。全科辅导覆盖专业英语与英语口语应答，专业课辅导围绕软件工程、形式化方法、软件可靠性、功能安全、嵌入式系统等北航该方向常考内容展开，与学院公布的考核重点相对应。直系学长学姐会陪考生完成从选题调研、计划书撰写、笔试训练到面试模拟的完整流程。
第一，知点申博成了 20 年，有丰富的申博经验和科学的辅导体系；
第二，知点申博专注深耕该专业申博，积累了丰富的师资资源和信息资源；
第三，知点申博以定制一对一为主要辅导方式，辅导效果更好；
第四，知点申博采取线上和线下教学相结合的方式，辅导方式更加灵活；
第五，知点申博有严格的督学管理和及时的答疑服务；
第六，知点申博提供全方位的申博择校指南和申博规划服务；
第七，知点申博还提供该校申博复试辅导和调剂服务。
咨询报名可以联系 400-000-3363 或者添加微信 shuoedu。
