Abstract Architecture Analysis and Design Language (AADL) is often used to model safety-
critical real-time systems. Model transformation is widely used to extract a formal …

In this paper we examine software tools and design examples of executable logic prototypes
for modelling of complex systems. The prototype is set by the specification in predicate …

Аннотация Работа посвящена применению теории категорий для решения проблемы
представления разнородных технологий программной инженерии в единой форме …

Рассмотрена организация управления жизненным циклом технических изделий на
основе модельно-ориентированной системной инженерии (Model-Based Systems …

Category theory is applied to the problem of representing heterogeneous software
engineering technologies in a unified form suitable for their integration and coordination …

Safety–critical real-time systems need to be modeled and simulated early in the
development of lifecycle. SIGNAL is a data-flow synchronous language with clocks widely …

This article focuses on the essence and distinctive features of the AADL behavioral aspects,
for which we use the code generation infrastructure of the synchronous modeling …

The study presented in this paper concerns the safe design of high-performance embedded
systems, specifically dedicated to intensive data-parallel processing as found, for instance …

In this article, we present an approach to prototyping complex systems and processes using
classical predicate logic. The prototype is built by the interpreter based on a logical …

Аппарат теории категорий применяется для представления разнородных технологий
программной инженерии в единой форме, удобной для их интеграции в рамках общего …