• Complain

Frank J. Furrer - Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development

Here you can read online Frank J. Furrer - Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development full text of the book (entire story) in english for free. Download pdf and epub, get meaning, cover and reviews about this ebook. year: 2022, publisher: Springer Vieweg, genre: Computer. Description of the work, (preface) as well as reviews are available. Best literature library LitArk.com created for fans of good reading and offers a wide selection of genres:

Romance novel Science fiction Adventure Detective Science History Home and family Prose Art Politics Computer Non-fiction Religion Business Children Humor

Choose a favorite category and find really read worthwhile books. Enjoy immersion in the world of imagination, feel the emotions of the characters or learn something new for yourself, make an fascinating discovery.

Frank J. Furrer Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development
  • Book:
    Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development
  • Author:
  • Publisher:
    Springer Vieweg
  • Genre:
  • Year:
    2022
  • Rating:
    4 / 5
  • Favourites:
    Add to favourites
  • Your mark:
    • 80
    • 1
    • 2
    • 3
    • 4
    • 5

Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development: summary, description and annotation

We offer to read an annotation, description, summary or preface (depends on what the author of the book "Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development" wrote himself). If you haven't found the necessary information about the book — write in the comments, we will try to find it.

Cyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and interacting with the physical world through sensors and actuators. A CPS has, therefore, two parts: The cyber part implementing most of the functionality and the physical part, i.e., the real world. Typical examples of CPSs are a water treatment plant, an unmanned aerial vehicle, and a heart pacemaker. Because most of the functionality is implemented in software, the software is of crucial importance. The software determines the functionality and many CPS properties, such as safety, security, performance, real-time behavior, etc. Therefore, avoiding safety accidents and security incidents in the CPS requires highly dependable software.

Methodology
Today, many methodologies for developing safe and secure software are in use. As software engineering slowly becomes disciplined and mature, generally accepted construction principles have emerged. This monograph advocates principle-based engineering for the development and operation of dependable software. No new development process is suggested, but integrating security and safety principles into existing development processes is demonstrated.

Safety and Security Principles
At the core of this monograph are the engineering principles. A total of 62 principles are introduced and catalogized into five categories: Business & organization, general principles, safety, security, and risk management principles. The principles are rigorous, teachable, and enforceable. The terminology used is precisely defined. The material is supported by numerous examples and enriched by illustrative quotes from celebrities in the field.

Final Words
In a cyber-physical systems safety and security, any compromise is a planned disaster

Audience
First, this monograph is for organizations that want to improve their methodologies to build safe and secure software for mission-critical cyber-physical systems. Second, the material is suitable for a two-semester, 4 hours/week, advanced computer science lecture at a Technical University.

This textbook has been recommended and developed for university courses in Germany, Austria and Switzerland.


Frank J. Furrer: author's other books


Who wrote Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development? Find out the surname, the name of the author of the book and a list of all author's works by series.

Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development — read online for free the complete book (whole text) full work

Below is the text of the book, divided by pages. System saving the place of the last page read, allows you to conveniently read the book "Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development" online for free, without having to search again every time where you left off. Put a bookmark, and you can go to the page where you finished reading at any time.

Light

Font size:

Reset

Interval:

Bookmark:

Make
Contents
Landmarks
Book cover of Safety and Security of Cyber-Physical Systems Frank J Furrer - photo 1
Book cover of Safety and Security of Cyber-Physical Systems
Frank J. Furrer
Safety and Security of Cyber-Physical Systems
Engineering dependable Software using Principle-based Development
Logo of the publisher Frank J Furrer Computer Science Faculty Technical - photo 2
Logo of the publisher
Frank J. Furrer
Computer Science Faculty, Technical University of Dresden, Dresden, Germany
ISBN 978-3-658-37181-4 e-ISBN 978-3-658-37182-1
https://doi.org/10.1007/978-3-658-37182-1
The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Fachmedien Wiesbaden GmbH, part of Springer Nature 2022
This work is subject to copyright. All rights are solely and exclusively licensed by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Responsible Editor: Leonardo Milla

This Springer Vieweg imprint is published by the registered company Springer Fachmedien Wiesbaden GmbH, part of Springer Nature.

The registered company address is: Abraham-Lincoln-Str. 46, 65189 Wiesbaden, Germany

Foreword

This book is about cyber-physical systems. A Google search for this term results in 405000000 hits in 0.64 seconds (25.01.2022). Together with the strongly linked use of the term and the concept with other related popular terms such as Industry 4.0 and (IoT) Internet of Things, this fact clearly shows the importance of cyber-physical systems in the present and the upcoming world!

The NIST characterization: Cyber-Physical Systems (CPS) comprise interacting digital, analog, physical, and human components engineered for function through integrated physics and logic. These systems will provide the foundation of our critical infrastructure, form the basis of emerging and future smart services, and improve our quality of life in many areas. Cyber-physical systems will bring advances in personalized health care, emergency response, traffic flow management, and many more ( https://www.nist.gov/el/cyber-physical-systems , [Last accessed: 16.06.2021]).

Suffices by itself to underline the importance of the field.

This characterization does not explicitly mention the correct operation and continuous availability of cyber-physical systems and is apparently taken for granted. However, we need and somehow expect such fundamental properties to become a commodity for the functioning of our modern CPS-based society.

Unfortunately, reaching this goal will require a lot of effort, research, and practice. In fact, all existing cyber-physical systems are and will ever be under the continuous influence of cyber-attacks, faults, and failures hitting their software or underlying hardware, possibly causing unavailability or improper behavior of their operating environment, human errors, or being impacted by malicious activities.

This book precisely addresses those challenges that are at the basis of proper functioning of cyber-physical systems and the infrastructures they compose: It deals with the focused and fundamental issue of engineering principles for safety and security.

The book is divided into two main parts, each providing significant contributions toward managing safety and security.

The first addresses all the relevant concepts and explains their relations and links to the reader. Here the book offers many definitions and provides the conceptual framework for cyber-physical systems. All the facets of CPSs and the possible safety and security implications are linked to the fundamental notion of risk. Finally, all the impairments to proper functioning at all possible locations are explored and exemplified so that the reader can have a comprehensive view of the complexity that needs to be managed appropriately.

While the first part provides and structures the essential knowledge on safety, security, and risk, the second part elaborates on proper responses regarding a few paramount questions that must be asked: 1) How are good safety and security defined? 2) How is good safety and security formalized? 3) How is good safety and security taught? 4) How is good safety and security enforced?

This book provides enlightening solutions by defining, formalizing, strictly applying, and enforcing safety and security principles. In fact, good safety and security principles provide reliable knowledge for the successful architecting of trustworthy cyber-physical systems.

The second part of the book introduces and then details the concept of principle-based engineering to explain and justify a number of safety and security principles. This approach to architecting safe and secure systems is complemented and enriched by many instructive examples and practical observations, which add value to the book and allow the message to arrive clearly and sound.

I also want to remark the high value of the book as an instrument for teaching and education. Given its style and the richness of the examples made, the book can be used both as a textbook for graduate students but also as a guideline for the practitioner and the engineer as a help for a correct application of the safety and security principles when architecting and implementing cyber-physical systems of any of the types and variations described in the book.

The reader will appreciate how the book grew out of the long-running activities of the author and shows the admirable maturity he has achieved, both in the vastity of the material included and the presentation style. All this makes the book a source of inspiration.

I wish the readers to enjoy reading this rewarding book as I had!

Prof. Dr. Andrea Bondavalli
June 2021
Preface

Today, Cyber-Physical Systems (CPS) are at the core of our industrial society. We rely heavily on cyber-physical systems in all areas of work and life.

Cyber-physical systems combine a cyber-part , i.e., a software-controlled computer system, with a physicalpart , i.e., a real system. The software operates the physical system. Examples of cyber-physical systems are cars, airplanes, trains, communications and energy infrastructures, heart pacemakers, medical diagnosis equipment, water treatment plants, and many more.

Next page
Light

Font size:

Reset

Interval:

Bookmark:

Make

Similar books «Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development»

Look at similar books to Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development. We have selected literature similar in name and meaning in the hope of providing readers with more options to find new, interesting, not yet read works.


Reviews about «Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development»

Discussion, reviews of the book Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development and just readers' own opinions. Leave your comments, write what you think about the work, its meaning or the main characters. Specify what exactly you liked and what you didn't like, and why you think so.