2017/10/24 by Wiktor B. Daszczuk, Daszczuk, Wiktor B.
Computer Science · Engineering · #68N30 #D.2.2 #FOS: Computer and information sciences #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics #Software Engineering (cs.SE) #acm:68N30 #cs.SE #msc:68N30
paper · pdf · doi:10.48550/arxiv.1710.08849
26 pages, 14 figures
arxiv created 2017/10/24 · openalex publication_date 2017/10/24 · arxiv updated 2017/10/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.