{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:09:44Z","timestamp":1759032584946,"version":"3.28.0"},"reference-count":25,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2008,6,16]]},"DOI":"10.1049\/iet-sen:20070050","type":"journal-article","created":{"date-parts":[[2008,6,12]],"date-time":"2008-06-12T22:46:17Z","timestamp":1213310777000},"page":"260-280","source":"Crossref","is-referenced-by-count":35,"title":["Integration of safety analysis in model-driven software development"],"prefix":"10.1049","volume":"2","author":[{"given":"M.A.","family":"de Miguel","sequence":"first","affiliation":[{"name":"Technical University of Madrid, E.T.S.I. Telecomunicacio\u0301n, Ciudad Universitaria, Madrid, 28040, Spain"}]},{"given":"J.F.","family":"Briones","sequence":"additional","affiliation":[{"name":"Technical University of Madrid, E.T.S.I. Telecomunicacio\u0301n, Ciudad Universitaria, Madrid, 28040, Spain"}]},{"given":"J.P.","family":"Silva","sequence":"additional","affiliation":[{"name":"Technical University of Madrid, E.T.S.I. Telecomunicacio\u0301n, Ciudad Universitaria, Madrid, 28040, Spain"}]},{"given":"A.","family":"Alonso","sequence":"additional","affiliation":[{"name":"Technical University of Madrid, E.T.S.I. Telecomunicacio\u0301n, Ciudad Universitaria, Madrid, 28040, Spain"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20070050_r1","unstructured":"European organization for the safety of air navigation: \u2018Air navigation systems safety assessment methodology\u2019, Eurocontrol, April 2005"},{"key":"10.1049\/iet-sen:20070050_r2","unstructured":"Modelware web page, available at: http:\/\/www.modelware-ist.org\/"},{"journal-title":"Proc. 1st Int. Conf. System Safety, IEE","year":"2006","author":"Briones","key":"10.1049\/iet-sen:20070050_r3"},{"journal-title":"Proc. 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, LNCS","year":"2007","author":"Briones","key":"10.1049\/iet-sen:20070050_r4"},{"key":"10.1049\/iet-sen:20070050_r5","first-page":"49","volume":"24","author":"Reibman","year":"1991"},{"key":"10.1049\/iet-sen:20070050_r6","unstructured":"Levenson, N.: \u2018Safeware: system safety and computers\u2019, (Addison Wesley 1995)"},{"key":"10.1049\/iet-sen:20070050_r7","unstructured":"\u2018Fault tree handbook\u2019, (Nuclear Regulatory Commision, US 1981),NUREG-0492"},{"key":"10.1049\/iet-sen:20070050_r8","first-page":"40","volume":"36","author":"Dunn","year":"2003"},{"key":"10.1049\/iet-sen:20070050_r9","unstructured":"\u2018System safety in aircraft acquisitions\u2019, Technical report, Logistics, Management Institute, 1984 Washington, DC"},{"key":"10.1049\/iet-sen:20070050_r10","unstructured":"Object Management Group: UML profile for modeling quality of service and fault tolerance characteristics and mechanisms final task force, OMG document number ptc\/2005-05-02, available at: http:\/\/www.omg.org\/cgi-bin\/;doc?ptc\/2005-05-02"},{"key":"10.1049\/iet-sen:20070050_r11","unstructured":"Military standard: \u2018Procedures for performing a failure mode, effects and criticality analysis\u2019, 1980, MIL-STD-1629A"},{"key":"10.1049\/iet-sen:20070050_r12","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., and Grose, T.J.: \u2018Eclipse modeling framework\u2019, (Addison-Wesley Professional 2003),ISBN 0131425420"},{"key":"10.1049\/iet-sen:20070050_r13","unstructured":"Objecteering web page, available at: http:\/\/www.objecteering.com\/"},{"key":"10.1049\/iet-sen:20070050_r14","unstructured":"ITEM software web page, available at: http:\/\/www.itemuk.com\/"},{"key":"10.1049\/iet-sen:20070050_r15","unstructured":"Lockheed Martin \u2018MDA success story\u2019, available at: http:\/\/www.omg.org\/mda\/mda_files\/LockheedMartin.pdf"},{"key":"10.1049\/iet-sen:20070050_r16","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1109\/TSE.1983.235116","volume":"SE-9","author":"Leveson","year":"1983","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"journal-title":"Proc. Software Engineering Workshop, 27th Annual NASA Goddard, IEEE Computer Society","year":"2002","author":"Towhidnejad","key":"10.1049\/iet-sen:20070050_r17"},{"journal-title":"Proc. Int. Symp. Software Reliable Engineering, IEEE Computer Society","year":"2002","author":"Pai","key":"10.1049\/iet-sen:20070050_r18"},{"key":"10.1049\/iet-sen:20070050_r19","first-page":"34","volume":"19","author":"Khan","year":"2002"},{"key":"10.1049\/iet-sen:20070050_r20","unstructured":"AADL: \u2018SAE architecture analysis & design language\u2019, available at: http:\/\/www.aadl.info\/"},{"journal-title":"Proc. Workshop in Objectect Oriented Real-Time Dependable Systems, Words","year":"2005","author":"De Miguel","key":"10.1049\/iet-sen:20070050_r21"},{"key":"10.1049\/iet-sen:20070050_r22","unstructured":"\u2018A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software\u2019, Carleton University Report TR SCE-06-19, December, 2006"},{"key":"10.1049\/iet-sen:20070050_r23","doi-asserted-by":"crossref","first-page":"946","DOI":"10.1109\/TSE.2003.1237174","volume":"29","author":"Goseva-Popstojanova","year":"2003","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"journal-title":"Proc. Int. System Safety Conf., ISSC","year":"1999","author":"Dawkins","key":"10.1049\/iet-sen:20070050_r24"},{"journal-title":"Proc. Int. System Safety Conf., ISSC","year":"2004","author":"Lisagor","key":"10.1049\/iet-sen:20070050_r25"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20070050?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:24:15Z","timestamp":1731435855000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20070050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,16]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6,16]]}},"alternative-id":["10.1049\/iet-sen:20070050"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20070050","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2008,6,16]]}}}