Название: Development of Safety-Critical Systems: Architecture and Software
Автор: Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra
Издательство: Springer
Год: 2023
Страниц: 373
Язык: английский
Формат: pdf (true), epub
Размер: 37.2 MB

This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers.

Software, like any other engineering product, is developed today by adhering to a well-established development process involving a well-defined set of activities. Over decades, it has been established that building software of industrial quality, leave alone software for safety or mission-critical systems, is not just about talented programmer(s) writing code. Industries have developed their own processes with an aim to produce quality software. A process must facilitate assessing the quality of the software. In addition, it is also necessary to (i) make the development of software person independent and (ii) make the software, especially large software, easier to maintain and manage. The means to achieve these goals, to put it in simple terms, are (i) analysis and design before writing a code and (ii) verification and validation (V&V) at every stage, i.e. from requirements analysis and design to implementation and finally system integration and acceptance till the release of the software. However, these activities must conform to the applicable standards and follow a development plan.

After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter.

Contents: