Abstract

Functional programming is becoming increasingly useful in the modern computerized world. This approach helps create code that is more reliable, easier to reason about, and automatically verifiable. However, these techniques are rarely employed for developing design tools and modeling critical systems. In this work, we try to apply some suitable techniques of functional programming to create a modeling system, namely, a simulation system for analyzing temporal behavioral properties of critical systems. As the first step, we design a representation of simulation time in terms of abstractions used in functional programming and try to investigate its compositionability.

中文翻译：

---

函数式编程风格中仿真时间的表示

摘要

在现代计算机世界中，函数式编程变得越来越有用。这种方法有助于创建更可靠，更易于推理和可自动验证的代码。但是，这些技术很少用于开发设计工具和建模关键系统。在这项工作中，我们尝试应用一些合适的函数式编程技术来创建建模系统，即用于分析关键系统的时间行为特性的仿真系统。第一步，我们根据函数式编程中使用的抽象设计仿真时间的表示形式，并尝试研究其可组合性。