Formal Methods for Developing and Changing Engineering Systems

  • Requirements use shall
  • Statements of fact use will (This one can be a bit tricky.)
  • Goals use should
  • Functional Requirements (actions)
  • Performance Requirements (measurable)
  • System Technical Requirements (Allocated and Derived)
  • Allocated Requirements: flow directly from the system requirements down to the elements of the system.
  • Derived Requirements: dependent on the design solution (and so are sometimes called design requirements). They include internal interface constraints between the elements of the system.
  • Specifications (technical details on mainly physical things)



Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
bandit Gangwere

bandit Gangwere

Consulting Embedded Systems Engineer with 40 years of experience with Mission-Critical Projects.