English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The CLEARSY Safety Platform (CSSP) was designed to ease the development ofsafety critical systems and to reduce the overall costs (development,deployment, and certification) under the pressure of the worldwide market. Asmart combination of hardware features (double processor) and formal method (Bmethod and code generators) was used to produce a SIL4-ready platform wheresafety principles are built-in and cannot be altered by the developer.Summarizing a 5-year return of experience in the effective application in therailways, this article explains how this approach is a game-changer and triesto anticipate the future of this platform for safety critical systems. Inparticular, the education of future engineers and the seamless integration inexisting engineering processes with the support of Domain Specific Languagesare key topics for a successful deployment in other domains. DSL like Robosimto program mobile robots and relay circuits to design railway signallingsystems are connected to the platform.

The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment