TY-JOURA2-SZEN.AU - Wang, Jinyong AU - Huang, Zhiqiu AU - Huang, Xiaowei AU - Zhu, Yi AU - Wang, Fei PY - 2020 DA - 2020/12/07 TI - Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety SP - 8830752 VL - 2020 AB - CADS (cooperative autonomous driving systems) are software-intensive and safety-critical reactive systems and give great promise to our daily life, but system errors may not be identified in the design stage until the implement stage, and the cost to correct them will be more expensive later than the early stage.设计可信自主软件系统时,我们必须处理多时制约束模型Sysml语言系统使用量增加,以便执行系统级建模和校验抽象表示式,但在安全临界自主系统设计中有语义模糊问题主要目标是调查同时处理设计分析模型的方法,并实现数学基础和形式模型变换语义一致性本文建议一种方法,将需求建模过程与分析过程并发CADS安全可靠性保证第一,扩展Sysml元模并建CADS域Sysml剖面即时CADS模型设计时采用了剖面图,内含不同关键功能和非功能属性和行为第二,我们定义Sysml状态机器图中建模元素的正式语法和语义表示并显示状态机器图和CCSL(Clock约束语言)模型之间的转换规则语义保护还证明使用双推关系实现严格映射正确性第三,用合作自主超载高速场景案例研究插图,用工具TimeSquare模拟系统设计阶段CCSL规格执行迹SN-0197-6729UR-https://doi.org/101155/208830752DO-10.1155/208830752JF-高级交通PB杂志HindawiKW-ER