文献

J-GLOBAL ID：201702262346471575   整理番号：17A0966154

自動車制御ソフトウェアの契約に基づく統合【Powered by NICT】

Contract-based integration of automotive control software

著者 (3件)： Sehnke Tobias (Gasoline Engine Systems, IAV GmbH) ,  Schultalbers Matthias (Gasoline Engine Systems, IAV GmbH) ,  Ernst Rolf (Institut fuer Datentechnik und Kommunikationsnetze, Technische Universitaet Braunschweig)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DATE  ページ： 1611-1614  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自動車制御の機能は複雑でデータ依存性によって相互接続された独立に開発された成分の多数に分布している。統合の間に,各成分の機能的正しさを保証し,自動車システムの安全性質のためにすることが重要である。既存統合プロセスは界面は構文的に正しいことを保証した。なお多くの場合伝達信号は意味論的に両立しない。検出と固定が困難なこの結果複雑な誤差。さらに,既存成分言語は対応要求の記述と制御に適用できる手段を提供していない。本論文では,自動車制御ソフトウェアにおける積分誤差の自動同定のための新しい方法論を提示した。アプローチの重要側面は,契約,ドメインレベルの必要条件を明らかにするために利用されている。これらの契約は,既存のツールによって支持された統合時のチェックした。既存エンジン制御ソフトウェアを含む事例研究は,かなりの数の以前未知の積分誤差を検出することにより提案アプローチの適用性を示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 事例研究 ,  安全性 ,  言語 ,  適応性 ,  界面 ,  *自動車 ,  積分 ,  相互接続 ,  *制御プログラム ,  必要条件 ,  意味論
準シソーラス用語： 構文 ,  自動車システム ,  データ依存性 ,  *自動車制御 , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 自動車 ,  制御ソフトウェア ,  契約 ,  統合