設計の検証⽀支援ツールの開発
2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 抽象化に基づいた UML 設計の検証 支援ツールの開発 公 立立 大学法 人岡 山県 立立 大学情報 工学部情報システム 工学科 横川智教 Circuit Design Engineering Lab. - Okayama Prefec
... 検証⽀支援ツール 1. 対象とする設計記法として，組込みソフトウェア開発に 広く利利⽤用されている形式仕様記法 UML を想定する 2. モデル検査ツールとして，モデル記述⾔言語の表現⼒力力およ ...
18
CLT による木造建築物の設計法の開発 ( その 2)~ 構造設計法の開発 ~ 平成 26 年度建築研究所講演会 CLT による木造建築物の設計法の開発 ( その 2)~ 構造設計法の開発 ~ 構造研究グループ荒木康弘 CLT による木造建築物の設計法の開発 ( その 2)~ 構造設計法の開発 ~
... 44～ ～ 6m 6m 11～ ～ 2m 2m CLTによる木造建築物の設計法の開発（その２）～構造設計法の開発～ 平成２６年度建築研究所講演会 ● ● CLT CLT構造の特徴：構造上の特徴 構造の特徴：構造上の特徴 250 ...
14
目次 第 7 章設計 開発 設計 開発実施計画書等の作成 ) 設計 開発実施計画書の記載内容... 4 ア作業概要... 5 イ作業体制に関する事項... 6 ウスケジュールに関する事項... 8 エ成果物に関する事項... 9 オ開発形態 開発手法 開発環境 開発ツール
... 運用及び保守業務は定められた要件に従って情報システムを継続的に安定して 稼働させることのみならず、作業実績やシステム稼働状況に基づく作業の効率化 等の改善活動を行うことで政策目的の達成に貢献する作業でもあるため、運用計 画及び保守作業計画は定常時のみならず障害発生時においても、定められた品質 水準で業務を遂行する計画とすることが必要である。そのため、運用計画及び保 ...
98
評価ボード キット 開発ツールご使用上の注意事項 1. 本評価ボード キット 開発ツールは お客様での技術的評価 動作の確認および開発のみに用いられることを想定し設計されています それらの技術評価 開発等の目的以外には使用しないで下さい 本品は 完成品に対する設計品質に適合していません 2. 本評価
... 評価ボード・キット、開発ツールご使用上の注意事項 1. 本評価ボード・キット、開発ツールは、お客様での技術的評価、動作の確認および開発のみに用いられることを想定し設計されて ...
13
評価ボード キット 開発ツールご使用上の注意事項 1. 本評価ボード キット 開発ツールは お客様での技術的評価 動作の確認および開発のみに用いられることを想定し設計されています それらの技術評価 開発等の目的以外には使用しないで下さい 本品は 完成品に対する設計品質に適合していません 2. 本評価
... 評価ボード・キット、開発ツールご使用上の注意事項 1. 本評価ボード・キット、開発ツールは、お客様での技術的評価、動作の確認および開発のみに用いられることを想定し設計されて ...
13
建築設計実務における環境配慮型技術のイノベーションプロセスに関する研究 −グリーンビルディング設計支援システムの開発を目指して− [ PDF
... ［設計事例の概要］技術職10名の中規模意匠設計事務所で、 設計事例は築34年共同住宅の改修である。施主の要望はコ ストのみであった。設計者は既存建築の再生( 長寿命化) を 主要テーマとして設計を行っている。［部材の劣化防止策 ...
4
開発工程ごとの解析項目 設計においてはモデルベース開発を適用したが 検証 解析種別により複数の解析ツールを用途に応じて使い については 下記の理由から各種ツールを利用した コー 分けている 表１ また 図３に示すように コード解 ド解析 を実施することとした 析 専任者 が使用する解
... 計・検証コストの改善」事例である。 自動車の高機能化・電子制御化に伴い、一台の自動車に搭載されるECU（電子制御ユニット：Electronic ControlUnit）の数は年々増加し、また要求される機能も複雑化している。ECUの増加に伴い、実現するソフ ...
6
独立行政法人情報処理推進機構委託 2013 年度ソフトウェア工学分野の先導的研究支援事業 抽象化に基づいた UML 設計検証支援ツールの開発 成果報告書 平成 26 年 2 月 公立大学法人岡山県立大学
... NuSMV のモデル記述言語（以下，SMV 言語という）を用いて モデル化することを前提として，モデルの自動生成を効率的に行うための UML 図への制約定義 および制約違反が存在するときはそれを解消する機能によって実現される．②については NuSMV による検証コストを削減するため，検証すべき特性である要求仕様に基づいて UML 図か ...
85
Electrical ソリューションは 電気設備設計と機械設計のシームレスな統合を実現する 業界で評価の高い設計ソリューションを提供します 製品の技術革新を促進 画期的な製品設計による市場シェアの拡大と差別化 直感的で強力な電気設備設計ツールを利用してエンジニアリングチームを強化し 開発と開発の新し
... ELECTRICAL 設計者とエンジニアは、SOLIDWORKS Electricalにより、複雑 な電気システムの電気部品相互接続をすばやく定義できます。 機械設計と電気設計をつなげるリアルタイムのマルチユーザー コラボレーション環境で、インテリジェントな単線または従来 の複線回路図とともに、数千もの電気回路図シンボルと部品 ...
6
評価ボード キット 開発ツールご使用上の注意事項 1. 本評価ボード キット 開発ツールは お客様での技術的評価 動作の確認および開発のみに用いられることを想定し設計されています それらの技術評価 開発等の目的以外には使用しないで下さい 本品は 完成品に対する設計品質に適合していません 2. 本評価
... 評価ボード・キット、開発ツールご使用上の注意事項 1. 本評価ボード・キット、開発ツールは、お客様での技術的評価、動作の確認および開発のみに用いられることを想定し設計されて ...
21
評価ボード キット 開発ツールご使用上の注意事項 1. 本評価ボード キット 開発ツールは お客様での技術的評価 動作の確認および開発のみに用いられることを想定し設計されています それらの技術評価 開発等の目的以外には使用しないで下さい 本品は 完成品に対する設計品質に適合していません 2. 本評価
... を停止します。SW1～SW3 の操作 は無効で、20 ミリ秒毎に T16Ch0 の割り込みが発生して intT16Ch0 関数が呼ばれます。 (6) intT16Ch0 関数では、間歇駆動の場合は LED を点灯後、指定の遅延時間経過後に ADC12 をト リガして AD 変換値を得、LED を消灯します。連続駆動の場合は ADC12 をトリガして AD 変 ...
41
評価ボード キット 開発ツールご使用上の注意事項 1. 本評価ボード キット 開発ツールは お客様での技術的評価 動作の確認および開発のみに用いられることを想定し設計されています それらの技術評価 開発等の目的以外には使用しないで下さい 本品は 完成品に対する設計品質に適合していません 2. 本評価
... 評価ボードは、PC レスのスタンドアローンで動作します。図 2-1 は、評価ボードの動作の流れを示 しています。NEWCASTLE ボード上の micro SD カード内の音声データを NEWCASTLE ボード上の Host CPU が読み出し、メッセージプロトコル仕様（別途参照願います）に基づいて、Host CPU か ら NIJYO-S ...
11
GIS Theory and Applications of GIS, 2014, Vol. 22, No.2, pp 地理空間情報技術の学習支援ツールの設計と開発太田守重 * Design and Development of an Assistance Tool for Educat
... ジオライブラリーに保存しておくことによってKit の検索ができ，その更新，解析，交換，そして地図 表現が可能になる．解析の結果は地物の属性として Kitに追加され，管理される．Kitを始めとする様々 なデータは内部形式をとるが，XML文書として符号 化され，受け手によって復号化される．さらに，Kit ...
12
車載ソフトウェアのテスト自動化支援ツール
... ）を開発している。ECU のソフトウェア（以下、 車載ソフトウェア）は、全く新規に設計されることは少な く、多くの場合、旧モデルの設計を流用して開発される。 設計の流用時には、車載ソフトウェアの品質確保のための テストパターンも基本的に流用する。ところが、車両全体 ...
6
製品カタログ 設計業務効率化ツール for icad 設計業務効率化ツール for icad ご紹介 お客様の業務に合わせた設計業務効率化ツールを提供します 設計業務効率化ツール for icad の特徴 設計者の声を反映かゆいところに手が届くコマンドを実現! 豊富なサポート実績をもとに設計者の生の
... 豊富なサポート実績をもとに設計者の生の声を反映して開発しました。 「この一手間が面倒」といったお困りごとを改善します。 ■作業時間を短縮し業務効率ＵＰ！ 単一オペレーションによる手数軽減により最低限の操作で設計業務を行うことができます。 また、入力ミスの削減による手戻り防止が見込めます。 ...
21
最適設計支援ツール「OPTIMUS」とCATIA V5最適化モジュール「PLM Optimization」
... 自動化のメリット CPUの有効活用ができ、設計者は今まで解析に費やしていた時間を 本来の開発・設計改良のための時間に割り当てることができる 常にユーザはコンピュ ターと向かい合わせに なり、解析作業を強い られる ...
19
実機によるソニックブーム計測結果を用いた推算ツール検証 低ソニックブーム設計概念実証機 (S3CM) の空力解析 D-SEND#1 のフラッタ解析 航空機の空力 騒音に関する研究 CFD の小型旅客機設計適用に関する研究 将来型航空輸送機の空力形状設計 極超音速機の空力性能に関する研究
... FaSTAR の開発 ········································································· 六面体自動格子生成ソフト HexaGrid の開発 ······························································· Standard Dynamics ...
220
ヒアリング調査結果：詳細結果 調査シリーズ No62 相談機関におけるキャリア支援プログラムの実態調査 ― キャリア選択支援ツール開発のために ―｜労働政策研究・研修機構（JILPT）
... てパッケージ化した一連の内容を指す。特にワークでは、自らを振り返り、人生の決断 の一つである就職を自信をもって行い、行動につながるようなものを実施している。定 員 10～15 人程度でメンバーを固定し、1 回につき 3 時間前後のコースを週 2～3 日、全部 で 16 回程度の内容を、約 1 ヶ月半（5 週間）で実施していく。 ...
25
組込み用Linuxボード，BeagleBone Blackにおける RTミドルウェアの動作と開発支援ツール
... 5.1 Kobuki制御実験 BeagleBone Blackで自動起動したKobukiコンポー ネントと，Windows上で起動させたGUIJoyStickコン ポーネントをWindows上のシステムエディタで接続， 起動した（図6）．KobukiとBeagleBone Blackを運用 した際の構成は図7になる．実際にKobukiをGUIジョ ...
5
授乳期の乳房診断アセスメントツールの開発
... 自分で項目を検討する方法やインタビュー法によるも の，既存の文献を検討する方法がある（鎌原・宮下・ 大野木他，2007）。このうち，文献検討による方法では， 参考にした文献の数によっては内容が網羅されていな い，気に入った項目を追加していくうちに本来測るべ きドメインからずれていく危険性などが指摘されてい る（吉田，2007）。そこで，本研究の基盤となった「授 ...
11