Formal Methods for Systems Architecting

Course #SE4935

Est.imated Completion Time: 3 months

POC: NPS Online Support

Overview

This course provides students with an introduction to the application of formal methods to system architecture model and design analysis. Students are exposed to theories and practices that use mathematics and formal logic for the formulation, interrogation, assessment and measurement of properties of architecture models and the designs they describe. Drawing on their academic and professional experiences, students practice writing specifications of architecting best practices and lessons learned in both natural language and formal mathematical notation, and applying them in systems engineering tools. DoD system models rich in design patterns are used as a basis for formulation. The aim of this course is to apply systematic and formal thinking to the development and evaluation of system architectures.

Prerequisites

  • SE4150
  • SE3100
  • SI4021

Learning Outcomes

Upon successful completion of this course, students will be able to:

  • Formulate logical expressions about architecture data models.

  • Apply formal logical expressions to the assessment of architecture model maturity.

  • Synthesize methods and techniques for adding precision to ambiguous system-wide suitability characteristics.

  • Extract and formally codify best practices and lessons learned for greater reuse and knowledge transfer.

  • Interrogate and demonstrate the presence or absence of specific conditions of concern in a model or design using various techniques.

  • Formally model system behaviors as separate concerns from system interaction towards better prediction of emergent behavior.

  • Apply appropriate tools to implement formal specifications for architecture models and designs.

Offerings database access
Asset Publisher

Application Deadlines

  •  08 Jan 2024

    Spring Quarter applications due

  •  01 Apr 2024

    Summer Quarter applications due

  •  08 Jul 2024

    Fall Quarter applications due

Asset Publisher

Academic Calendar

  •  08 Dec 2023

    Last day of classes

  •  12 Dec 2023 – 14 Dec 2023

    Fall Quarter final examinations

  •  15 Dec 2023

    Fall Quarter graduation

See NPS Academic Calendar for more dates.