一种获得形式化功能需求的方法

用例图在面向对象的软件开发过程中起着重要的作用。它用于描述系统的功能需求 ,但是它缺乏如Object -Z形式规格说明语言的精确性。本文结合一个实例给出了一种如何使用UML捕获系统的功能需求 ,并将该功能需求形式化的方法。本文定义了从UML用例图到Object -Z的转换规则 ,实现了用例图的形式化、获得了形式化的功能需求。

自动驾驶风险分析研究

随着自动驾驶的发展,自动驾驶的风险管理也愈发受到人们的重视。根据事故致因理论,将自动驾驶风险点分为数据风险、环境风险、车辆自身风险、人因风险和管理风险五大风险点,并结合现有文献进行详细分析与探讨。目的在于为自动驾驶风险管控人员提供决策支持,有针对性地进行风险防御。