CLEARSY安全プラットフォーム:研究,開発および展開の5年【JST・京大機械翻訳】

Lecomte Thierry; Deharbe David; Fournier Paulin; Oliveira Marcel

プレプリント

J-GLOBAL ID：202202200069269765 整理番号：22P0150024

CLEARSY安全プラットフォーム:研究,開発および展開の5年【JST・京大機械翻訳】

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

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2020年05月13日プレプリントサーバーでの情報更新日： 2020年05月13日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

CLEARSY安全プラットフォーム(CSSP)は,安全クリティカルシステムの開発を容易化し,世界市場の圧力下での総合コスト(開発,展開,および認証)を低減するように設計された。ハードウェア特徴(二重プロセッサ)と形式的方法(B法とコード発生器)のスマート組合せを用いて,安全原理が構築され,開発者によって変更できないSIL4読取プラットフォームを生成した。鉄道における有効利用における経験の5年リターンを総括して,このアプローチがゲーム変化者であり,安全クリティカルシステムに対するこのプラットフォームの将来を予想することを試みた。特に,将来のエンジニアの教育と領域特定言語のサポートによる既存の工学プロセスにおけるシームレス統合は,他のドメインにおける成功した展開のための重要なトピックである。鉄道信号システムを設計するのに移動ロボットとリレー回路をプログラムするRobosimのようなDSLをプラットフォームに接続した。【JST・京大機械翻訳】

, , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

半導体集積回路

, , ,

前のページに戻る