The requirements for the application program of a SIF/SIS’s a logic solver are defined by the conceptual design and Safety Requirements Specification (SRS) of the SIF/SIS. Converting these requirements can be time consuming and can be prone to errors due to misinterpretation of the requirements. When the conceptual design and SRS are available in electronic format, the application program for the logic solver can be automatically generated. Apart from time savings due to automatic conversion, an additional benefit is the ability to start the logic creation process later in the project schedule avoiding costly redesign activities. This webinar will review the possibilities of automatic application program creation and demonstrate some early results of a development project the exSILentia team is working on.