文書・図像類

次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究

Icons representing 文書・図像類

次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究

Material type
文書・図像類
Author
青木, 利晃
Publisher
-
Publication date
2018-05-15
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

本研究では，AUTOSAR OSの先進機能を形式検証する手法を提案した．AUTOSAR OSでは，次世代の自動車を見据えて，保護機能とマルチコア機能が提供されている．そこで，これらの機能を実践的に形式検証する手法を提案した．保護機能の形式検証では，AUTOSAR OSの仕様書に基づいて形式仕様を作成...

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • JAIST Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Title
次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究
Author/Editor
青木, 利晃
Author Heading
青木, 利晃
Publication Date
2018-05-15
Publication Date (W3CDTF)
2018-05-15
Alternative Title
Formal verification of advanced functionalities in next-generation automotive operating systems
Periodical title
科学研究費助成事業研究成果報告書
Pages
1-5
Text Language Code
jpn