{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T21:25:22Z","timestamp":1774041922324,"version":"3.50.1"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,2,22]],"date-time":"2014-02-22T00:00:00Z","timestamp":1393027200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s10270-014-0400-x","type":"journal-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T05:02:41Z","timestamp":1392958961000},"page":"147-178","source":"Crossref","is-referenced-by-count":47,"title":["A profile and tool for modelling safety information with design information in SysML"],"prefix":"10.1007","volume":"15","author":[{"given":"Geoffrey","family":"Biggs","sequence":"first","affiliation":[]},{"given":"Takeshi","family":"Sakamoto","sequence":"additional","affiliation":[]},{"given":"Tetsuo","family":"Kotoku","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,2,22]]},"reference":[{"key":"400_CR1","doi-asserted-by":"crossref","unstructured":"Addouche, N., Antoine, C., Montmain, J.: UML models for dependability analysis of real-time systems. In: IEEE international conference on systems, man and cybernetics, 2004, vol. 6, pp. 5209\u20135214 (2004). doi: 10.1109\/ICSMC.2004.1401021","DOI":"10.1109\/ICSMC.2004.1401021"},{"issue":"4","key":"400_CR2","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/s10664-006-9020-6","volume":"11","author":"B Anda","year":"2006","unstructured":"Anda, B., Hansen, K., Gullesen, I., Thorsen, H.K.: Experiences from introducing UML-based development in a large safety-critical project. Empir. Softw. Eng. 11(4), 555\u2013581 (2006). doi: 10.1007\/s10664-006-9020-6","journal-title":"Empir. Softw. Eng."},{"key":"400_CR3","doi-asserted-by":"crossref","unstructured":"Basin, D., Clavel, M., Egea, M.: A decade of model-driven security. In: Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, SACMAT \u201911, pp. 1\u201310. ACM, New York, NY (2011). doi: 10.1145\/1998441.1998443","DOI":"10.1145\/1998441.1998443"},{"key":"400_CR4","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/1-4020-3532-2_12","volume-title":"Engineering Theories of Software Intensive Systems, NATO Science Series","author":"D Basin","year":"2005","unstructured":"Basin, D., Doser, J., Lodderstedt, T.: Model driven security. In: Broy, M., Grnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems, NATO Science Series, vol. 195, pp. 353\u2013398. Springer, Netherlands (2005). doi: 10.1007\/1-4020-3532-2_12"},{"key":"400_CR5","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","volume":"10","author":"S Bernardi","year":"2011","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.: A dependability profile within MARTE. Softw. Syst. Model. 10, 313\u2013336 (2011). doi: 10.1007\/s10270-009-0128-1","journal-title":"Softw. Syst. Model."},{"key":"400_CR6","doi-asserted-by":"crossref","unstructured":"Biffl, S., Mordinyi, R., Schatten, A.: A model-driven architecture approach using explicit stakeholder quality requirement models for building dependable information systems. In: Fifth International Workshop on Software Quality, 2007. WoSq\u201907: ICSE Workshops 2007, p. 6 (2007). doi: 10.1109\/WOSq.2007.1","DOI":"10.1109\/WOSQ.2007.1"},{"issue":"5","key":"400_CR7","first-page":"265","volume":"16","author":"A Bondavalli","year":"2001","unstructured":"Bondavalli, A., Dal, Cin M.: Dependability analysis in the early phases of UML based system design. J. Comput. Syst. Sci. Eng. 16(5), 265\u2013275 (2001)","journal-title":"J. Comput. Syst. Sci. Eng."},{"key":"400_CR8","volume-title":"Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns, Chap. 4","author":"BP Douglass","year":"1999","unstructured":"Douglass, B.P.: Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns, Chap. 4. Addison-Wesley, Reading, MA (1999)"},{"key":"400_CR9","unstructured":"Douglass, B.P.: Analyze System Safety Using UML within the IBM Rational Rhapsody Environment. Technical report, Rational Software, IBM Software Group (2009)"},{"key":"400_CR10","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical report, Software Engineering Institute, Carnegie-Mellon University, Pittsburgh (2006)","DOI":"10.21236\/ADA455842"},{"key":"400_CR11","doi-asserted-by":"crossref","unstructured":"Fernndez Briones, J., Miguel, M., Silva, J., Alonso, A.: Application of safety analyses in model driven development. In: Obermaisser, R., Nah, Y., Puschner, P., Rammig, F. (eds.) Software Technologies for Embedded and Ubiquitous Systems. Lecture Notes in Computer Science, vol. 4761, pp. 93\u2013104. Springer, Berlin (2007). doi: 10.1007\/978-3-540-75664-4_10","DOI":"10.1007\/978-3-540-75664-4_10"},{"key":"400_CR12","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"S Friedenthal","year":"2009","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann, Los Altos, CA (2009)"},{"key":"400_CR13","doi-asserted-by":"crossref","unstructured":"Frlund, S., Koistinen, J.: Quality-of-service specification in distributed object systems. Distrib. Syst. Eng. 5(4), 179 (1998). http:\/\/stacks.iop.org\/0967-1846\/5\/i=4\/a=005","DOI":"10.1088\/0967-1846\/5\/4\/005"},{"key":"400_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/978-3-642-19811-3_17","volume-title":"Fundamental Approaches to Software Engineering","author":"D Hatebur","year":"2011","unstructured":"Hatebur, D., Heisel, M., Jrjens, J., Schmidt, H.: Systematic development of UMLsec design models based on security requirements. In: Giannakopoulou, D., Orejas, F. (eds.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 6603, pp. 232\u2013246. Springer, Berlin (2011). doi: 10.1007\/978-3-642-19811-3_17"},{"key":"400_CR15","doi-asserted-by":"crossref","unstructured":"Hause, M., Thom, F.: An integrated safety strategy to model driven development with SysML. In: Second Institution of Engineering and Technology International Conference on System Safety, 2007, pp. 124\u2013129 (2007)","DOI":"10.1049\/cp:20070452"},{"key":"400_CR16","doi-asserted-by":"crossref","unstructured":"Hayhurst, K., Holloway, C.: Challenges in software aspects of aerospace systems. In: Proceedings of the 26th Annual NASA Goddard on Software Engineering Workshop, 2001, pp. 7\u201313 (2001). doi: 10.1109\/SEW.2001.992649","DOI":"10.1109\/SEW.2001.992649"},{"key":"400_CR17","unstructured":"Hill, J., Dabholkar, A., Kavimandan, A., Balasubramanian, J., Abdelwahed, S.: A platform independent component QoS modeling language for distributed real-time and embedded systems. Technical report, Vanderbilt University (2007)"},{"key":"400_CR18","doi-asserted-by":"crossref","unstructured":"Huhn, M., Hungar, H.: UML for software safety and certification: Model-based development of safety-critical software-intensive systems. In: Proceedings of the 2007 International Dagstuhl Conference on Model-Based Engineering Of Embedded Real-Time Systems, MBEERTS\u201907, pp. 201\u2013237. Springer, Berlin (2010). http:\/\/dl.acm.org\/citation.cfm?id=1927558.1927569","DOI":"10.1007\/978-3-642-16277-0_8"},{"key":"400_CR19","unstructured":"IEC 60812 Analysis techniques for system reliability\u2014Procedure for failure mode and effects analysis (FMEA) (2006)"},{"key":"400_CR20","unstructured":"IEC 61205 Fault tree analysis (FTA) (2006)"},{"key":"400_CR21","unstructured":"IEC 61508 Functional safety of electrical\/electronic\/program mable electronic safety-related systems (2010)"},{"key":"400_CR22","unstructured":"IEC 61508 Functional safety of electrical\/electronic\/program mable electronic safety-related systems\u2014part 4: definitions and abbreviations (2010)"},{"key":"400_CR23","unstructured":"ISO 12100 Safety of machinery\u2014General principles for design\u2014Risk assessment and risk reduction (2010)"},{"key":"400_CR24","unstructured":"ISO 13849 Safety of machinery\u2014Safety-related parts of control systems\u2014Part 1: general principles for design (2006)"},{"key":"400_CR25","unstructured":"ISO 26262 Road vehicles\u2014Functional safety (2011)"},{"key":"400_CR26","doi-asserted-by":"crossref","unstructured":"Iwu, F., Galloway, A., McDermid, J., Toyn, I.: Integrating safety and formal analyses using UML and PFS. Reliab. Eng. Syst. Saf. 92(2):156\u2013170 (2007). doi: 10.1016\/j.ress.2005.11.060 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S095183200500270X","DOI":"10.1016\/j.ress.2005.11.060"},{"key":"400_CR27","unstructured":"Johnson, C.W.: The hidden human factors in unmanned aerial vehicles. In: Proceedings of the 2007 International Systems Safety Society Conference. Baltimore (2007)"},{"key":"400_CR28","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Towards development of secure systems using UMLsec. In: Hussmann, H. (ed.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 2029, pp. 187\u2013200. Springer, Berlin (2001). doi: 10.1007\/3-540-45314-8_14","DOI":"10.1007\/3-540-45314-8_14"},{"key":"400_CR29","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Sound methods and effective tools for model-based security engineering with UML. In: Proceedings of the 27th International Conference on Software Engineering, 2005. ICSE 2005, pp. 322\u2013331 (2005). doi: 10.1109\/ICSE.2005.1553575","DOI":"10.1109\/ICSE.2005.1553575"},{"key":"400_CR30","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J., Schreck, J., Bartmann, P.: Model-based security analysis for mobile communications. In: ACM\/IEEE 30th International Conference on Software Engineering, 2008. ICSE \u201908, pp. 683\u2013692 (2008). doi: 10.1145\/1368088.1368186","DOI":"10.1145\/1368088.1368186"},{"key":"400_CR31","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation\u2014A safety argument notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)"},{"key":"400_CR32","volume-title":"Safeware: System Safety and Computers","author":"NG Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. ACM, New York, NY (1995)"},{"key":"400_CR33","volume-title":"Safeware: System Safety and Computers, Chap. 13","author":"NG Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers, Chap. 13. ACM, New York, NY (1995)"},{"key":"400_CR34","volume-title":"Safeware: System Safety and Computers, Chap. 14","author":"NG Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers, Chap. 14. ACM, New York, NY (1995)"},{"key":"400_CR35","doi-asserted-by":"crossref","unstructured":"Leveson, N.G.: Engineering a Safer World, Chap. 2. The MIT Press, Cambridge, MA (2011)","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"400_CR36","volume-title":"Engineering a Safer World, Chap. 3","author":"NG Leveson","year":"2011","unstructured":"Leveson, N.G.: Engineering a Safer World, Chap. 3. The MIT Press, Cambridge, MA (2011)"},{"key":"400_CR37","doi-asserted-by":"crossref","unstructured":"Lipaczewski, M., Struck, S., Ortmeier, F.: Using tool-supported model based safety analysis\u2014Progress and experiences in SAML development. In: IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE), 2012, pp. 159\u2013166 (2012). doi: 10.1109\/HASE.2012.34","DOI":"10.1109\/HASE.2012.34"},{"key":"400_CR38","doi-asserted-by":"crossref","unstructured":"Lutz, R.: Analyzing software requirements errors in safety-critical, embedded systems. In: Proceedings of IEEE International Symposium on Requirements Engineering, 1993, pp. 126\u2013133 (1993). doi: 10.1109\/ISRE.1993.324825","DOI":"10.1109\/ISRE.1993.324825"},{"key":"400_CR39","doi-asserted-by":"crossref","unstructured":"de Miguel, M., Briones, J., Silva, J., Alonso, A.: Integration of safety analysis in model-driven software development. IET Softw. 2(3), 260\u2013280 (2008). doi: 10.1049\/iet-sen:20070050","DOI":"10.1049\/iet-sen:20070050"},{"key":"400_CR40","doi-asserted-by":"crossref","unstructured":"Montecchi, L., Lollini, P., Bondavalli, A.: Dependability concerns in model-driven engineering. In: Fourteenth IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011, pp. 254\u2013263 (2011). doi: 10.1109\/ISORCW.2011.32","DOI":"10.1109\/ISORCW.2011.32"},{"key":"400_CR41","unstructured":"Montecchi, L., Lollini, P., Bondavalli, A.: An intermediate dependability model for state-based dependability analysis. Technical report rcl101115 v2.1, University of Florence, Dipartimento di Sistemi e Informatica, RCL group (2011). http:\/\/dcl.isti.cnr.it\/Documentation\/Papers\/Techreports.html"},{"key":"400_CR42","doi-asserted-by":"crossref","unstructured":"Montella, A.: Safety reviews of existing roads: quantitative safety assessment methodology. Transp. Res. Rec. J. Transp. Res. Board 1922, 62\u201372 (2005). doi: 10.3141\/1922-09 . http:\/\/trb.metapress.com\/content\/RT7RU54215302751","DOI":"10.3141\/1922-09"},{"key":"400_CR43","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s10270-008-0084-1","volume":"7","author":"S Mustafiz","year":"2008","unstructured":"Mustafiz, S., Sun, X., Kienzle, J., Vangheluwe, H.: Model-driven assessment of system dependability. Softw. Syst. Model. 7, 487\u2013502 (2008). doi: 10.1007\/s10270-008-0084-1","journal-title":"Softw. Syst. Model."},{"key":"400_CR44","unstructured":"Omg, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (2011). http:\/\/www.omg.org\/spec\/MARTE\/1.1\/"},{"key":"400_CR45","unstructured":"Omg, UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (QFTP) (2011). http:\/\/www.omg.org\/spec\/QFTP\/1.1\/"},{"key":"400_CR46","unstructured":"OMG Systems Modeling Language (OMG SysML) (2012). http:\/\/www.omg.org\/spec\/SysML\/1.3\/"},{"key":"400_CR47","doi-asserted-by":"crossref","unstructured":"Pai, G., Dugan, J.: Automatic synthesis of dynamic fault trees from UML system models. In: Proceedings of the 13th International Symposium on Software Reliability Engineering, 2002. ISSRE 2003, pp. 243\u2013254 (2002). doi: 10.1109\/ISSRE.2002.1173261","DOI":"10.1109\/ISSRE.2002.1173261"},{"key":"400_CR48","doi-asserted-by":"crossref","unstructured":"Panesar-Walawege, R., Sabetzadeh, M., Briand, L.: A model-driven engineering approach to support the verification of compliance to safety standards. In: IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE), 2011, pp. 30\u201339 (2011). doi: 10.1109\/ISSRE.2011.11","DOI":"10.1109\/ISSRE.2011.11"},{"key":"400_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/978-3-642-24606-7_27","volume-title":"Conceptual Modeling ER 2011","author":"R Panesar-Walawege","year":"2011","unstructured":"Panesar-Walawege, R., Sabetzadeh, M., Briand, L.: Using UML profiles for sector-specific tailoring of safety evidence information. In: Jeusfeld, M., Delcambre, L., Ling, T.W. (eds.) Conceptual Modeling ER 2011. Lecture Notes in Computer Science, vol. 6998, pp. 362\u2013378. Springer, Berlin (2011). doi: 10.1007\/978-3-642-24606-7_27"},{"key":"400_CR50","doi-asserted-by":"crossref","unstructured":"Ritter, T., Born, M., Unterschiitz, T., Weis, T.: A QoS metamodel and its realization in a CORBA component. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences, 2003, p. 10. (2003). doi: 10.1109\/HICSS.2003.1174879","DOI":"10.1109\/HICSS.2003.1174879"},{"key":"400_CR51","doi-asserted-by":"crossref","unstructured":"Tambe, S., Balasubramanian, J., Gokhale, A., Damiano, T.: MDDPro: model-driven dependability provisioning in enterprise distributed real-time and embedded systems. In: Malek M., Reitenspie M., Moorsel A. (eds.) Service Availability. Lecture Notes in Computer Science, vol. 4526, pp. 127\u2013144. Springer, Berlin (2007). doi: 10.1007\/978-3-540-72736-1_11","DOI":"10.1007\/978-3-540-72736-1_11"},{"issue":"10","key":"400_CR52","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1093\/comjnl\/38.10.765","volume":"38","author":"SP Wilson","year":"1995","unstructured":"Wilson, S.P., McDermid, J.A.: Integrated analysis of complex safety critical systems. Comput. J. 38(10), 765\u2013776 (1995). doi: 10.1093\/comjnl\/38.10.765","journal-title":"Comput. J."},{"key":"400_CR53","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/s10270-010-0164-x","volume":"10","author":"G Zoughbi","year":"2011","unstructured":"Zoughbi, G., Briand, L., Labiche, Y.: Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. Softw. Syst. Model. 10, 337\u2013367 (2011). doi: 10.1007\/s10270-010-0164-x","journal-title":"Softw. Syst. Model."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0400-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0400-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0400-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T16:55:45Z","timestamp":1565196945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0400-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,22]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["400"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0400-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,22]]}}}