文献

J-GLOBAL ID：202002249285561932   整理番号：20A1863289

垂直物-制約IoTデバイスワークインプログレッションのための言語ベースマイクロカーネル【JST・京大機械翻訳】

Verticalthings - a language-based microkernel for constrained IoT devices work-in-progress

著者 (1件)： Poroor Jayaraj (Amrita Vishwa Vidyapeetham, Amritapuri, India)
資料名： ACM Proceedings  (ACM Proceedings)
号： EMSOFT ’18  ページ： 1-3  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 埋込みとIoTアプリケーションのために,安全なマイクロカーネルの機能を提供するプログラミング言語を提案した。この目的に向けて,資源クラスが能力クラスとして抽象化された能力モデルに基づくタイプシステムを提案した。この言語は,安全性,セキュリティ,電力,およびタイミング考慮を含む重要な特性の静的解析を可能にする。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *言語 ,  電力 ,  プログラミング言語 ,  応用プログラム ,  アクセス制御 ,  セキュリティ ,  *マイクロカーネル ,  組込みシステム
準シソーラス用語： 静的解析 ,  *モノのインターネット , 【Automatic Indexing@JST】

著者キーワード (10件)： IoT ,  アクセス制御 ,  能力 ,  組込みシステム ,  もののインターネット ,  プログラミング言語 ,  精密化型 ,  セキュリティ ,  セキュリティカーネル ,  タイプ

分類 (2件)： データ保護  (JD01020V) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 垂直 ,  制約 ,  IoTデバイス ,  言語 ,  マイクロカーネル