ハイブリッドシステムの高信頼性設計方法論  [in Japanese] Formal Development Method of Hybrid System  [in Japanese]

ハイブリッドシステムはアナログ環境に組み込まれたデジタルな実時間システムであり、ほとんどの組込み型システムはハイブリッドシステムである。このハイブリッドシステムの信頼性保証は非常に重要である。本論分では、以下のようにハイブリッドシステムの開発プロセスを定義して、各プロセスの仕様を形式的に記述して、プロセスの仕様間の詳細化を検証する手法を提案する : (1)最上流工程 : 制御系の開発、 (2)上流工程 : ハイブリッドモデルの開発、 (3)中流工程 : ソフトウェアモデルの開発(マルチタスクとスケジューリング)、 (4)下流工程 : プログラムの開発。 本論文では、紙面の都合上から、(1)最上流工程と(2)上流工程を中心に提案手法を述べる。

Hybrid systems are digital real-time systems that are embedded in analog environments. It is important to guarantee their qualities. In this paper, we define the following development processes and propose formal development method based on formal specification and rifinement verification : (1)Most upstream : development of control laws (2)Upstream : development of hybrid models (3)Midlestream : development of software models(task structures and their scheduling) (4)Lowstream : development of programing In this paper, we mainly explain(1)Most upstream and (2)Upstream.