リアルタイムシステム実現のための自律オブジェクト指向

さまざまな分野で、さまざまな人達が、似て非なるソフトウェアを無数に作っている。そして、ソフトウェアに対する要求は膨大・複雑化し、論理的に矛盾がないことを立証しきれない状況になってきている。また、どうすれば欠陥がないと立証できるかが重要になってきている。なかでも、リアルタイム制御システムへのオブジェクト指向の適用は、課題点とされているか、非常に不鮮明なものになっているようである。制御システムの分野では、実装資源の制約と実用的な解説が少ないため、まだ多くの問題を抱えている。このような事態を改善するために、本書では「自律オブジェクト指向」という新しい考え方を提唱する。