{"id":855,"date":"2015-03-23T15:44:12","date_gmt":"2015-03-23T14:44:12","guid":{"rendered":"http:\/\/www.systerel.fr\/en\/?page_id=855"},"modified":"2024-04-17T14:30:20","modified_gmt":"2024-04-17T13:30:20","slug":"systerel-ixl-builder","status":"publish","type":"page","link":"https:\/\/www.systerel.fr\/en\/innovation\/products\/systerel-ixl-builder\/","title":{"rendered":"Systerel IXL Builder"},"content":{"rendered":"

Interlocking formal design solution<\/h2>\n

\"interlocking\"<\/h2>\n

<\/h2>\n

Interlocking systems design and validation require managing both safety and efficiency.\"IXL
\nIXL Builder is Systerel’s computer based interlocking design solution.
\nIt implements a certifiable design and deployment process based on the extensive use of formal methods.<\/p>\n

Systerel IXL Builder helps to automate and coordinate design, safety assessment and functional validation.<\/strong><\/p>\n

It offers an evolutive and modular range of certifiable solutions that can be tailored to each process.<\/strong><\/p>\n

Typical workflow<\/h2>\n
<\/p>\n
    \n
  1. Model a generic design using an OO paradigm focused on class and state machine diagrams<\/li>\n
  2. Deploy the design over imported configuration data<\/li>\n
  3. Formally assess th safety of the instantiated design<\/li>\n
  4. Validate the design with host simulation<\/li>\n
  5. Generate code and certify it<\/li>\n
  6. Replay the validation with the hardware in the loop<\/li>\n<\/ol>\n

    <\/section>\n

    Features<\/h2>\n

    Design<\/h3>\n
    <\/p>\n

    Generic Design<\/p>\n