References
- Abdellatif, A. A., & Holzapfel, F. (2021, January). The utilization of STPA techniques for system design safety enhancement. In AIAA Scitech 2021 Forum. American Institute of Aeronautics and Astronautics. https://doi.org/10.2514/6.2021-0565
- Abdulkhaleq, A. (2014, March). An open tool support for system-theoretic process analysis. MIT, Boston. Retrieved May 25, 2021, from http://psas.scripts.mit.edu/home/wp-content/uploads/2014/03/Asim_A-STPA.pdf
- Astah. (2021, February). Astah system safety. Retrieved March 31, 2021, from https://astah.net/products/astah-system-safety/
- Björnsdóttir, S. H., & Rejzek, M. (2017, March). Embedding STPA into a highly successful risk management software application. In 6th MIT STAMP Workshop. ZHAW Zürcher Hochschule für Angewandte Wissenschaften. https://doi.org/10.21256/ZHAW-3306
- Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, C. (2009). Introduction to algorithms (3rd ed.). MIT Press.
- Delange, J., & Feiler, P. (2014). Architecture fault modeling with the AADL Error-Model Annex. In 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, August (pp. 361–368). IEEE. https://doi.org/10.1109/SEAA.2014.20
- European Aviation Safety Agency. (2020a). Annual safety review 2020 (Tech. Rep.). Author. https://doi.org/10.2822/147804
- European Aviation Safety Agency. (2020b). Certification Specifications for Large Aeroplanes CS-25. Retrieved May 25, 2021, from https://www.easa.europa.eu/certification-specifications/cs-25-large-aeroplanes
- Federal Aviation Administration. (2000, December). System safety handbook. Retrieved March 15, 2021, from https://www.faa.gov/regulations_policies/handbooks_manuals/aviation/risk_management/ss_handbook/
- Guenov, M. D., Riaz, A., Bile, Y. H., Molina-Cristobal, A., & Heerden, A. S. (2020). Computational framework for interactive architecting of complex systems. Systems Engineering 23(3), 350–365. https://doi.org/10.1002/sys.21531
- Gurgel, D. L., Hirata, C. M., & De M. Bezerra, J. (2015, September). A rule-based approach for safety analysis using STAMP/STPA. In 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) (p. 7B2-1-7B2-8). https://doi.org/10.1109/DASC.2015.7311464
- Information-technology Promotion Agency, Japan. (2018). STAMP Workbench 1.0.1 Documentation. Retrieved March 31, 2021, from https://www.ipa.go.jp/sec/stamp_wb/manual_en/tutorial/basic/basic.html
- Jimeno Altelarrea, S. (2021). Building safety into the conceptual design of complex systems. An Aircraft Systems Perspective. [Unpublished doctoral dissertation]. Cranfield University.
- Joshi, A., Vestal, S., & Binns, P. (2007). Automatic generation of static fault trees from AADL Models (Tech. Rep.). Retrieved from http://hdl.handle.net/11299/217313
- Krauss, S. S., Rejzek, M., Reif, M. U., & Hilbes, C. (2016). Towards a modeling language for Systems-Theoretic Process Analysis (STPA): Proposal for a domain specific language (DSL) for model driven Systems-Theoretic Process Analysis (STPA) based on UML. https://doi.org/10.21256/ZHAW-1175
- Krauss, S. S., Rejzek, M., Senn, C. W., & Hilbes, C. (2016). SAHRA – An integrated software tool for STPA. In 4th European STAMP Workshop. Zurich, Switzerland. https://doi.org/10.21256/zhaw-4926
- Leveson, N. (2004). A new accident model for engineering safer systems. Safety Science, 42(4), 237–270. https://doi.org/10.1016/S0925-7535(03)00047-X
- Leveson, N. (2012). Engineering a safer world: Systems thinking applied to safety. MIT Press.
- Leveson, N., & Thomas, J. (2018). STPA Handbook (Tech. Rep.). Retrieved March 12, 2021, from http://psas.scripts.mit.edu/home/get_file.php?name=STPA_handbook.pdf
- Leveson, N., Wilkinson, C., Fleming, C., Thomas, J., & Tracy, I. (2014). A comparison of STPA and the ARP 4761 Safety Assessment Process (Tech. Rep.). Retrieved May 25, 2021, from http://sunnyday.mit.edu/STAMP/ARP4761-Comparison-Report-final-2.pdf
- Mhenni, F., Nguyen, N., & Choley, J.-Y. (2014, July). Automatic fault tree generation from SysML system models. In 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (pp. 715–720). IEEE. https://doi.org/10.1109/AIM.2014.6878163
- Papadopoulos, Y., McDermid, J., Sasse, R., & Heiner, G. (2001). Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering & System Safety, 71(3), 229–247. https://doi.org/10.1016/S0951-8320(00)00076-4
- Patriarca, R., Chatzimichailidou, M., Karanikas, N., & Di Gravio, G. (2022). The past and present of System-Theoretic Accident Model And Processes (STAMP) and its associated techniques: A scoping review. Safety Science, 146, 105566. https://doi.org/10.1016/j.ssci.2021.105566
- Risk Management Studio. (2019). STPA software solution – Risk management studio. Retrieved March 31, 2021, from https://www.riskmanagementstudio.com/stpa-software-solution/#
- S-18 Aircraft and Sys Dev and Safety Assessment Committee. (1996, December). Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. (Tech. Rep.). SAE International. https://doi.org/10.4271/ARP4761
- S-18 Aircraft and Sys Dev and Safety Assessment Committee. (2010, December). Guidelines for development of civil aircraft and systems (Tech. Rep.). SAE International. https://doi.org/10.4271/ARP4754A
- SE-Stuttgart. (2019, June). XSTAMPP. Retrieved March 31, 2021, from https://github.com/SE-Stuttgart/XSTAMPP
- Shamal Faily. (2021). CAIRIS 2.3.8 documentation. Retrieved May 01, 2021, from https://cairis.readthedocs.io/en/latest/stpa.html
- Souza, F. G., Pereira, D. P., Pagliares, R. M., Nadjm-Tehrani, S., & Hirata, C. M. (2019). WebSTAMP: A web application for STPA & STPA-Sec. MATEC Web of Conferences, 273, 02010. https://doi.org/10.1051/matecconf/201927302010
- Thomas, J. (2013). Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis. [Doctoral dissertation]. Massachusetts Institute of Technology. Retrieved May 01, 2021, from https://dspace.mit.edu/handle/1721.1/81055
- Thomas, J., & Leveson, N. (2013). Generating formal model-based safety requirements for complex, software- and human-intensive systems. Safety-Critical Systems Club. Retrieved March 28, 2021 http://sunnyday.mit.edu/SSS-conference-stpa.pdf
- Thomas, J., & Suo, D. (2015, March). A tool-based STPA process. Retrieved May 01, 2021, from http://psas.scripts.mit.edu/home/wp-content/uploads/2015/03/Thomas-Suo-Tool-based-STPA-process.pdf
- VDI Department of Product Development and Mechatronics. (2004). Design methodology for mechatronic systems (VDI 2206). Retrieved May 05, 2021, from https://www.vdi.de/richtlinien/details/vdi-2206-entwicklungsmethodik-fuer-mechatronische-systeme
- Volpe National Transportation Systems Center. (2014). SafetyHAT: A transportation system safety hazard analysis tool. Retrieved May 01, 2021, from https://www.volpe.dot.gov/infrastructure-systems-and-technology/advanced-vehicle-technology/safetyhat-transportation-system