-
Notifications
You must be signed in to change notification settings - Fork 6
Turnstile Example
The Turnstile example has been expanded to provide a more encompassing view of data that is expected to be loaded into RACK. This expanded version starts with planning documents and provides example data going up and down the development V. While not a complete DO-178C example this expanded version provides a much more representative example of how RACK can be used to curate the multitude of data associated with the development of software. This expanded example includes multiple levels of requirements, data dictionaries, testing, as well as the activities and agents responsible for there development.
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
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
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 underflow condition and an integer overflow condition.
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. Development activities are identified along with the Agents that performed the activities.
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.
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.
The Turnstile Example comes with some examples of how the development artifacts demonstrates the satisfaction various DO-178C. Activities that produced evidence are traced to the Objective with the satisfiedBy relationship (OBJECTIVE -> ACTIVITY).
Copyright (c) 2021-2024, General Electric Company, Galois, Inc.
All Rights Reserved
This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) under Contract No. FA8750-20-C-0203.
Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Defense Advanced Research Projects Agency (DARPA).
Distribution Statement "A" (Approved for Public Release, Distribution Unlimited)