著者
徳本 晋 上原 忠弘 宗像 一樹 菊地 英幸 江口 亨 石田 晴幸 馬場 匡史
雑誌
組込みシステムシンポジウム2011論文集
巻号頁・発行日
vol.2011, pp.23-1-23-8, 2011-10-12

KLEE は LLVM 中間コードを対象としてシンボリック実行をすることができるツールである.C/C++ で書かれたプログラムは llvm-gcc や clang などのコンパイラで LLVM ビットコードにコンパイルできるため,C/C++ プログラムの検証ツールとして KLEE は期待されている.今回,2 つのプログラムについて KLEE を適用し,それにより検出したバグとその特徴を紹介するとともに,KLEE のバグ検出能力について考察する.また,他の商用 C/C++ 検証ツールで対象プログラムを解析したときの結果と,KLEE を使った場合との比較について報告する.さらに KLEE 適用時の課題を解決すべく,KLEE で生成したテストケースを CPPUNIT のテストコードへ変換するツールについても報告する.
著者
松村 秀一 権藤 智之 佐藤 考一 森田 芳朗 江口 亨
出版者
日本建築学会
雑誌
日本建築学会計画系論文集 (ISSN:13404210)
巻号頁・発行日
vol.78, no.693, pp.2307-2313, 2013-11-30 (Released:2014-07-10)
参考文献数
18
被引用文献数
1 1

Major prefabricated houses manufacturers started their business around 1960s and became world class large housing companies. This study clarifies 9 major prefabricated houses manufacturers' developments at early stage by interviews with their in-house engineers and architectural designers as well as analysis of relating documents. Early prefabricated houses were developed by small number of engineers intensively. Various architecture and specialists including foreign architecture, famous architects and academics affected these developments in some aspects. Furthermore, each of early prefabricated houses had many unique characteristics in building systems. Some of them had changed in early stages, while the others still remain nowadays.
著者
新井 正敏 江口 亨 石田 晴幸 吉田 紀彦
出版者
一般社団法人 システム制御情報学会
雑誌
システム制御情報学会論文誌 (ISSN:13425668)
巻号頁・発行日
vol.30, no.6, pp.228-237, 2017-06-10 (Released:2017-09-15)
参考文献数
10
被引用文献数
3

To improve development efficiency, model based techniques have been increasingly applied in embedded systems. For example, MATLAB/Simulink is regularly used for expressing physical phenomena, including signal processing and control systems. While it is very effective in these areas, it lacks object oriented capabilities that have been proven to increase development efficiency in related domains. UML is effective for descriptions of structures using object oriented abstraction, however it cannot express physical phenomenon easily. Furthermore, in conventional software engineering,code-libraries are regularly used to deliver significant development efficiency improvements across a wide range of domains, however neither MATLAB/Simulink nor UML include code-libraries. In this paper, we propose an extended UML to combine an UML model, MATLAB/Simulink models and code-libraries in a single system so as to realize efficient development. In the extended UML, an entire system is defined as a structure that consists of model parts. Each model part is integrated using UML. After generating source codes using UML, additional source code details are added from MATLAB/Simulink models and code-libraries. We demonstrate the efficiency of the extended UML with an experiment that shows behavioral equivalence between the system created with the extended UML and the original simulation model.
著者
江口 亨
出版者
横浜国立大学
雑誌
若手研究(B)
巻号頁・発行日
2012-04-01

本研究の目的は、改修された建物を対象とし、寿命を決定づけた物理的、社会的要素を分析して、長寿命化のための維持改修プロセスに必要な事項の整理である。明らかになった課題は、物理的要素について、既存ストックの情報を集約し管理していない点、外装材を交換できるよう設計しても施工精度が高い必要がある点などがある。また、社会的要素については、改修を行う事業者は、これまでとは異なるサービスも提供する必要がある点、個人的なつながりが改修の機会を増やす点などがある。