抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ANSYS SCADE Suiteは,航空会社,原子力発電所,輸送,自動車のような様々な応用分野で20年以上用いられる安全臨界組込みソフトウェアの開発環境である。そのコード発生器は,いくつかの工業規格(DO-178C,IEC61508,EN50128,IEC6080およびISO26262)に認定され,最も安全のクリティカルシステムの開発に用いられる。Scadeは,VERIMAG研究所において,その2つの主な著者のPaul CaspiとNicola Halbwachsによって,Gre貴金属で設計した同期言語Lustreに基づいて歴史的にベースである。その初期日では,この学術的言語のためのグラフィカル表記として主に見られた。2008年には,より多くの制御指向設計スタイルを可能にするために,EsterelとSyncChartsによって触発された新しい構成物を統合するために,Lustreによって提供されたデータフローポイントを拡張する言語Scade6に基づいて,主要な新バージョンが放出された。この言語は,特にプログラムの静的補正に関して,Lucid Synchroneの設計に関するMarc Pouzetの作業に従って形式的に指定される。形式化された側面は主に静的意味論,すなわち正しいプログラムが何であるかを定義するタイプシステムをカバーする;この補正は4つのタイプシステムに基づいている:タイプ(最も古典的意味で),クロック,初期化解析,および因果関係分析。形式的言語として,Scadeは,それを用いて開発されたアプリケーションに関する形式的検証の適用にも適している。プログラムは,最先端のモデル検査技術の利用を可能にする有限メモリで実行することが保証される。会話は,この歴史を通し,新しいScade6構成物,Lustreとのその差,およびその認定コード発生器の開発に関する幾つかの洞察を与えた。Scade6プログラムの形式的検証も例証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】
