Introducing Action Systems Class Hierarchy to SystemC Modelling

ActionC is an integration of SystemC, an informal design language for embedded systems, and Action Systems, a formal modelling language that supports verifica-tion and stepwise correctness-preserving refinement of system models. In the Ac-tionC approach Action Systems sets a formal foundation for SystemC modelling providing a possibility to verify the design as early as during the construction of the first transaction level model. This report provides an implementation for the ActionC language structures that concern Action Systems type system verifica-tion with invariants. The implementation introduced here will be a part of a larger modelling framework that will be elaborated in the future.