There are highly efficient commercial code generators on the market. In safety critical systems certificated code generators have to be used to fulfill the requirements. The GeneralStore platform allows partitioning of the whole system into subsystems.