CODE GENERATION FOR CSM/ECSM MODELS IN COSMA ENVIRONMENT

摘要: The COSMA software environment, developed in the Institute of Computer Science, WUT,was designed primarily for model checking reactive systems specified terms ConcurrentState Machines (CSM). However, supports also Extended CSM (ECSM).The extensions allow using complex data types and pieces C/C++ code, attributedto states and/or transitions. Because these extensions, ECSM models cannot beverified by checking, but they can be used as an intermediate step code generation.The underlying represent then flow control within cooperating components andthe communication among them while specify structures thedetails their processing.The paper discusses generation from diagrams. approach is illustratedwith example.