Macrogeneration and Automata Libraries For COSMA design environment
Wiktor B. Daszczuk

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRadiation Effects in Electronics · Parallel Computing and Optimization Techniques · Formal Methods in Verification
