CCF@U第862场：金芝走进南京邮电大学
2022年8月4日上午，由中国计算机学会主办，南京邮电大学计算机学院、软件学院、网络空间安全学院、中国计算机学会系统软件专委会承办的CCF系统软件专委会走进南京邮电大学，以线下的形式成功举办。
本次活动邀请了CCF系统软件专委会主任北京大学金芝教授带来精彩报告，主要围绕自治软件系统安全关注点分析的前沿研究开展报告与交流。南京邮电大学计算机学院、软件学院、网络空间安全学院副院长陈志做了开场致辞，突出软件理论素养和创新实践的综合发展，介绍软件相关学科在通信与信息行业及相关领域中的新理论、新知识和新技术。活动持续了两个小时，吸引了近30位老师与同学的积极参与和热烈互动。
本次活动中，金芝教授带来了“软件密集型自治系统的安全性关注点”主题报告。软件密集型自治系统通过各种配置和结构调整来适应环境变化，它们可以代替人工操作来提高效率，特别是在恶劣或安全关键的环境中具有重要作用。这类系统天生需要具有的柔性安全性是软件密集型自治系统开发的重要挑战。金芝教授分析已有工作中对自治系统安全风险和对策，综合自主系统中的安全问题和对策的特征模型，然后结合基于环境建模的需求工程方法，探讨特定场景下软件密集型自治系统的，面向安全关注点的体系结构层设计策略。
精彩的学术报告之后，金老师进一步和参会青年教师进行座谈，就相关学术研究问题、职业发展问题等给出建议和指导。与会老师们纷纷表示受益匪浅，感谢金老师和系统软件专委在炎炎夏日给大家带来了一场精彩的学术盛宴！
师生感想：
李瀚云 南京邮电大学计算机学院、软件学院、网络空间安全学院 博士研究生
金芝老师在介绍课题文献综述的分析中，让我印象很深刻。通过分析已有工作中对自治系统安全风险和对策，综合自主系统中的安全问题和对策的特征模型，并介绍广泛存在应用于列控，航天、航空、智能驾驶等安全攸关领域。从问题导向对已有工作进行分类（未解决、部分解决、完全解决），让我对该领域很快有了一个大致清晰的认知。通过和金芝老师的交流，让我知道如何针对问题进行广泛而全面的调研，并且知道如何撰写高质量的调研论文。金芝老师的报告循序渐进，浅显易懂，为我刚开始读博科研探索提供了巨大的信心。
陈志 南京邮电大学计算机学院、软件学院、网络空间安全学院 副院长
首先非常荣幸能够听到金芝教授带给我们这么精彩的报告，金老师的学术成就给我留下了深刻的印象。在介绍到软件应用到自动驾驶领域，软件系统安全性问题至关重要，是否需要考虑“底线思维”：即软件不能给人和自然带来破坏性的风险。上升到哲学层面，人、软件、自然如何良性安全的共存。金老师的报告带给我一些启发性的思考，从需求的角度分析自治软件系统安全的重要性。希望以后能够和金老师多多合作和交流，也感谢CCF走进高校给我们南邮的师生提供了一次宝贵的学习机会。
京公网安备 11010802032778号