Rigorous Methods in Software Engineering (RSE) supports the use of formal/rigorous methods for the production of correct, reliable software as well as for model-based system development. With their correct usage, rigorous methods complement todays software development methods and enable precise modeling of critical system components that demand security, integrity and reliability. Together with our company partners, RSE is developing new rigorous, model-based methods in order to improve the overall software development process and to depict complex system components. The research area Process Modeling and Analysis additionally defines the interdependencies and processes of system components. Here the major topics are process mining, adaptivity of processes, and executable models, as well as the integration of models into an executable system. n the course of broad-scope discussion about Industry 4.0 (the smart factory), it has become increasingly clear that digitization and thus product & production modeling will be a core component of production in the future. The current status in systems engineering is described in the UML-based OMG/INCOSE standard SysML. However, due to its informal nature and its lack of integration with CAx/PDM, SysML, without enhancements and specializations, is currently poorly suited to meeting the requirements of virtual products and virtual production. SCCH also addresses the requirements for advancing SysML toward a central model platform for systems engineering.