Jump to ContentJump to Main Navigation

You are looking at 1-8 of 8 items

  • Keywords: critical systems x
Clear All Modify Search

View:

Critical Embedded Software: Control Software Development and V&V

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0001
Subject:
Mathematics, Applied Mathematics

This chapter looks at the current state of physical systems controlled by an onboard computer. Typically this covers transportation systems such as cars, aircraft, railway systems, space systems, or ... More


Reliability and Risk: The Challenge of Managing Interconnected Infrastructures

Paul Schulman and Emery Roe

Published in print:
2016
Published Online:
January 2017
ISBN:
9780804793933
eISBN:
9780804798624
Item type:
book
Publisher:
Stanford University Press
DOI:
10.11126/stanford/9780804793933.001.0001
Subject:
Business and Management, Organization Studies

High-reliability management of critical infrastructures-the safe and continued provision of electricity, natural gas, telecommunications, transportation, and water-is a social imperative. Loss of ... More


Formal Verification of Control System Software

Pierre-Loïc Garoche

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
book
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.001.0001
Subject:
Mathematics, Applied Mathematics

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can ... More


How Do I Assess Our Cyber Risk?

Gregory Falco and Eric Rosenbach

in Confronting Cyber Risk: An Embedded Endurance Strategy for Cybersecurity

Published in print:
2022
Published Online:
November 2021
ISBN:
9780197526545
eISBN:
9780197526576
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780197526545.003.0003
Subject:
Business and Management, Information Technology

The question “How do I assess our cyber risk?” addresses how to identify and characterize cyber risk unique to an organization’s critical systems, networks, and data. The chapter begins with a case ... More


The Full Cycle of Infrastructure Operations

Emery Roe and Paul R. Schulman

in Reliability and Risk: The Challenge of Managing Interconnected Infrastructures

Published in print:
2016
Published Online:
January 2017
ISBN:
9780804793933
eISBN:
9780804798624
Item type:
chapter
Publisher:
Stanford University Press
DOI:
10.11126/stanford/9780804793933.003.0007
Subject:
Business and Management, Organization Studies

This chapter expands the discussion of how time and scale interact with risk when managing infrastructures for reliability. The whole cycle of infrastructure operations ranges from normal to ... More


Formal Methods: Different Approaches for Verification

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0002
Subject:
Mathematics, Applied Mathematics

This chapter gives a brief overview of some formal methods and their use in the context of critical embedded systems development. While testing is a common practice for a lot of engineers as a way to ... More


How Do I Embed Cyber Risk Management in All Aspects of the Organization?

Gregory Falco and Eric Rosenbach

in Confronting Cyber Risk: An Embedded Endurance Strategy for Cybersecurity

Published in print:
2022
Published Online:
November 2021
ISBN:
9780197526545
eISBN:
9780197526576
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780197526545.003.0008
Subject:
Business and Management, Information Technology

The question “How do I embed cyber risk management in all aspects of the organization?” addresses how to adopt an Embedded Endurance cyber risk strategy in your day-to-day work as a cyber leader. The ... More


Some Persistent Presumptions of Hegelian Anti-Subjectivism

Karl Ameriks

in Kantian Subjects: Critical Philosophy and Late Modernity

Published in print:
2019
Published Online:
December 2019
ISBN:
9780198841852
eISBN:
9780191881435
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198841852.003.0009
Subject:
Philosophy, Metaphysics/Epistemology, Philosophy of Science

This chapter responds primarily to a recent criticism of Kant by Stephen Houlgate. Like many other recent Hegelian accounts, Houlgate’s severe critique of Kant’s theoretical philosophy contends that, ... More


View: