Gavin Arthurs P.E.
Model based system engineering (MBSE) is becoming an increasingly important technique to aid and manage the development of ever more complex cyber-physical systems. MBSE’s use of formal languages (i.e. SysML) offers an opportunity to consider safety and security analysis early in the design activity. The “system” context is an opportunity to consider hazards from a “behavioral constraint” point of view vs “component failure” point of view. This true top-down approach allows the system engineer to formally capture system hazards and associated behavioral constraints and track and trace them down through the design and allocation decisions. This presentation will highlight aspects of this approach through several examples and discuss the benefits of adding this analysis technique to practitioner’s tool box for those charged with safety and security.