论文标题
第20国际序曲研讨会论文集
Proceedings of the 20th International Overture Workshop
论文作者
论文摘要
该卷包含在2022年7月5日在丹麦的Aarhus举行的第20届国际序曲研讨会上发表的论文。该活动是维也纳开发方法（VDM）的一系列研讨会中的最新活动，开放式项目的项目Over-Source Project Overture Overture和相关工具和相关的工具和形式主义。 VDM是系统开发最长的正式方法之一。一个生动的研究人员和从业人员社区在学术界和行业中成长，围绕建模语言（VDM-SL，VDM ++，VDM-RT，CML）和工具（VDMTools，Overture，VDM VSCODE扩展，CRESCENDO，CRESCENDO，SYMPHONY，SYMPHONY，INTH-CPS链链和VIENNATALT）。这些共同为建模和分析技术提供了一个平台，其中包括静态和动态分析，测试生成，执行支持和模型检查。该研讨会提供了有关VDM/Overture的新兴技术的最新信息，包括用于网络物理系统的协作基础架构，协作建模和共同模拟。
This volume contains the papers presented at the 20th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 05th July 2022. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, VDM VSCode extension, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.
