On representation of simulation time in functional programming style
| Autor: | D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov |
|---|---|
| Jazyk: | English<br />Russian |
| Rok vydání: | 2019 |
| Předmět: | |
| Zdroj: | Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 341-366 (2019) |
| Druh dokumentu: | article |
| ISSN: | 2079-8156 2220-6426 |
| DOI: | 10.15514/ISPRAS-2018-30(6)-20 |
| Popis: | Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatically). However, these techniques are hardly used in the field of tools helping designing and modeling mission-critical systems. In this paper, we are trying to apply some nice techniques of functional programming to create a modeling system, in particular a simulation system for analysis of temporal behavioural properties of mission-critical systems. As a first step, we designed a representation of simulation time in terms of abstractions used in functional programming and tried to study its compositionability properties. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|