ソフトウェアの安全性：理由、何、そして方法

ソフトウェアの安全性の問題は、コンピュータがリアルタイムの安全重要プロセスを制御するために使用されるときに重要になります。この調査は、なぜ問題があるのか、問題が何であるのか、そしてそれを解決する方法について知られていることを説明しようとしています。この分野は比較的新しいソフトウェアの研究領域であるため、優れた問題と研究トピックを明確にすることに重点が置かれています。