SPARK is a tool for building high integrity applications that can be used to create software systems that are safe and reliable enough to control our cars airplanes and other critical systems. Book Description: Building High Integrity Applications with SPARK Author: John W. McCormick and Peter C. Chapin Cambridge University Press 2015 Software is pervasive in our lives, from the smartphones in our pockets to the medical devices that save our lives. However, we are all too familiar with the frustration of dealing with software failures, from crashing apps to blue screens of death. But what if these failures could have catastrophic consequences? What if the software that controls our cars, airplanes, and medical devices had errors or bugs that could put human life at risk? This is where SPARK comes in - a tool for building high integrity applications that can be used to create software systems that are safe and reliable enough to control our critical systems. In this book, we will explore the need to study and understand the process of technology evolution, and how it affects our lives.

SPARK - это инструмент для создания приложений с высокой степенью целостности, которые можно использовать для создания программных систем, которые являются достаточно безопасными и надежными для управления нашими автомобилями, самолетами и другими критически важными системами. Создание приложений с высоким уровнем целостности с помощью SPARK Автор: Джон В. Маккормик и Питер С. Чапин Cambridge University Press 2015 Программное обеспечение широко распространено в нашей жизни, от смартфонов в наших карманах до медицинских устройств, которые спасают наши жизни. Тем не менее, мы все слишком знакомы с разочарованием от проблем с программным обеспечением, от сбоев приложений до синих экранов смерти. Но что, если эти неудачи могут иметь катастрофические последствия? Что если программное обеспечение, которое управляет нашими автомобилями, самолетами и медицинскими устройствами, имело ошибки или ошибки, которые могли подвергнуть риску человеческую жизнь? Здесь появляется SPARK - инструмент для создания приложений с высокой степенью целостности, которые можно использовать для создания программных систем, достаточно безопасных и надежных для управления нашими критически важными системами. В этой книге мы рассмотрим необходимость изучения и понимания процесса эволюции технологий и того, как это влияет на нашу жизнь.

''

SPARKは、自動車、航空機、その他の重要なシステムを制御するのに十分な安全性と信頼性を備えたソフトウェアシステムを作成するために使用できる高い整合性アプリケーションを作成するためのツールです。SPARKで高品質なアプリを構築するJohn W。 McCormickとPeter S。 Chapin Cambridge University Press 2015ソフトウェアは、私たちのポケットにあるスマートフォンから、私たちの命を救う医療機器まで、私たちの生活の中で普遍的です。しかし、私たちは皆、アプリのクラッシュからブルーデススクリーンまで、ソフトウェアの問題の不満に精通しています。しかし、これらの失敗が悲惨な場合はどうでしょうか。私たちの車、飛行機、医療機器を駆動するソフトウェアに、人間の命を危険にさらす可能性のあるバグやバグがあった場合はどうなりますか？SPARKは、当社の重要なシステムを管理するのに十分な安全性と信頼性を備えたソフトウェアシステムを構築するために使用できる高整合アプリケーションを構築するためのツールです。この本では、技術の進化とそれが私たちの生活にどのように影響するかを研究し、理解する必要性を見ていきます。