实验室谢国琪副教授的论文“Fast Functional Safety Verification for Distributed Automotive Applications During Early Design Phase”被国际顶级期刊IEEE Transactions on Industrial Electronics (IF=7.168，SCI一区) 发表，这是本实验室李教授教授团队自2017年以来发表的第7篇SCI一区或CCF A类论文。

  汽车功能安全标准-Road vehicles Functional safety ISO 26262与2011年11月正式发布。通过ISO 26262标准得知，响应时间和可靠性（1-暴露率）是两个重要的功能安全属性，且只有同时满足才能确保功能安全。 然而这两个属性相互影响，在提高一种属性的同时可能会降低另一种属性。安全验证是检查应用是否符合安全需求的设计标准规范。在早期设计阶段引入验证不仅符合最新的汽车功能安全标准要求，还避免了后期设计阶段可能发生的不必要设计反复，减少设计负担。由于汽车工业是成本极其敏感的产业，过长的验证周期是不利于开发成本的有效控制，我们亟需采用快速的安全功能安全验证，以减少验证时间，从而控制整个系统的生命周期。

  我们在早期设计阶段提出了针对端到端分布式汽车应用的快速功能安全验证（Fast Functional Safety Verification, FFSV）方法。 第一种方法FFSV1在满足可靠性需求下找到最小的响应时间，第二种方法FFSV2在满足响应时间需求下找到最到最大的可靠性。 我们结合FFSV1和FFSV2创建了联合的FFSV（UFFSV）。 在真实的和合成的汽车应用上的实验表明UFFSV相比现有方法可以获得多达可以提高37% and 50%的接收率。

实验室坚持近20年的嵌入式计算与系统，适时跟进新技术新理论（CPS和物联网云计算智能），实验室成立的那天就打出了“人本、速度、智慧”的口号，坚持一个载体——车用计算系统。

Guoqi Xie, Gang Zeng, Yan Liu, Jia Zhou, Renfa Li, Keqin Li. Fast Functional Safety Verification for Distributed Automotive Applications During Early Design Phase [J]. IEEE Transactions on Industrial Electronics, 65(5): 4378 - 4391, May 2018 [IEEE Xplore] [   ]