Science & Technology Trends March 2003 feature article 02［特集２］ 高信頼ソフトウェア技術の研究動向 ―ソフトウェア基礎技術の確立に向けて― 情報通信ユニット 亘理 誠夫 １． はじめに コンピュータが出現して50年たち、その装置の形態は、スーパーコンピュータ、パソコン、機器に組み込まれるマイクロプロセッサなど多様化している。その利用は、企業活動、社会活動、個人生活の広い範囲に深く入り込んでおり、一度システムに障害が発生すると、その影響は大きい。銀行システムの障害、携帯電話のトラブル、などの例は記憶に新しい。銀行システムでは多くのATMからネットワークを介して多種の取引が行われており、システムが巨大で複雑である。一方、携帯電話は、単なる電話機能のみならず、ホームページ閲覧機能、メール機能、着メロ機能、写真機能など多くの機能を持ち、これらを実現するソフトウェアは複雑で巨大になっている。複雑化・巨大化に伴い、信頼性の確保が課題になって
