{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:01:38Z","timestamp":1725897698735},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_30","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T15:02:42Z","timestamp":1346943762000},"page":"352-363","source":"Crossref","is-referenced-by-count":9,"title":["Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems"],"prefix":"10.1007","author":[{"given":"Rosana T. Vaccare","family":"Braga","sequence":"first","affiliation":[]},{"given":"Onofre","family":"Trindade Junior","sequence":"additional","affiliation":[]},{"given":"Kalinka Regina","family":"Castelo Branco","sequence":"additional","affiliation":[]},{"given":"Luciano De Oliveira","family":"Neris","sequence":"additional","affiliation":[]},{"given":"Jaejoon","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"30_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/62.861767","volume":"15","author":"B. Abdul-Baki","year":"2000","unstructured":"Abdul-Baki, B., Baldwin, J., Rudel, M.-P.: Independent validation and verification of the TCAS II collision avoidance subsystem. IEEE Aerosp. Electronic Systems Magazine\u00a015(8), 3\u20139 (2000)","journal-title":"IEEE Aerosp. Electronic Systems Magazine"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Braga, R.T.V., Trindade Jr., O., Branco, K.R.L.J.C., Lee, J.: Incorporating certification in feature modelling of an unmanned aerial vehicle product line. In: 16th International Software Product Line Conference (SPLC), Salvador, Brazil, pp. 1\u201310 (accepted for publication, to appear 2012)","DOI":"10.1145\/2362536.2362570"},{"key":"30_CR3","unstructured":"Braga, R.T.V., Branco, K.R.L.J.C., Trindade Jr., O., Gimenes, I.: Evolving tiriba design towards a product line of small electric-powered uavs. In: Procs. of CBSEC - I Brazilian Conf. on Critical Embedded Systems, pp. 67\u201372 (2011)"},{"issue":"2","key":"30_CR4","first-page":"1","volume":"15","author":"R.T.V. Braga","year":"2012","unstructured":"Braga, R.T.V., Branco, K.R.L.J.C., Trindade Jr., O., Masiero, P.C., Neris, L.O., Becker, M.: The prolices approach to develop product lines for safety-critical embedded systems and its application to the unmanned aerial vehicles domain. CLEI Electronic Journal\u00a015(2), 1\u201313 (2012)","journal-title":"CLEI Electronic Journal"},{"key":"30_CR5","unstructured":"Dordowsky, F., Hipp, W.: Adopting software product line principles to manage software variants in a complex avionics system. In: Proceedings of the 13th International Software Product Line Conference, SPLC 2009, Pittsburgh, PA, USA, pp. 265\u2013274. Carnegie Mellon University (2009)"},{"key":"30_CR6","unstructured":"GAO. Unmanned aircraft systems - federal actions needed to ensure safety and expand their potential uses within the national airspace system, GAO-08-511. Technical report, GAO 2008 (2008)"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-13556-9_9","volume-title":"Architecting Critical Systems","author":"I. Habli","year":"2010","unstructured":"Habli, I., Kelly, T.: A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol.\u00a06150, pp. 142\u2013160. Springer, Heidelberg (2010)"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-15651-9_29","volume-title":"Computer Safety, Reliability, and Security","author":"S. Hutchesson","year":"2010","unstructured":"Hutchesson, S., McDermid, J.: Development of High-Integrity Software Product Lines Using Model Transformation. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 389\u2013401. Springer, Heidelberg (2010)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Hutchesson, S., McDermid, J.A.: Towards cost-effective high-assurance software product lines: The need for property-preserving transformations. In: Software Product Line Conference (SPLC), pp. 55\u201364 (2011)","DOI":"10.1109\/SPLC.2011.32"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K.C. Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Kim, K., Jounghyun Kim, G., Shin, E.: Form: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering\u00a05, 143\u2013168 (1998)","journal-title":"Annals of Software Engineering"},{"issue":"2","key":"30_CR11","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":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-15579-6_3","volume-title":"Software Product Lines: Going Beyond","author":"K. Lee","year":"2010","unstructured":"Lee, K., Kang, K.C.: Usage Context as Key Driver for Feature Selection. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 32\u201346. Springer, Heidelberg (2010)"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Polzer, A., Kowalewski, S., Botterweck, G.: Applying software product line techniques in model-based embedded systems engineering. In: Procs. of the Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009), at the 31st Int. Conf. on Software Engineering, pp. 2\u201310 (2009)","DOI":"10.1109\/MOMPES.2009.5069132"},{"key":"30_CR14","unstructured":"RTCA. DO-178B \u2013 software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics\/EUROCAE Std ed-12B\/DO178B (December 1992)"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/11875567_28","volume-title":"Computer Safety, Reliability, and Security","author":"E. Schoitsch","year":"2006","unstructured":"Schoitsch, E., Althammer, E., Eriksson, H., Vinter, J., G\u00f6nczy, L., Pataricza, A., Csertan, G.: Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 372\u2013385. Springer, Heidelberg (2006)"},{"key":"30_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1007\/978-3-642-05089-3_34","volume-title":"FM 2009: Formal Methods","author":"J. Souyris","year":"2009","unstructured":"Souyris, J., Wiels, V., Delmas, D., Delseny, H.: Formal Verification of Avionics Software Products. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 532\u2013546. Springer, Heidelberg (2009)"},{"key":"30_CR17","unstructured":"Weiss, D., Lai, C.T.R.: Software product-line engineering: a family-based software development process. Addison-Wesley, Boston (2004)"}],"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-33678-2_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:18:48Z","timestamp":1620130728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}