Lectures on Runtime Verification: Introductory and Advanced Topics
Lectures on Runtime Verification: Introductory and Advanced Topics
复制标题
运行时验证讲座：介绍性和高级主题
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Yliès Falcone
中科院分区：
文献类型：
--
作者：
E. Bartocci;Yliès Falcone
运行时验证（RV）是一种轻量级的、严格的、正式的方法，用于监控和分析软件和硬件系统的运行时行为。RV用一种更实用的方法（分析系统的单个执行跟踪）补充了经典的详尽验证技术（例如模型检查和定理证明）。以有限的执行范围为代价，RV可以提供关于被监视系统的运行时行为的非常精确的信息。RV目前广泛应用于学术界和工业界，无论是在系统部署前，用于测试、验证和调试，还是部署后，以确保系统的可靠性、安全性、鲁棒性和安全性。自2001年举办第一届房车国际研讨会以来，人们对这一研究领域的兴趣日益浓厚。从那时起，这个会场每年都会举行，并在2010年成为一个会议。2014年，我们发起了国际运行时验证竞赛（CRV），目的是促进软件运行时验证工具的比较和评估。同年，在欧洲框架计划“地平线2020”框架内批准并资助了一个关于“超越监测的运行时验证”的欧洲科学技术合作网络。ARVI目前有来自26个欧洲国家和澳大利亚的科学家参与。2016年，我们与ARVI的其他合作伙伴一起，开始组织RV系列学校中的第一个。我们的目标是培养来自学术界和工业界的研究人员，首先向他们介绍基本概念，然后介绍这个令人兴奋的研究领域的高级主题。
Preface Runtime verification (RV) is a lightweight, yet rigorous, formal method for the monitoring and analysis of the runtime behaviour of software and hardware systems. RV complements classical exhaustive verification techniques (such as model checking and theorem proving) with a more practical approach that analyses a single execution trace of a system. At the price of a limited execution coverage, RV can give very precise information on the runtime behaviour of the monitored system. RV is now widely employed in both academia and industry both before system deployment, for testing, verification, and debugging purposes, and after deployment to ensure reliability, safety, robustness and security. The interest on this field of research has grown since 2001 when the first international workshop on RV was organized. This venue has occurred each year since then, becoming a conference in 2010. In 2014, we have initiated the international Competition on Runtime Verification (CRV) with the goal to foster the comparison and evaluation of software runtime verification tools. In the same year, a European scientific network for the COoperation in Science and Technology (COST) on " Runtime Verification beyond Monitoring (ARVI) " was approved and funded within the European framework programme Horizon 2020. ARVI currently includes the participation of scientists from 26 European countries and Australia. In 2016, together with other partners of ARVI, we have also started to organize the first of a series of Schools on RV. Our aim is to train the researchers from academia and industry introducing them first to the basic concepts and then to the advanced topics of this exciting research area.