Macrogeneration and Automata Libraries For COSMA design environment

TL;DR

This paper introduces a macrogeneration technique for creating automata libraries within the COSMA design environment, enhancing project compactness and module reusability in system design.

Contribution

It presents a novel macrogeneration method for automata libraries that improves modularity and efficiency in the COSMA system specification environment.

Findings

Supports compact project design

Enhances reusability of modules

Facilitates automation in automata library creation

Abstract

In ICS, WUT a COSMA design environment is being developed. COSMA is based on Concurrent State Machines (CSM) formalism of system specification. It contains a graphical tool for system design, various tools for the analysis (including a temporal model checker), simulator and code generator. In many projects, some common susbsystems take place. This concerns both complicated modules and simple counters. In the report, a concept of macrogeneration technique for building of libraries of automata is presented. The new technique will support a compactness of projects and reusability of modules.