CamFort: Automated evolution and verification of computational science models

科学模型在科学和政策制定中起着至关重要的作用。许多模型现在被表达为复杂的计算机程序，这些程序通常是数十年研究和开发的结果，可能涉及多个研究人员或团队。这导致在维护这些模型和发展它们以使用现代编程方法或在新的硬件平台（如云计算资源）上有效工作方面进行了大量投资。然而，这些模型的复杂性使得维护和演化变得困难。特别是，更改复杂模型的代码，同时确保它产生相同的结果是困难的;复杂模型的维护/演化往往容易出错。软件的复杂性可以分为内在的和偶然的。内在复杂性是问题和解决方案内在复杂性的本质反映。或者，偶然的复杂性来自于特定的编程语言、设计或用于实现解决方案的工具。编程语言设计和软件工程的许多研究成果都旨在减少软件的偶然复杂性。然而，这些方法中的许多方法并没有针对科学计算。现在有必要发展这些贡献，以满足科学家的需要。满足这些需求将通过提高生产力和对模型的信任，为科学和政策提供巨大的好处。我们与领先的科学研究小组的合作突出了对现有模型的巨大投资。因此，我们的目标是支持现有代码和工作实践的演变，而不是替换。我们的目标是应用尖端的编程语言和软件工程研究，以帮助开发“可持续”的软件，这将保持其价值的几代研究人员。我们的重点是在Fortran语言开发的模型，因为这仍然是一个占主导地位的编程语言在科学计算，部分原因是它的寿命。我们将提供实用的工具，科学家可以使用它来减少意外的复杂性模型，通过不断发展的代码库，以及自动验证的工具，任何维护/进化活动保持模型的行为。我们将开发程序理解和转换的新机制，以便将有效的技术从编程语言设计和软件工程跨越鸿沟带到科学计算。最终，减少维护和进化代码的工作将使科学家能够专注于科学的核心方面，并将导致研究人员之间更容易沟通，传播和重用的模型，支持科学的核心理想。

Scientific models play a vital role in science and policy making. Many models are now expressed as complex computer programs which are often the result of decades of research and development, possibly involving multiple researchers or teams. This has lead to significant investment in maintaining these models and evolving them to use modern programming approaches or to work efficiently on new hardware platforms (such as cloud computing resources). However, the complexity of these models makes maintenance and evolution difficult. In particular, changing a complex model's code whilst ensuring it produces the same results is difficult; maintenance/evolution of complex models is often error prone. The complexity of a piece of software can be classified as either intrinsic or accidental. Intrinsic complexity is an essential reflection of the complexity inherent in the problem and solution at hand. Alternatively, accidental complexity arises from the particular programming language, design or tools used to implement the solution. Many of the research contributions of programming language design and software engineering have been aimed at reducing the accidental complexity of software. However, many of these approaches have not been targetted at scientific computing. There is now a need to develop these contributions so that they meet the needs of scientists. Addressing these needs will provide huge benefits to science and policy through increased productivity and trust in models. Our collaborations with leading research groups in science have highlighted the huge existing investments in established models. We are therefore aiming to support the evolution, rather than replacement, of existing code and working practices. Our goal is to apply cutting edge programming language and software engineering research to help develop "sustainable" software, which maintains its value over generations of researcher. Our focus is on models developed in the Fortran language, as this remains a dominant programming language in scientific computing, owing in part to its longevity. We will provide practical tools which scientists can use to reduce the accidental complexity of models through evolving a code base, as well as tools for automatically verifying that any maintenance/evolution activities preserve the models behaviour. We will develop new mechanisms for program comprehension and transformation in order to bring effective techniques from programming language design and software engineering across the chasm to scientific computing. Ultimately, reducing the effort to maintain and evolve code will free-up scientists to focus on the core aspects of the science, and will lead to models that are more easily communicated, disseminated, and reused between researchers, supporting core ideals of science.