## Memo ## Abstract ソフトウェアの信頼性は、私たちが暮らすデジタル世界ではますます不可欠になっている。私たちの日常生活では、セキュリティやエネルギー効率のための監視システムから、掃除ロボット、スマートテレビ、スマートフォン、自動化されたキッチン用品など、毎日使うデバイスに至るまで、ある程度のスマート化と自動化が施された家で目覚める。一歩外に出れば、私たちは交通システムを利用している。交通システムはさまざまな自動化機能を持ち、クラウドベースのシステムに接続され、スマートシティにリンクされ、セキュリティ、速度制限制御、アクセス制御などの目的でさまざまなデバイスやカメラによって監視されている。また、デジタル・システムは私たちに関する情報を記録し、私たちの動き、健康状態、経済状況、親友や家族、居住地など、私たちの生活のあらゆる側面に関する洞察を可能にしている。スマート工場のように、ロボットや協働ロボット（コボット）を使って生産を支援する労働環境もあるが、手作業や職人的な作業でさえ、ある程度は電子機器を活用するようになっている。