SATURN
Jul 01, 2009 - 15:01 PM
SATURN is set to bridge the gap between modeling and verification and synthesis in UML based designs of Embedded Systems that are composed of both hardware and software. Artisan, in conjunction with its partners is extending the application of OMG SysML with the new profile for MARTE, and adding formal semantics of different Models of Computation for significantly improved integrated modeling and verification environments.
By developing advanced retargetable code generation concepts for heterogeneous simulator platforms based on formal Models of Computation and seamless integration with SysML metamodels, and providing an open framework for the tight integration of simulators for code generation significantly increasing the interoperability of VHDL, SystemC and tools like Matlab/Simulink, the result of the work will be to reduce modeling time and verification time enormously.
For further details please view: SATURN White Paper
