安心・安全なIT社会の実現に向けてその課題と解決策を考える

抄録

インターネットが普及し、自動車や家電等の製品に組込みソフトウェアが搭載される中、安心・安全なIT社会を実現するソフトウェア技術開発が重要な課題となっている。ディペンダブル（頼れる）なOSを開発しようという挑戦的なプロジェクトの研究総括を務める株式会社ソニーコンピュータサイエンス研究所代表取締役社長の所眞理雄氏に、安心・安全なIT社会を実現するためのソフトウェアや新しい科学的な方法のあり方について伺った。