The FlexiSafe® solution is suitable for all manufacturers aiming for a safety system in accordance with SIL 1, SIL 2, SIL 3 or PLe and its approval. In addition FlexiSafe® offers a concept which, as an ideal combination of safety and non-safety functions, also supports distributed applications as well as uniting safety management and application life cycle management in one tool.
FlexiSafe® gives you firmware technology which can be ported to any safe operating system, plus a suite of tools for validating and verifying, e.g., application code from different compilers. Additional tools support the end user in the creation of safety functions depending on the safety concept of the application (PLCopen Safety function blocks, Cause and Effect charts, statistical checks), e.g., version check, cross-reference or dependency tree.
The tried-and-tested FlexiSafe® safety concept allows you to recycle existing technology. In addition, the efforts across different hardware platforms are also considerably reduced. This makes it simple to realise the design, the certification of applications and the fail-safe certification. The encapsulation of the safety functions forms a sort of shell for the function and ensures the correct and safe working through including guaranteeing the program running order.
Decide on kernel validation tried and tested in operation: FlexiSafe® has already been on the market for 14 years and is employed in over 850,000 runtime systems in safety-critical, industrial applications.
You receive a mobile test framework for correct functioning without undesirable side effects. A combination of white-box and black-box tests covers all kernel operations (I/O, online updates, etc.) and all individual TIC instructions.
The compiler verification works with all the languages of the IEC 61131-3 (ST, IL, LD, FBD, SFC) and ensures that the compiler's output is correct, corresponds to the source code and only contains the fundamental elements of the program input. To create language-independent graphs, it uses both a diverse compiler and a decompiler. An XML graph comparison provides information about the structure, the data flow and the variables and parameters.
The dependency tree is required by the statistical analysis for the determination of the consequences and the SIL verification. Forward dependencies indicate variables which are dependent on a point of origin, while backward dependencies indicate variables on which a certain variable depends.
There is already a host of different safety measures integrated in the runtime system for porting the certified runtime system on the target platform and the target operating system taking the FlexiSafe® and operating system safety manuals into account. The validation of the porting with solid test cases and high test coverage can be viewed by the manufacturer as a service. 100% testing of the application is no longer necessary; a functional test suffices.
The application can employ all the advantages of the IEC 61131-3 languages, including the sequential function chart. It is also possible to use function modules without any restrictions.
There are also safety and application life cycle management tools in accordance with the IEC 61508 and EN ISO 13849 standards integrated. FlexiSafe® was developed as a basis for industrial automation solutions in accordance with IEC 61508 or EN ISO 13849. FlexiSafe® is based on the technology of our partner ISaGRAF and offers all the basic requirements necessary for certification. ISaGRAF is certified in accordance with SC3 (Systematic Capability 3).