{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:18:02Z","timestamp":1743110282008,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540756637"},{"type":"electronic","value":"9783540756644"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75664-4_10","type":"book-chapter","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T03:27:01Z","timestamp":1189740421000},"page":"93-104","source":"Crossref","is-referenced-by-count":1,"title":["Application of Safety Analyses in Model Driven Development"],"prefix":"10.1007","author":[{"given":"Javier","family":"Fern\u00e1ndez Briones","sequence":"first","affiliation":[]},{"given":"Miguel \u00c1ngel","family":"de Miguel","sequence":"additional","affiliation":[]},{"given":"J. P.","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Modelware Web Page: \n                    \n                      http:\/\/www.modelware-ist.org\/"},{"key":"10_CR2","unstructured":"European Organization for the Safety of Air Navigation, Air Navigation Systems Safety Assessment Methodology, \n                    \n                      http:\/\/www.eurocontrol.int"},{"key":"10_CR3","unstructured":"Budinsky, F., et al.: Eclipse Modeling Framework. Addison Wesley Professional (2003)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1109\/WORDS.2005.43","volume-title":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS","author":"M. Miguel de","year":"2005","unstructured":"de Miguel, M., Pauly, B., Person, T., Briones, J.F.: Model-Based Integration of Safety Analysis and Reliable Software Development, words. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS, pp. 312\u2013319. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"10_CR5","volume-title":"Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","author":"J.P. Silva","year":"2005","unstructured":"Silva, J.P., de Miguel, M., Briones, J.F., Alonso, A.: Safety Metrics for the Analysis of Software Architectures. In: Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"10_CR6","volume-title":"9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing ISORC","author":"M. Miguel de","year":"2006","unstructured":"de Miguel, M., Briones, J.F., Silva, J.P., Alonso, A.: Model Based Integration of Safety Analysis and Development. In: 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing ISORC, IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Briones, J.F., de Miguel, M., Silva, J.P., Alonso, A.: Integration of Safety Analysis and Software Development Methods. In: 1st IET Conference on System Safety (June 2006)","DOI":"10.1049\/cp:20060228"},{"key":"10_CR8","unstructured":"MIL-STD-1629. A Military Standard, Procedures for Performing A Failure Mode, Effects and Criticality Analysis (1980)"},{"key":"10_CR9","unstructured":"NUREG-0492. Fault Tree Handbook, U.S. Nuclear Regulatory Commission (1981)"},{"key":"10_CR10","volume-title":"Safeware: System Safety and Computers","author":"N. Levenson","year":"1995","unstructured":"Levenson, N.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"10_CR11","unstructured":"Object Management Group. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, OMG document number ptc\/2005-05-02 (2005)"},{"key":"10_CR12","unstructured":"Object Management Group. Meta Object Facility (MOF) Core Specification, OMG document number formal\/2006-01-01 (2006)"},{"key":"10_CR13","unstructured":"AADL. SAE Architecture Analysis & Design Language. \n                    \n                      http:\/\/www.aadl.info\/"},{"key":"10_CR14","unstructured":"ARTiSAN Software Tools. Safety in the Loop (2002)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Khan, K., Han, J.: Composing Security-Aware Software. IEEE Software (January 2002)","DOI":"10.1109\/52.976939"},{"key":"10_CR16","volume-title":"International Symposium on Software Reliable Engineering","author":"G. Pai","year":"2002","unstructured":"Pai, G., Dugan, J.: Automatic Synthesis of Dynamic Fault Trees from UML System Models. In: International Symposium on Software Reliable Engineering, IEEE Computer Society, Los Alamitos (2002)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J. J\u00fcrjens","year":"2003","unstructured":"J\u00fcrjens, J.: Developing Safety-Critical Systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) \u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications. LNCS, vol.\u00a02863, Springer, Heidelberg (2003)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Workshop on Critical Systems Development with UML at UML 2004","author":"P. Conmy","year":"2004","unstructured":"Conmy, P., Paige, R.: Using UML, OCL and MDA to support development of Modular Avionics Systems. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) Workshop on Critical Systems Development with UML at UML 2004. LNCS, vol.\u00a03273, Springer, Heidelberg (2004)"},{"key":"10_CR19","volume-title":"Software Engineering Workshop, 28th Annual NASA Goddard","author":"M. Towhidnejad","year":"2003","unstructured":"Towhidnejad, M., Wallace, D., Gallo, A.: Validation of Object Oriented Software Design with Fault Tree Analysis. In: Software Engineering Workshop, 28th Annual NASA Goddard, IEEE Computer Society Press, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75664-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T17:59:12Z","timestamp":1548352752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75664-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540756637","9783540756644"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75664-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}