SATURN
SATURN – or SysML-based Modeling, Architecture Exploration, Simulation and Synthesis for Complex Embedded Systems, is another EU FP7 project.
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 more details download the SATURN White Paper: SATURN White Paper.
Visit the website at: SATURN
