论文标题
会议记录第五次关于真实系统正式分析的模型的研讨会
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
论文作者
论文摘要
该卷包含2022年火星的会议记录，这是针对真实系统正式分析模型的第五次研讨会，作为ETAP 2022的一部分，是欧洲关于软件理论和实践的联合会议。火星研讨会将来自不同社区的研究人员汇集在一起，这些研究人员正在开发正式模型的真实系统的正式模型，例如网络，网络物理系统，硬件/软件共同设计，生物学等。火星的动机和目标源于以下两个观察结果： *大型案例研究对于表明规范形式主义和建模技术适用于实际系统至关重要，而许多研究论文仅考虑玩具示例或小案例研究。 *开发真实系统的准确模型通常需要大量时间，通常需要数月或数年。但是，在大多数科学论文中，由于缺乏空间，需要跳过该模型的显着细节，并为正式验证方法和结果留出空间。 火星研讨会旨在纠正这些问题，强调建模而不是验证，以保留从正式建模中学到的经验教训，这些模型通常不会在其他地方讨论。
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software co-design, biology, etc. The motivation and aim for MARS stem from the following two observations: * Large case studies are essential to show that specification formalisms and modelling techniques are applicable to real systems, whereas many research papers only consider toy examples or tiny case studies. * Developing an accurate model of a real system takes a large amount of time, often months or years. In most scientific papers, however, salient details of the model need to be skipped due to lack of space, and to leave room for formal verification methodologies and results. The MARS workshops aim at remedying these issues, emphasising modelling over verification, so as to retain lessons learnt from formal modelling, which are not usually discussed elsewhere.
