文献
J-GLOBAL ID：201202268016408336   整理番号：12A0807003

AUTOSAR互換性に対する形式手法ベース承認テスト

Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
著者 (4件)：
SVENNINGSSON Rickard

SVENNINGSSON Rickard について

(SP Technical Res. Inst of Sweden)

SP Technical Res. Inst of Sweden について

, 
JOHANSSON Rolf

JOHANSSON Rolf について

(SP Technical Res. Inst of Sweden)

SP Technical Res. Inst of Sweden について

, 
ARTS Thomas

ARTS Thomas について

(Quviq AB)

Quviq AB について

, 
NORELL Ulf

NORELL Ulf について

(Quviq AB)

Quviq AB について


資料名：
SAE Technical Paper Series (Society of Automotive Engineers)  (SAE Technical Paper Series (Society of Automotive Engineers))

SAE Technical Paper Series (Society of Automotive Engineers) について


ページ： 5P  発行年： 2012年 
JST資料番号： D0244B  ISSN： 0148-7191  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
AUTOSAR承認テストは,特定の用途に対する自動車用電子制御装置(ECU)等のOEM製品の要求条件を確認する試験である。異なる供給元のOEM製品に対する試験は,AUTOSAR BasicSoftware(BSW)に基づき実行される。形式手法ベースモデルを使用して不規則刺激試験を実施した。本承認試験手法を概説し,パイロット研究による実験結果を報告した。
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*受入検査

受入検査 について

, 
*形式的手法【計算機】

形式的手法【計算機】 について

, 
*制御装置

制御装置 について

, 
カーエレクトロニクス

カーエレクトロニクス について

, 
自動車

自動車 について

, 
生産

生産 について

, 
プログラム検証

プログラム検証 について

, 
パイロット試験

パイロット試験 について

, 
ソフトウェア

ソフトウェア について


準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
AUTOSAR

AUTOSAR について

, 
OEM

OEM について


分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
電装品 
(QG03070C)

電装品 について

,  計算機システム開発 
(JD02010R)

計算機システム開発 について

タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
AUTOSAR

AUTOSAR について

, 
互換性

互換性 について

, 
形式手法

形式手法 について

, 
承認テスト

承認テスト について


前のページに戻る

TOP

BOTTOM