通常、セーフティ クリティカルシステムはカプセル化を利用しますか? 人工衛星、ジェット戦闘機、潜水艦、または旅客機用にAdaまたはCで実装された組み込みシステムを考えてみましょう。
カプセル化の概念は、ソフトウェア自体ではなく、ソフトウェアの開発と保守のプロセスを支援するためにあるので、質問を受けました。メモリ内に直接アクセスするのではなく、アクセサーを介してデータにアクセスするためのオーバーヘッドが少し増えるため、このような安全性が重要なアプリケーションがカプセル化のような抽象化レイヤーを実装することが許容されるかどうか疑問に思っています.
また、たとえば旅客機に電力を供給するコードが大量にあると想定しているため、それらの概念を搭載したくない場合、ソフトウェア開発はある時点で手に負えなくなる可能性があります.
PS質問がトピックから外れている場合は、コメントまたは編集して自由に記入してください。これは私にとって本当の質問であり、同様のアプリケーションに既に取り組んでいる人々から回答を得たいと思っています.
PPS 混乱を避けるために、最近のバージョンのAdaには OOP 機能があり、カプセル化はCでも簡単に実現できます。