On representation of simulation time in functional programming style

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 i...

Full description

Bibliographic Details
Main Authors: D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2019-02-01
Series:Труды Института системного программирования РАН
Subjects:
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/1137
_version_ 1818065204326432768
author D. V. Buzdalov
A. K. Petrenko
A. V. Khoroshilov
author_facet D. V. Buzdalov
A. K. Petrenko
A. V. Khoroshilov
author_sort D. V. Buzdalov
collection DOAJ
description 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.
first_indexed 2024-12-10T14:48:10Z
format Article
id doaj.art-89fbd92bc9794df398f0089a34e7f05b
institution Directory Open Access Journal
issn 2079-8156
2220-6426
language English
last_indexed 2024-12-10T14:48:10Z
publishDate 2019-02-01
publisher Ivannikov Institute for System Programming of the Russian Academy of Sciences
record_format Article
series Труды Института системного программирования РАН
spelling doaj.art-89fbd92bc9794df398f0089a34e7f05b2022-12-22T01:44:31ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262019-02-0130634136610.15514/ISPRAS-2018-30(6)-201136On representation of simulation time in functional programming styleD. V. Buzdalov0A. K. Petrenko1A. V. Khoroshilov2Институт системного программирования им. В.П. Иванникова РАНИнститут системного программирования им. В.П. Иванникова РАН; Московский государственный университет имени М. В. Ломоносова; НИУ “Высшая школа экономики”Институт системного программирования им. В.П. Иванникова РАН; Московский физико-технический институт; Московский государственный университет имени М. В. Ломоносова; НИУ “Высшая школа экономики”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.https://ispranproceedings.elpub.ru/jour/article/view/1137моделирование архитектурыответственные системымоделирование поведениямодельное времяфункциональное программированиемонады
spellingShingle D. V. Buzdalov
A. K. Petrenko
A. V. Khoroshilov
On representation of simulation time in functional programming style
Труды Института системного программирования РАН
моделирование архитектуры
ответственные системы
моделирование поведения
модельное время
функциональное программирование
монады
title On representation of simulation time in functional programming style
title_full On representation of simulation time in functional programming style
title_fullStr On representation of simulation time in functional programming style
title_full_unstemmed On representation of simulation time in functional programming style
title_short On representation of simulation time in functional programming style
title_sort on representation of simulation time in functional programming style
topic моделирование архитектуры
ответственные системы
моделирование поведения
модельное время
функциональное программирование
монады
url https://ispranproceedings.elpub.ru/jour/article/view/1137
work_keys_str_mv AT dvbuzdalov onrepresentationofsimulationtimeinfunctionalprogrammingstyle
AT akpetrenko onrepresentationofsimulationtimeinfunctionalprogrammingstyle
AT avkhoroshilov onrepresentationofsimulationtimeinfunctionalprogrammingstyle