Skip to content

Turnstile Example

John Interrante edited this page Jun 29, 2020 · 12 revisions

The Turnstile v1.0 Example

Turnstile System Components

TurnstileBDD

This block definition diagram show the basic components of the Turnstile System:

  • Ingate is the physical gate that is used to meter the flow of people into the venue
  • Outgate is the physical gate that counts the flow of people leaving the venue
  • CounterApplication is the software that manages the running census
  • Display is a simple display to show the count of people in the venue

Turnstile System Interfaces

TurnstileIBD

This internal block definition diagram show the basic flow of information in the Turnstile System:

  • Ingate provides a signal that has the count of the people entering the venue
  • Outgate provides a signal that has the count of the people exiting the venue
  • CounterApplication provides a signal that has the count of the people in the venue

Turnstile System Hazards

TurnstileSystemHazards

There are two hazards that have been identified in this example:

  • The System could crash resulting in a situation where an unknown number of persons are in the venue
  • The System could allow the venue to exceed capacity resulting in a situation

Furthermore, the first hazard has been analyzed further to identify two conditions that could lead to this hazard, a integer overflow condition and an integer overflow condition.

Turnstile System Requirements

The Turnstile Example provides various example requirements. System Level, High-level Software and Low-Level Software requirements are all represented in the example. In addition, Data Dictionary Terms are included to provide relationships between requirements at a given level. Examples of tracing to higher level requirement are included.

Turnstile System Testing

The Turnstile Example provides examples of testing evidence. This evidence is provided without any source materials; only evidence data is provided. This data includes tests and traces to tested requirements, test results, and test execution.

Turnstile System Software

The Turnstile Example provides examples of software evidence. Example of this evidence include source files with tracing to requirements, an Executable with tracing to Build details, including object and packaging information.

Turnstile Pre-defined Query Examples