{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T04:13:11Z","timestamp":1729570391849,"version":"3.28.0"},"reference-count":23,"publisher":"Sociedade Brasileira de Computa\u00e7\u00e3o","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"Context: Requirements modeling is essential for Safety-Critical Systems because accidents are often due to inaccurate, incomplete or inconsistent requirements. The main reason of bad requirements is poor communication between safety engineers and requirements engineers. Objective: Our goal is to propose an approach that enable safety requirements to reflect the findings of the initial safety analysis phase. Method: We integrate two techniques 1) iStar4Safety, a goal-oriented requirements modeling language tailored for safety requirements and 2) STPA (System Theoretic Process Analysis), a well-recognized and accepted safety analysis technique. Results: Through this integration, our framework promises a more systematic and comprehensive approach to modeling early safety requirements. It supports the elicitation and analysis of safety concerns, fosters stakeholder communication, and underpins the development of inherently safer and more reliable critical systems. Conclusions: A real project, related to development of a low-cost Insulin Infusion Pump System - IIP, serves as example to illustrate the effectiveness of the proposed approach. Preliminary results indicates that the approach contributes to improving the visualization of the safety related information generated in the safety analysis such as the accidents, system level hazards, hazard causes, hazard mitigations, and safety requirements.<\/jats:p>","DOI":"10.5753\/sbes.2024.3529","type":"proceedings-article","created":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T11:58:58Z","timestamp":1729511938000},"page":"561-567","source":"Crossref","is-referenced-by-count":0,"title":["Integrating STPA with Safety Requirements Modeling"],"prefix":"10.5753","author":[{"given":"Moniky","family":"Ribeiro","sequence":"first","affiliation":[]},{"given":"Jaelson","family":"Castro","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Argenton","sequence":"additional","affiliation":[]}],"member":"3742","published-online":{"date-parts":[[2024,9,30]]},"reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Esra Bas. 2020. STPA methodology in a socio-technical system of monitoring and tracking diabetes mellitus. Applied Ergonomics 89 (2020), 103190. DOI: 10.1016\/j.apergo.2020.103190<\/a>","DOI":"10.1016\/j.apergo.2020.103190"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Sana Debbech, Philippe Bon, and Simon Collart-Dutilleul. 2019. Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. In Proceedings of the 14th International Conference on Software Technologies (Prague, Czech Republic) (ICSOFT 2019). SCITEPRESS - Science and Technology Publications, Lda, Setubal, PRT, 287\u2013297. DOI: 10.5220\/0007932502870297<\/a>","DOI":"10.5220\/0007932502870297"},{"key":"3","doi-asserted-by":"crossref","unstructured":"S. Fugivara, A.V.D. Merladet, and C.H.N Lahoz. 2021. STPA Analysis of Brazilian Sounding Rockets Launching Operations. Microgravity Sci. Technol. 33, 43 (jun 2021). DOI: 10.1007\/s12217-021-09871-x<\/a>.","DOI":"10.1007\/s12217-021-09871-x"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Enyo Gon\u00e7alves, Marcos Ant\u00f4nio de Oliveira, Ingrid Monteiro, Jaelson Castro, and Jo\u00e3o Ara\u00fajo. 2018. Understanding what is important in iStar extension proposals: the viewpoint of researchers. Requirements Engineering (20 Jul 2018). DOI: 10.1007\/s00766-018-0302-5<\/a>","DOI":"10.1007\/s00766-018-0302-5"},{"key":"5","doi-asserted-by":"crossref","unstructured":"John C. Knight. 2002. Safety Critical Systems: Challenges and Directions. In Proceedings of the 24th International Conference on Software Engineering (Orlando, Florida) (ICSE \u201902). ACM, New York, NY, USA, 547\u2013550. DOI: 10.1145\/581339.581406<\/a>","DOI":"10.1109\/ICSE.2002.1007998"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Nancy G. Leveson. 2011. Engineering a Safer World: Systems Thinking Applied to Safety. Mit Press, Massachusetts, London, England.","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"7","unstructured":"Nancy G Leveson and John P. Thomas. 2018. STPA Handbook (first ed.)."},{"key":"8","unstructured":"Aldo Martinazzo. 2022. Gerenciamento de risco de uma bomba de infus\u00e3o de insulina de baixo custo (in English: Risk management of a low-cost insulin infusion pump)."},{"key":"9","doi-asserted-by":"crossref","unstructured":"Luiz Eduardo G. Martins, Hanniere de Faria, Lucas Vecchete, Tatiana Cunha, Tiago de Oliveira, Dulce E. Casarini, and Juliana Almada Colucci. 2015. Development of a Low-Cost Insulin Infusion Pump: Lessons Learned from an Industry Case. In Proceedings of the 2015 IEEE 28th International Symposium on Computer-Based Medical Systems (CBMS \u201915). IEEE Computer Society, Washington, DC, USA, 338\u2013343. DOI: 10.1109\/CBMS.2015.14<\/a>","DOI":"10.1109\/CBMS.2015.14"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Luiz Eduardo G. Martins and Tony Gorschek. 2017. Requirements Engineering for Safety-Critical Systems: Overview and Challenges. IEEE Software 34, 4 (2017), 49\u201357. DOI: 10.1109\/MS.2017.94<\/a>","DOI":"10.1109\/MS.2017.94"},{"key":"11","unstructured":"Luiz E. G Martins and Tony Gorschek. 2022. Requirements Engineering for Safety-Critical Systems. River, Denmark."},{"key":"12","doi-asserted-by":"crossref","unstructured":"John Mylopoulos, Lawrence Chung, and Eric Yu. 1999. From Object-oriented to Goal-oriented Requirements Analysis. Commun. ACM 42, 1 (Jan. 1999), 31\u201337. DOI: 10.1145\/291469.293165<\/a>","DOI":"10.1145\/291469.293165"},{"key":"13","unstructured":"Moniky Ribeiro. 2019. Desenvolvimento de uma extens\u00e3o da linguagem de modelagem iStar para Sistemas Cr\u00edticos de Seguran\u00e7a - iStar4Safety. (in English: Development of an extension of the iStar modeling language for Safety Critical Systems - iStar4Safety)."},{"key":"14","unstructured":"Moniky Ribeiro, Jaelson Castro, and Jo\u00e3o Pimentel. 2019. iStar for Safety-Critical Systems. In Proceedings of the 12th International i* Workshop co-located with 38th International Conference on Conceptual Modeling (ER 2019), Salvador, Brazil, November 4th, 2019 (CEUR Workshop Proceedings, Vol. 2490), Jo\u00e3o Pimentel, Juan Pablo Carvallo, and Lidia L\u00f3pez (Eds.). CEUR-WS.org. [link]<\/a>"},{"key":"15","unstructured":"Moniky Ribeiro, Jaelson Castro, Ricardo Argenton Ramos, Maria Lencastre, Abimael Santos, and Oscar Pastor. 2023. Integrating Goal Oriented Requirements Modeling and Safety Analysis with Requirements4Safety. In Proceedings of the 16th International iStar Workshop (iStar 2023) co-located with 31st IEEE International Requirements Engineering 2023 Conference (RE 2023), Hannover, Germany, September 03-04, 2023 (CEUR Workshop Proceedings, Vol. 3533), Sotirios Liaskos, Roxana L. Q. Portugal, and Alejandro Mat\u00e9 (Eds.). CEUR-WS.org, 40\u201346. [link]<\/a>"},{"key":"16","unstructured":"Jeremiah(Jeremiah Robertson. 2019. Systems theoretic process analysis Applied to manned-unmanned teaming. Ph.D. Dissertation."},{"key":"17","doi-asserted-by":"crossref","unstructured":"Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, and Ray Feodoroff. 2022. Towards Improved Certification of Complex FinTech Systems \u2013 A Requirements-based Approach. In 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW). 205\u2013214. DOI: 10.1109\/REW56159.2022.00046<\/a>","DOI":"10.1109\/REW56159.2022.00046"},{"key":"18","unstructured":"Sepehr Sharifi, Patrick McLaughlin, Daniel Amyot, and John Mylopoulos. 2020. Goal Modeling for FinTech Certification. In Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020) (CEUR Workshop Proceedings, Vol. 2641), Renata S. S. Guizzardi and Gunter Mussbacher (Eds.). CEUR-WS.org, 73\u201378. [link]<\/a>"},{"key":"19","doi-asserted-by":"crossref","unstructured":"J\u00e9ssyka Vilela, Jaelson Castro, Luiz Eduardo G. Martins, and Tony Gorschek. 2018. Safe-RE: A Safety Requirements Metamodel Based on Industry Safety Standards. In Proceedings of the XXXII Brazilian Symposium on Software Engineering (Sao Carlos, Brazil) (SBES \u201918). ACM, New York, NY, USA, 196\u2013201. DOI: 10.1145\/3266237.3266242<\/a>","DOI":"10.1145\/3266237.3266242"},{"key":"20","doi-asserted-by":"crossref","unstructured":"J\u00e9ssyka Vilela, Jaelson Castro, Luiz Eduardo G. Martins, Tony Gorschek, and Carla Silva. 2017. Specifying Safety Requirements with GORE Languages. In Proceedings of the 31st Brazilian Symposium on Software Engineering (Fortaleza, CE, Brazil) (SBES\u201917). ACM, New York, NY, USA, 154\u2013163. DOI: 10.1145\/3131151.3131175<\/a>","DOI":"10.1145\/3131151.3131175"},{"key":"21","doi-asserted-by":"crossref","unstructured":"J\u00e9ssyka Vilela, Carla Silva, Jaelson Castro, Luiz Eduardo G. Martins, and Tony Gorschek. 2019. SARSSi*: a Safety Requirements Specification Method based on STAMP\/STPA and i* language. In Anais do I Brazilian Workshop on Largescale Critical Systems (Salvador). SBC, Porto Alegre, RS, Brasil, 17\u201324. DOI: 10.5753\/bware.2019.7504<\/a>","DOI":"10.5753\/bware.2019.7504"},{"key":"22","doi-asserted-by":"crossref","unstructured":"Yi Zhang, Raoul Jetley, Paul L. Jones, and Arnab Ray. 2011. Generic Safety Requirements for Developing Safe Insulin Pump Software. Journal of Diabetes Science and Technology 5, 6 (2011), 1403\u20131419. DOI: 10.1177\/193229681100500612<\/a> arXiv: [link]<\/a> PMID: 22226258.","DOI":"10.1177\/193229681100500612"},{"key":"23","doi-asserted-by":"crossref","unstructured":"Yi Zhang, Paul L. Jones, and Raoul Jetley. 2010. A Hazard Analysis for a Generic Insulin Infusion Pump. Journal of Diabetes Science and Technology 4, 2 (2010), 263\u2013283. DOI: 10.1177\/193229681000400207<\/a> arXiv: [link]<\/a> PMID: 20307387.","DOI":"10.1177\/193229681000400207"}],"event":{"name":"Simp\u00f3sio Brasileiro de Engenharia de Software","location":"Brasil","acronym":"SBES 2024","number":"38"},"container-title":["Anais do XXXVIII Simp\u00f3sio Brasileiro de Engenharia de Software (SBES 2024)"],"original-title":[],"link":[{"URL":"https:\/\/sol.sbc.org.br\/index.php\/sbes\/article\/download\/30395\/30201","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/sol.sbc.org.br\/index.php\/sbes\/article\/download\/30395\/30201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T12:13:11Z","timestamp":1729512791000},"score":1,"resource":{"primary":{"URL":"https:\/\/sol.sbc.org.br\/index.php\/sbes\/article\/view\/30395"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,30]]},"references-count":23,"URL":"https:\/\/doi.org\/10.5753\/sbes.2024.3529","relation":{},"subject":[],"published":{"date-parts":[[2024,9,30]]}}}