{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T09:15:50Z","timestamp":1767863750169,"version":"3.49.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031368882","type":"print"},{"value":"9783031368899","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-36889-9_22","type":"book-chapter","created":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T21:01:50Z","timestamp":1689454910000},"page":"321-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Methodological Approach to\u00a0Verify Architecture Resiliency"],"prefix":"10.1007","author":[{"given":"Joanna C. S.","family":"Santos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Selma","family":"Suloglu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N\u00e9stor","family":"Cata\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Mirakhorli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,16]]},"reference":[{"key":"22_CR1","unstructured":"SPEculative and Exporatory Design in System engineering. http:\/\/www.speeds.eu.com\/"},{"key":"22_CR2","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 3rd edn. Addison-Wesley Professional (2012)"},{"key":"22_CR3","doi-asserted-by":"publisher","unstructured":"Berger, B.J., Sohr, K., Koschke, R.: Extracting and analyzing the implemented security architecture of business applications. In: 17th European Conference on Software Maintenance and Reengineering (CSMR), pp. 285\u2013294. IEEE (2013). https:\/\/doi.org\/10.1109\/CSMR.2013.37","DOI":"10.1109\/CSMR.2013.37"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-319-30806-7_4","volume-title":"Engineering Secure Software and Systems","author":"BJ Berger","year":"2016","unstructured":"Berger, B.J., Sohr, K., Koschke, R.: Automatically extracting threats from extended data flow diagrams. In: Caballero, J., Bodden, E., Athanasopoulos, E. (eds.) ESSoS 2016. LNCS, vol. 9639, pp. 56\u201371. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30806-7_4"},{"key":"22_CR5","unstructured":"Bodeau, D., Graubart, R.: Cyber resiliency design principles. MITRE (2017)"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.scico.2015.03.003","volume":"106","author":"JP Bodeveix","year":"2015","unstructured":"Bodeveix, J.P., Filali, M., Garnacho, M., Spadotti, R., Yang, Z.: Towards a verified transformation from AADL to the formal component-based language FIACRE. Sci. Comput. Program. 106, 30\u201353 (2015)","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"22_CR7","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MS.2007.146","volume":"24","author":"G Booch","year":"2007","unstructured":"Booch, G.: The economics of architecture-first. IEEE Softw. 24(5), 18\u201320 (2007). https:\/\/doi.org\/10.1109\/MS.2007.146","journal-title":"IEEE Softw."},{"key":"22_CR8","unstructured":"Cechticky, V., Montalto, G., Pasetti, A., Salerno, N.: The AOCS framework. European Space Agency-Publications-ESA SP 516, 535\u2013540 (2003)"},{"key":"22_CR9","unstructured":"Ellison, R., Householder, A., Hudak, J., Kazman, R., Woody, C.: Extending AADL for security design assurance of cyber-physical systems. Technical report, CMU\/SEI-2015-TR-014, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2015). http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=449510"},{"key":"22_CR10","unstructured":"Feiler, P.H., Gluch, D., McGregor, J.D.: An architecture-led safety analysis method. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)"},{"key":"22_CR11","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley (2012)"},{"key":"22_CR12","doi-asserted-by":"publisher","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): an introduction. Technical report, SEI (2006). https:\/\/doi.org\/10.1184\/R1\/6584909.v1","DOI":"10.1184\/R1\/6584909.v1"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Gacek, A., Backes, J., Cofer, D., Slind, K., Whalen, M.: Resolute: an assurance case language for architecture models. In: Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology, pp. 19\u201328. ACM, New York (2014)","DOI":"10.1145\/2663171.2663177"},{"key":"22_CR14","unstructured":"Goldman, H.G.: Building secure, resilient architectures for cyber mission assurance. Technical report, The MITRE Corporation (2010)"},{"key":"22_CR15","unstructured":"Hanmer, R.: Patterns for Fault Tolerant Software. Wiley Series in Software Design Patterns (2007)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Heyman, T., Scandariato, R., Joosen, W.: Reusable formal models for secure software architectures. In: 2012 Joint Working IEEE\/IFIP Conference on Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), pp. 41\u201350. IEEE (2012)","DOI":"10.1109\/WICSA-ECSA.212.12"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Hugues, J.: AADLib: a library of reusable AADL models. Technical report, SAE Technical Paper (2013)","DOI":"10.4271\/2013-01-2179"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Hukerikar, S., Engelmann, C.: Resilience design patterns: a structured approach to resilience at extreme scale. arXiv preprint arXiv:1708.07422 (2017)","DOI":"10.2172\/1436045"},{"key":"22_CR19","unstructured":"IEEE Center for Secure Design: Avoiding the top 10 software security design flaws (2015). https:\/\/ieeecs-media.computer.org\/media\/technical-activities\/CYBSI\/docs\/Top-10-Flaws.pdf. Accessed 10 June 2016"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Johnsen, A., Lundqvist, K., Pettersson, P., Jaradat, O.: Automated verification of AADL-specifications using UPPAAL. In: Proceedings of the 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012, USA, pp. 130\u2013138. IEEE Computer Society (2012)","DOI":"10.1109\/HASE.2012.22"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Kazman, R., et al.: A case study in locating the architectural roots of technical debt. In: 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, vol. 2, pp. 179\u2013188 (2015)","DOI":"10.1109\/ICSE.2015.146"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Kazman, R., Klein, M., Clements, P.: ATAM: a method for architecture evaluation. Software Engineering Institute (2000)","DOI":"10.21236\/ADA382629"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Kim, S., Kim, D.K., Lu, L., Park, S.Y.: A tactic-based approach to embodying non-functional requirements into software architectures. In: 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp. 139\u2013148 (2008)","DOI":"10.1109\/EDOC.2008.18"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Mirakhorli, M., Cleland-Huang, J.: Using tactic traceability information models to reduce the risk of architectural degradation during system maintenance. In: Proceedings of the 2011 27th IEEE International Conference on Software Maintenance, ICSM 2011, Washington, DC, USA, pp. 123\u2013132. IEEE Computer Society (2011)","DOI":"10.1109\/ICSM.2011.6080779"},{"issue":"3","key":"22_CR25","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TSE.2015.2479217","volume":"42","author":"M Mirakhorli","year":"2015","unstructured":"Mirakhorli, M., Cleland-Huang, J.: Detecting, tracing, and monitoring architectural tactics in code. IEEE Trans. Softw. Eng. 42(3), 205\u2013220 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Mirakhorli, M., Shin, Y., Cleland-Huang, J., Cinar, M.: A tactic-centric approach for automating traceability of quality concerns. In: Proceedings of the 34th International Conference on Software Engineering, ICSE 2012. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227153"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Munoz, M.: Space systems modeling using the architecture analysis & design language (AADL). In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 97\u201398. IEEE (2013)","DOI":"10.1109\/ISSREW.2013.6688881"},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Santos, J.C.S., Tarrit, K., Mirakhorli, M.: A catalog of security architecture weaknesses. In: 2017 IEEE International Conference on Software Architecture Workshops (ICSAW), pp. 220\u2013223, April 2017","DOI":"10.1109\/ICSAW.2017.25"},{"key":"22_CR29","doi-asserted-by":"publisher","unstructured":"Santos, J.C.S., Suloglu, S., Ye, J., Mirakhorli, M.: Towards an automated approach for detecting architectural weaknesses in critical systems, pp. 250\u2013253. Association for Computing Machinery, New York (2020). https:\/\/doi.org\/10.1145\/3387940.3392222","DOI":"10.1145\/3387940.3392222"},{"key":"22_CR30","doi-asserted-by":"crossref","unstructured":"Sion, L., Tuma, K., Scandariato, R., Yskout, K., Joosen, W.: Towards automated security design flaw detection. In: 2019 34th IEEE\/ACM International Conference on Automated Software Engineering Workshop (ASEW). IEEE (2019)","DOI":"10.1109\/ASEW.2019.00028"},{"key":"22_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-64119-5_7","volume-title":"Model-Based Safety and Assessment","author":"D Stewart","year":"2017","unstructured":"Stewart, D., Whalen, M.W., Cofer, D., Heimdahl, M.P.E.: Architectural modeling and analysis for safety engineering. In: Bozzano, M., Papadopoulos, Y. (eds.) IMBSA 2017. LNCS, vol. 10437, pp. 97\u2013111. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-64119-5_7"},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Tuma, K., Sion, L., Scandariato, R., Yskout, K.: Automating the early detection of security design flaws. In: Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 332\u2013342 (2020)","DOI":"10.1145\/3365438.3410954"},{"key":"22_CR33","doi-asserted-by":"crossref","unstructured":"Vanciu, R., Abi-Antoun, M.: Finding architectural flaws in Android apps is easy. In: Proceedings of the 2013 Companion Publication for Conference on Systems, Programming, & Applications: Software for Humanity, SPLASH 2013, pp. 21\u201322 (2013)","DOI":"10.1145\/2508075.2514574"}],"container-title":["Lecture Notes in Computer Science","Software Architecture. ECSA 2022 Tracks and Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-36889-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T21:03:58Z","timestamp":1689455038000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-36889-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031368882","9783031368899"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-36889-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"16 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Architecture","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsa2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ecsa-2022","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"61","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2 tutorial papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}