Macrogeneration and Automata Libraries For COSMA design environment
This work addresses the need for more efficient system design in concurrent state machine projects, but it appears incremental as it builds on existing COSMA tools.
The paper tackles the problem of reusing common subsystems in the COSMA design environment by introducing a macrogeneration technique for building automata libraries, which aims to improve project compactness and module reusability.
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.