{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:07:35Z","timestamp":1744171655336,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_6","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T16:33:04Z","timestamp":1347294784000},"page":"64-78","source":"Crossref","is-referenced-by-count":11,"title":["Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards"],"prefix":"10.1007","author":[{"given":"Jose Luis","family":"de la Vara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sunil","family":"Nair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Verhulst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janusz","family":"Studzizba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Pepek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerome","family":"Lambourg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Altreonic: Survey on Certification Issues, http:\/\/www.altreonic.com\/content\/survey-certification-issues (accessed May 15, 2012)"},{"key":"6_CR2","unstructured":"Altreonic: Trustworthy Systems Engineering with GoedelWorks, http:\/\/www.altreonic.com\/category\/products\/goedelworks (accessed May 15, 2012)"},{"key":"6_CR3","unstructured":"Atego Workbench, http:\/\/www.atego.com\/products\/atego-workbench\/ (accessed May 15, 2012)"},{"key":"6_CR4","unstructured":"Bohner, S.A., Arnold, R.S.: Software Change Impact Analysis. IEEE Press (1996)"},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1016\/j.infsof.2008.06.002","volume":"51","author":"L. Briand","year":"2009","unstructured":"Briand, L., Labiche, Y., Yue, T.: Automated traceability analysis for UML model refinements. Information & Software Technology\u00a051(2), 512\u2013527 (2009)","journal-title":"Information & Software Technology"},{"key":"6_CR6","unstructured":"DECOS project, http:\/\/www.decos.at (accessed May 15, 2012)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Ericson, C.A.: Concise Encyclopedia of System Safety. Wiley (2011)","DOI":"10.1002\/9781118028667"},{"key":"6_CR8","unstructured":"EVOLVE project, http:\/\/www.evolve-itea.org (accessed May 15, 2012)"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MS.2011.116","volume":"29","author":"D. Falessi","year":"2012","unstructured":"Falessi, D., et al.: Planning for Safety Evidence Collection. IEEE Software\u00a029(3), 64\u201370 (2012)","journal-title":"IEEE Software"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Fenn, J., et al.: The Who, Where, How, Why and When of Modular and Incremental Certification. In: 2nd IET International Conference on System Safety (2007)","DOI":"10.1049\/cp:20070454"},{"key":"6_CR11","unstructured":"FormalSafe project, http:\/\/www.dfki.de\/web\/research\/projects\/base_view?pid=456 (accessed May 15, 2012)"},{"key":"6_CR12","unstructured":"Habli, I.M.: Model-based assurance of safety-critical product lines. PhD thesis, University of York (2009)"},{"key":"6_CR13","unstructured":"Herrmann, D.S.: Software Safety and Reliability. IEEE Press (1999)"},{"key":"6_CR14","unstructured":"iFEST project, http:\/\/www.artemis-ifest.eu (accessed May 15, 2012)"},{"key":"6_CR15","unstructured":"Jackson, D., Thomas, M., Millet, L.I.: Software for Dependable Systems. NAP (2007)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Johansson, M., Nevalainen, R.: Additional requirements for process assessment in safety\u2013critical software and systems domain. J. Softw. Maint. Evol. (2010), doi: 10.1002\/smr.499","DOI":"10.1002\/smr.499"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Kelly, T.P.: Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled? In: Improvements in Systems Safety. Springer (2008)","DOI":"10.1007\/978-1-84800-100-8_1"},{"issue":"2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s11334-009-0088-1","volume":"5","author":"A. Kornecki","year":"2009","unstructured":"Kornecki, A., Zalewski, J.: Certification of software for real-time safety-critical systems: state of the art. Innovations in Systems and Software Engineering\u00a05(2), 149\u2013161 (2009)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"6_CR19","unstructured":"Medini Analyze, http:\/\/www.ikv.de\/index.php\/en\/products\/functional-safety (accessed May 15, 2012)"},{"key":"6_CR20","unstructured":"ModelME! project, http:\/\/modelme.simula.no\/ (accessed May 15, 2012)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Nejati, S., et al.: A SysML-Based Approach to Traceability Management and Design Slicing of Safety Certification. Info. & Software Technology (accepted paper, 2012)","DOI":"10.1016\/j.infsof.2012.01.005"},{"key":"6_CR22","unstructured":"OMG: Argumentation Metamodel (ARM) 1.0 \u2013 Beta 1 (2010), http:\/\/www.omg.org\/spec\/ARM\/ (accessed May 15, 2012)"},{"key":"6_CR23","unstructured":"OMG: Object Constraint Language (OCL) Version 2.3.1 (2006), http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/ (accessed May 15, 2012)"},{"key":"6_CR24","unstructured":"OMG: Software Assurance Evidence Metamodel (SAEM) 1.0 \u2013 Beta 1 (2010), http:\/\/www.omg.org\/spec\/SAEM\/ (accessed May 15, 2012)"},{"key":"6_CR25","unstructured":"OPENCOSS: Deliverable D6.1 - Baseline for the evidence management needs of the OPENCOSS platform (2012)"},{"key":"6_CR26","unstructured":"OPENCOSS, http:\/\/www.opencoss-project.eu\/ (accessed May 15, 2012)"},{"key":"6_CR27","unstructured":"Open-DO initiative, http:\/\/www.open-do.org\/ (accessed May 15, 2012)"},{"key":"6_CR28","unstructured":"Oxford Dictionaries: evidence, http:\/\/oxforddictionaries.com\/definition\/evidence?q=evidence (accessed May 15, 2012)"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Panesar-Walawege, R.K., et al.: Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard. In: ICST 2010 (2010)","DOI":"10.1109\/ICST.2010.12"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-642-24574-9_45","volume-title":"Advances in Conceptual Modeling. Recent Developments and New Directions","author":"R.K. Panesar-Walawege","year":"2011","unstructured":"Panesar-Walawege, R.K., Skyberg Knutsen, T., Sabetzadeh, M., Briand, L.: CRESCO: Construction of Evidence Repositories for Managing Standards Compliance. In: De Troyer, O., Bauzer Medeiros, C., Billen, R., Hallot, P., Simitsis, A., Van Mingroot, H. (eds.) ER Workshops 2011. LNCS, vol.\u00a06999, pp. 338\u2013342. Springer, Heidelberg (2011)"},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-24606-7_27","volume-title":"Conceptual Modeling \u2013 ER 2011","author":"R.K. Panesar-Walawege","year":"2011","unstructured":"Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol.\u00a06998, pp. 362\u2013378. Springer, Heidelberg (2011)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. In: WoSoCER 2011 (2011)","DOI":"10.1109\/WoSoCER.2011.8"},{"key":"6_CR33","unstructured":"Parasoft Concerto, http:\/\/www.parasoft.com\/jsp\/products\/concerto\/home.jsp (accessed May 15, 2012)"},{"key":"6_CR34","unstructured":"Programatica project, http:\/\/programatica.cs.pdx.edu\/index.html (accessed May 15, 2012)"},{"key":"6_CR35","unstructured":"Sabetzadeh, M., et al.: MODUS: A goal-based approach for quantitative assessment of systems, http:\/\/modelme.simula.no\/assets\/modus.pdf (accessed May 15, 2012)"},{"key":"6_CR36","unstructured":"SafeCer project, http:\/\/www.safecer.eu\/ (accessed May 15, 2012)"},{"issue":"2","key":"6_CR37","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-Driven Engineering. IEEE Computer\u00a039(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"key":"6_CR38","unstructured":"Sherriff, M., Williams, L.: DevCOP. In: ISSRE 2006 (2006)"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Sommerville, I.: Software Engineering, 7th edn. Pearson (2004)","DOI":"10.1049\/ic:20040184"},{"key":"6_CR40","unstructured":"Squair, M.J.: Issues in the Application of Software Safety Standards. In: SCS 2005 (2005)"},{"key":"6_CR41","unstructured":"The Qualifying Machine: In: [27]"},{"issue":"3","key":"6_CR42","doi-asserted-by":"publisher","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. SoSyM\u00a010(3), 337\u2013367 (2011)","journal-title":"SoSyM"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33675-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T04:32:17Z","timestamp":1744086737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}