{"title":"STPA允许在复杂系统的架构中进行安全评估","authors":"Sergio Jimeno Altelarrea, A. Riaz, M. Guenov","doi":"10.1080/09617353.2022.2145647","DOIUrl":null,"url":null,"abstract":"Abstract STPA is a hazard assessment technique that represents systems as hierarchical control structures composed of feedback control loops. Existing computational support focuses on creating the diagrams that depict these hierarchies. However, the elements in the loops and the signals exchanged must be determined manually. This impedes safety assessment, thus reducing the number of designs that can potentially be explored. Furthermore, the manual approach does not guarantee the correct update of the architecture with changes resulting from safety assessment, which can make the architecture inconsistent with the safety assessment. To overcome these limitations, proposed for the first time are two methods that automate the creation of: (1) hierarchical control structures and (2) detailed control loops. The methods create STPA models by analysing the architecture, which is modelled as a graph. The concept is illustrated with a representative example of a wheel brake system. The resulting models are compared with those obtained manually by the authors of STPA. The automation is shown to significantly reduce the required time and effort. It was also found to ensure consistency among the safety analysis and the architecture definition as it requires safety features to be included in the architecture before being considered in STPA analysis.","PeriodicalId":45573,"journal":{"name":"International Journal of Reliability Quality and Safety Engineering","volume":"113 1","pages":"197 - 224"},"PeriodicalIF":0.9000,"publicationDate":"2022-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"STPA enabled safety assessment in the architecting of complex systems\",\"authors\":\"Sergio Jimeno Altelarrea, A. Riaz, M. Guenov\",\"doi\":\"10.1080/09617353.2022.2145647\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract STPA is a hazard assessment technique that represents systems as hierarchical control structures composed of feedback control loops. Existing computational support focuses on creating the diagrams that depict these hierarchies. However, the elements in the loops and the signals exchanged must be determined manually. This impedes safety assessment, thus reducing the number of designs that can potentially be explored. Furthermore, the manual approach does not guarantee the correct update of the architecture with changes resulting from safety assessment, which can make the architecture inconsistent with the safety assessment. To overcome these limitations, proposed for the first time are two methods that automate the creation of: (1) hierarchical control structures and (2) detailed control loops. The methods create STPA models by analysing the architecture, which is modelled as a graph. The concept is illustrated with a representative example of a wheel brake system. The resulting models are compared with those obtained manually by the authors of STPA. The automation is shown to significantly reduce the required time and effort. It was also found to ensure consistency among the safety analysis and the architecture definition as it requires safety features to be included in the architecture before being considered in STPA analysis.\",\"PeriodicalId\":45573,\"journal\":{\"name\":\"International Journal of Reliability Quality and Safety Engineering\",\"volume\":\"113 1\",\"pages\":\"197 - 224\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2022-10-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Reliability Quality and Safety Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1080/09617353.2022.2145647\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"ENGINEERING, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Reliability Quality and Safety Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1080/09617353.2022.2145647","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"ENGINEERING, MULTIDISCIPLINARY","Score":null,"Total":0}
STPA enabled safety assessment in the architecting of complex systems
Abstract STPA is a hazard assessment technique that represents systems as hierarchical control structures composed of feedback control loops. Existing computational support focuses on creating the diagrams that depict these hierarchies. However, the elements in the loops and the signals exchanged must be determined manually. This impedes safety assessment, thus reducing the number of designs that can potentially be explored. Furthermore, the manual approach does not guarantee the correct update of the architecture with changes resulting from safety assessment, which can make the architecture inconsistent with the safety assessment. To overcome these limitations, proposed for the first time are two methods that automate the creation of: (1) hierarchical control structures and (2) detailed control loops. The methods create STPA models by analysing the architecture, which is modelled as a graph. The concept is illustrated with a representative example of a wheel brake system. The resulting models are compared with those obtained manually by the authors of STPA. The automation is shown to significantly reduce the required time and effort. It was also found to ensure consistency among the safety analysis and the architecture definition as it requires safety features to be included in the architecture before being considered in STPA analysis.
期刊介绍:
IJRQSE is a refereed journal focusing on both the theoretical and practical aspects of reliability, quality, and safety in engineering. The journal is intended to cover a broad spectrum of issues in manufacturing, computing, software, aerospace, control, nuclear systems, power systems, communication systems, and electronics. Papers are sought in the theoretical domain as well as in such practical fields as industry and laboratory research. The journal is published quarterly, March, June, September and December. It is intended to bridge the gap between the theoretical experts and practitioners in the academic, scientific, government, and business communities.