Keystone STPA

Screenshot of the Keystone STPA document page, showing an example document titled "TCAS II Intent Spec (TCAS II Example)", described as "A sample intent spec based off Leveson & Reese (2000)." It displays a chapter titled "Environment" listing subsections named "Control Panel," "Antennas," "Altitude Reporting Data," "Aircraft Discretes," "Mode S Transponder," "Aircraft Identification," "Attitude," "Heading," and "Relation to Other Alerts and Warnings on the Aircraft," followed by running text.

Keystone STPA is a web application developed by Complex Systems Group to aid in the creation of intent specifications, the output of the STPA safety analysis process.

It is currently in closed alpha. If you are interested in trying it out, please contact us!