Studies in the foundations of system engineering

Contents

• The Logic of Analysing Systems
  • Preface and Motivation
  • Some Questions and Assumptions About Artifacts
  • Logical Form As A Binary Relation
  • Abstraction and Modelling
  • On Needing Models
  • Correctness in System Engineering
  • Hazards, Risk and Incoherence
  • On Classification of Factors in Failures and Accidents
  • Reasons and Causes
  • The X-31 and A320 Warsaw Crashes: Whodunnit?
  • Formalism Helps in Describing Accidents
  • Explaining Failure With Tense Logic
  • Some Dubious Theses in the Tense Logic of Accidents
• Social Issues
  • The Debate About Program Verification
  • Talking to Newspapers: A Cautionary Tale with Moral
  • Unravelling the Nets: Some observations prompted by Rochlin's study `Trapped In The Net'