組込み機器のための例外処理の記述容易化と最適化コンパイルに関する研究

嵌入式设备异常处理编写难易度及编译优化研究

• 批准号: 14780218
• 负责人: 中西 恒夫
• 金额: $ 1.73万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2002
• 资助国家: 日本
• 起止时间: 2002 至 2003
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14780218/
• 关键词: 例外処理; ソフトウェアアーキテクチャ; オペレーティングシステム; タスク間通信; コンパイラ; try-catch構文; 二分決定木

例外処理の記述は,コーディング段階以前に,要求分析や仕様記述など開発工程の上流での検討が必要であるとの結論に至り,平成15年度は上流工程での例外処理フレームワークの研究を進めた.(1)信頼性保証のための組込みソフトウェアアーキテクチャの開発:一般的な組込みソフトウェアはイベント駆動型のプログラムであり,例外処理はイベントに対する応答として記述するのが自然である.そこで,イベントによる状態遷移とイベント発生時の処理を分離し,見通しをよくするソフトウェアアーキテクチャを開発し,同アーキテクチャ上での例外処理の扱いと言語的記述を整理した.(2)タスク間通信におけるエラー処理の整理:組込み用オペレーティングシステム上のアプリケーションでは,一般に複数のタスクが生成され,それらのタスクがタスク間同期機構を介して通信するが,タスク間通信機構の実装はオペレーティングシステムによって大きく異なる.本研究では,これまで組込みシステムでよく用いられてきたITRON,ならびに今後組込みシステムでの利用が期待されるLinuxの両オペレーティングシステムのタスク間通信機構を調査し,タスク間通信に関するエラーの扱いを整理するとともに,エラー処理を考慮した両オペレーティングシステム間のタスク間通信機構の一般的な移植法を開発した.(3)例外的入力に対するオペレーティングシステムの耐久性の評価:CMUの研究者らによるBallista法を用いて,Linuxなど既存オペレーティングシステムのシステムコールの例外的入力(規定外の引数の入力)に対する頑健性を評価した.引数の組み合わせによってはオペレーティングシステムがハングすることが確認され,ラッパによる補償手法を検討した.

A description of exception handling, a description of the requirements before the stage, a description of the requirements for analysis, and a description of the project's progress. It is necessary to conclude the conclusion and proceed with the exception processing of the upstream project in FY2015. (1 )The quality guarantee of the のための组込みソフトウェアアーキテクチャのkai発:General な组込みソフトウェアはイベント槆动式のプログラムであり, exception processing はイベントに対する応 Answer としてnarrative するのがnatural である.そこで,イベントによるstate transitionとイベント発生のprocessingをseparationし,见通しをよくするソフトウェアアーキテクチャを开発し, same as アーキテクチャ上でのException processing の扱いとverbal description をorganized した.(2)タInter-Communication Communication Processing and Arrangement: Organizational Communication Systemは,general にplural のタスクがGeneration され,それらのタスクがタスク Inter-synchronous organization を Introduction して Communication するが,タスクThis research is based on the communication organization's communication mechanism.システムでよく Use いられてきたITRON, ならびに will be organized in the future みシステムでの use が look forward to されるLin uxの両オペレーティングシステムのタスク Inter-Communication Agency を Investigation し, タスク Inter-Communication に关するエラーの扱いをorganize the するとともに, and the エラーprocessing をconsider the した両オペレーティングシステム间のタスク Intercommunication agencyの一The general method of transplantation is the same as the original one. (3) Exceptional input method of transplantation is the durability test: C MU's researcher らによるBallista method をいて, Linux などexisting オペレーティングシステムのシステムコールのexceptional input force (the input force of the stipulated external quotation) に対する强性を Comment価した.The quotation group み合わせによってはオペレーティングシステムがハングすることがconfirmationされ,ラッパによるcompensation techniqueを検questionした.

项目成果

山下俊之, 中西恒夫, 福田晃: "コンテキスト指向例外処理方式における例外条件検出"情報処理学会第65回全国大会論文集. (発表予定). (2003)

Toshiyuki Yamashita、Tsuneo Nakanishi、Akira Fukuda：“面向上下文的异常处理方法中的异常条件检测”第 65 届日本信息处理学会全国会议论文集（2003 年）。

中西恒夫, 山下俊之, 北須賀輝明, 福田晃: "異常状態の大域的検出と要求駆動型例外処理に関する一考察"情報処理学会研究報告(システムソフトウェアとオペレーティングシステム研究会). 2003・19. 7-13 (2003)

Tsuneo Nakanishi、Toshiyuki Yamashita、Teruaki Kitasuga、Akira Fukuda：“关于异常状态的全局检测和请求驱动的异常处理的研究”，日本信息处理学会研究报告（系统软件和操作系统研究小组），2003 年，19。 7 -13 (2003)

松本 充広 他: "シミュレータを利用した組み込み向けソフトウェア開発方法論の提案"電子情報通信学会技術報告. Vol.103, No.102. 25-30 (2003)

Mitsuhiro Matsumoto 等人：“使用模拟器的嵌入式软件开发方法的建议”IEICE 技术报告，第 103 卷，第 102 期（2003 年）。

Takuo Fukunaga 他: "Empirical Study on Robustness of Operating Systems to Exceptional Inputs : A Report on Re-Experiment of CMU Ballista Method"Proc.of the 1^<st> CLUSS Int.Workshop on Next Generation Embedded Software. 175-187 (2003)

Takuo Fukunaga 等人：“操作系统对异常输入的鲁棒性的实证研究：关于 CMU Ballista 方法重新实验的报告”Proc.of the 1^<st> CLUSS Int.Workshop on Next Generation Embedded Software 175-。 187 (2003)