Top PDF 組込みシステムの典型的なコード構成

組込みシステムにおけるコード自動生成に関する研究～生成プロセスとツールについての考察～

... ルの自動生成では限界が存在する． E- AoSAS++ に基づくシステム開発ではシステムを状態遷移機械の集合と規定されている．また状態遷移機械は遷移とそれに伴うアクション等で構成されている．そして，自動生成に UML を利用するが， E-AoSAS++ ではアク ...

2

組込みソフトウェアを対象としたコード自動生成に関する研究　～意味制約を用いたコード生成ツールの高機能化～

... 2.2 E-AoSAS++ 2.2.1 概要 E-AoSAS++ は，本研究室で提案されている組込みシステムのためのアスペクト指向ソフトウェアアーキテクチャスタイルである．E-AoSAS++ は，組込みシステムのソフトウェアアーキテクチャを構築するためのコンポーネント・コネクタスタイルに基づく枠組みである．アプリケー ...

4

クラウド完全移行までの 4 ステップ: 典型的な課題への対処法

... ラウドシステムとオンプレミス システムを合理化するとともに、異なるレガシー システムや複数の Salesforce インスタンスの顧客データをクレンジングすることで、 1 つのマスター Salesforce インスタンスが管理する単一の信頼できる CRM ...

14

組込みLinuxシステムに関する調査研究

... ３.６ Linuxカーネルの構築 Linuxカーネルは、コンフィグレーションツールを利用し、必要なデバイスドライバや機能を組み込むことができる。一般的なコンフィグレーションの方法には、テキスト形式（make config）、簡易グラフィックメニュー形式(make menuconfig)、GUI形式(make ...

5

自動車組込みシステムのサービス指向開発に関する研究

... 4 の概要シナリオ記述だと，レバーを各位置に移動させたときのシステムの構成要素の部分が不明確なので，さらに詳細に分析する．レバーを各位置に移動させたときをシナリオリストとして，システムの構成要素の振る舞いを表し ...

4

組込みシステムにおける振舞い検証に関する研究

... ける，検証を分割した際の整合性の保証および仕様記述の支援である．検証の分割方法として，コンポーネントごとの検証を最小単位とした分割方法を提案する．検証の分割により状態数を削減する．整合性の検証の支援として，検証条件をインターフェースの振舞いを用いて記 ...

4

進化する組込みシステム--連続セミナー2009

... らの機器システムから自動改札機，電車，あるいは銀行の ATM 端末などの社会インフラ機器まで我々の身の回りにあるかなりの機器がこの範疇に入ることになる．これらの組込みシステムの多くは，各種センサやアクチュエータとともに回路や計算機（マイコン）などのハードウェ ...

4

WindowsOS 以外にも対応可能な「システム組込み用指静脈認証装置」を提供開始

... テム装置に接続が可能です。本製品では、認証装置と上位側システム装置との間は制御コマンドと指静脈データのみがやり取りされるので、通信容量が小さいという特長があります。このため上位側システムを、シンクライアントなどを利用したシステムで構築することも可能です。また、既存の Windows ® OS 用指静脈認証装置（PC-KCA100） ...

5

組込みシステムにおける仕様とアーキテクチャとの関係の考察

... [6] から，仕様モデルのコンポーネントの意味を考慮せずに構文から対応関係を明確にすることは困難であることが確認できた．本研究の目的は仕様モデルのコンポーネントが表す構文と意味から，アーキテクチャのコンポーネントとの対応関係を明確にすることである．仕様モデルとアーキテクチャの対応関係を明確にすることで，アーキテクチャ ...

4

目次 1. FOCUS スパコンシステムの概要システム構成システム概要図システム構成要素の特徴ハードウェア構成サーバソフトウェア構成

... ノード内 20 コアを利用した共有メモリ並列から、Infiniband-FDR（56Gbit/s）で接続されたノード間分散メモリ並列、それらを組み合わせたハイブリッド並列に利用頂けます。・Ｅシステム コプロセッサ搭載システム インテル製「Xeon Phi 5110P」（1 基あたり 60 コア）をノード 1 台あたり 4 基（60×4=240 コア）、合計 192 基を搭載しております。ノード内 ...

119

非典型的な画像所見を呈した慢性進行性肺アスペルギルス症の1例

... ．宿主の防御因子が働かなくなると，菌糸は肺の既存構造と無関係に増殖し，肺梗塞や凝固壊死を生じる 11, 12）．好中球やマクロファージといった防御因子がある程度保たれた宿主では，菌糸の周りに好中球が浸潤し，膿瘍形成や壊死巣を形成する．ステロイド投与歴がある場合や糖尿病，低栄養，アルコール多飲などの軽度免疫能低下がある ...

4

JAIST Repository: 組込み機器向け深層学習の最適回路構成手法に関する研究

... なった「ESN の内部構造はランダムに接続されているため、内部ノード毎に必要な演算精度が異なりうる」という仮説を考案するに至った経緯及び関連研究について明らかにした。第 2 章では ESN の構造および演算について明らかにし、考案した最適化手法について明らかにした。ESN 演算に関わる要素（ネットワーク、演算器、活性化関数）の全てについて簡略化する手法を提案できたが、特に ...

56

クラウド時代の組込みシステム技術

... ■ タスクベースのシステム  プロセス・ファイルシステムを必須としない軽量な構成  タスクベースのシステム上に、高度なアプリケーションを実現できる  プロセスベースのシステムに対し、ROM/RAMの使用を大幅に削減 ...

28

プログラミング言語Rubyの最新動向：［Rubyの応用］6．Rubyを使った組込みソフト開発 -mrubyによる組込みシステム開発-

... 組込みソフトウェアが大規模になることは，ソフトウェア開発のコストが増大することを意味する．しかし現実問題として，先の車載コンピュータの例にあるようにコード規模が 100 倍になったとしても， 100 倍のコストがかけられるわけではない．ここには，ソフトウェアの生産性を高める工学的手法 ...

4

学と産の連携による基盤ソフトウェアの先進的開発:1.高信頼組込みシステムのための先進ソフトウェア技術

... いる．センサから得られる実世界の状況はシステムがどのような環境で利用されているかをアプリケーションが知り，その環境に合わせて実行を最適化することも可能となると思われる．特に，組込み機器自体の物理的なセキュリティは，実世界情報を用いることで大きく改善することが可能と思われる．たとえば，ユーザ以外の人が ...

7

組込みシステムにおけるモデルベース開発(MBD)技術者のスキル標準

... ＭＢＤ技術者として必要となる技術を、ラジコン自動車の制御開発を題材とした一連のＭＢＤプロセスを疑似体験するプロジェクト型演習を通して、実践的に習得する。本科目における、ＭＢＤ技術者とは上司の指導のもと従事するレベル相当（ＥＴＳＳ－ＪＭＡＡＢスキル基準における初級）を想定する。 ...

48

組込みシステムの共同研究開発と標準化　－欧州技術プラットフォームの分析

... Authorities）の間に立って調整機能を果たす組織である。運営資金は， ARTEMISIA と PAs によって拠出される。また， JU の傘下におかれる JTI を実行するための欧州委員会からのファンドは， JU を通して配分される。産業界サイドの ARETMISIA （ARTEMIS Industry Association）は，2007 年 1 ...

24

マイクロコントローラ向けスクリプト言語MicroPythonの組込みシステムへの適用性評価

... MicroPython のメリットとデメリットについて調査した．評価の結果， C 言語の割込み応答時間は MicroPython の応答時間と比べて約 12 倍高速であることや，プログラムコードへの最適化処理によるプログラム実行時間の高速化などが確認できた．今後 ...

4

組込みシステム産業の課題と政策展開

... 0% 20% 40% 60% 仕様や計画の変更が多い品質管理が難しい要求仕様や設計仕様の共有が難しい開発工数管理が難しい納期・開発工程の管理が難しい検収条件が厳しい取引金額が安い新技術の獲得が難しい技術の確保・向上が難しい納品後のサポートが大変仕事の進め方の違い ...

57

動的リアルタイムハイブリッド CEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用)

... - $T_{init}\subseteq L_{H_{1}||H_{2}}$ その要素 $l_{H_{1}||H_{2}}\in T_{init}$ はロケーション．． $\nu$ : $Xarrow \mathbb{R}_{\geq 0}$ はクロック評価．口 . $T_{end}$ $\subseteq$ $L_{H_{1}||H_{2}}$ $\cross$ $\Phi_{H_{1}||H_{2}}$ $\cross$ 定義 ...

10

組込みシステムの典型的なコード構成

関連した話題