{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:28:56Z","timestamp":1742930936179,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319568553"},{"type":"electronic","value":"9783319568560"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-56856-0_9","type":"book-chapter","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T06:10:30Z","timestamp":1491372630000},"page":"123-138","source":"Crossref","is-referenced-by-count":0,"title":["Composition of Verification Assets for Software Product Lines of Cyber Physical Systems"],"prefix":"10.1007","author":[{"given":"Ethan T.","family":"McGee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roselane S.","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John D.","family":"McGregor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,5]]},"reference":[{"key":"9_CR1","unstructured":"Gonzalez-Huerta, J., Abrah\u00e3o, S.M., Insfr\u00e1n, E., Lewis, B.: Automatic derivation of AADL product architectures in software product line development. In: MODELS (2014)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Feiler, P., Goodenough, J., Gurfinkel, A., Weinstock, C., Wrage, L.: Four pillars for improving the quality of safety-critical software-reliant systems. DTIC Document (2013)","DOI":"10.21236\/ADA585679"},{"key":"9_CR3","unstructured":"Klein, A., Goodenough, J., McGregor, J., Weinstock, C.: Increasing confidence by strengthening an inference in a single argument leg: An alternative to multi-legged arguments. In: Proceedings of the 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (2014)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"McGee, E.T., McGregor, J.D.: Composition of proof-carrying architectures for cyber-physical systems. In: Proceedings of the 19th International Conference on Software Product Line, pp. 419\u2013426 (2015)","DOI":"10.1145\/2791060.2793676"},{"key":"9_CR5","unstructured":"Wheeler, D.: http:\/\/www.openproofs.org\/wiki\/Main_Page.OpenProofs (2010)"},{"key":"9_CR6","unstructured":"McGee, E.: http:\/\/dx.doi.org\/10.5281\/zenodo.33234 (2015)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Rajkumar, R.R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: The next computing revolution. In: Proceedings of the 47th Design Automation Conference, pp. 731\u2013736 (2010)","DOI":"10.1145\/1837274.1837461"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/j.bushor.2011.12.001","volume":"55","author":"P Clements","year":"2012","unstructured":"Clements, P., McGregor, J.: Better, faster, cheaper: Pick any three. Bus. Horiz. 55, 201\u2013208 (2012)","journal-title":"Bus. Horiz."},{"key":"9_CR9","unstructured":"Bishop, P., Bloomfield, R., Guerra, S.: The future of goal-based assurance cases. In: Proceedings of the Workshop on Assurance Cases, pp. 390\u2013395 (2004)"},{"key":"9_CR10","unstructured":"Gacek, A., Backes, J., Whalen, M., Cofer, D.: AGREE User\u2019s Guide (2015). https:\/\/github.com\/smaccm\/smaccm\/blob\/master\/documentation\/agree\/AGREE%20Users%20Guide.pdf"},{"key":"9_CR11","unstructured":"Feiler, P.H., Hansson, J., Niz, D.D., Wrage, L.: System architecture virtual integration: An industrial case study (2009)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): An introduction (2006)","DOI":"10.21236\/ADA455842"},{"key":"9_CR13","unstructured":"Feiler, H.P., Lewis, B., Vestal, S.: The SAE architecture analysis and design language (AADL) standard. In: IEEE RTAS Workshop (2003)"},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1016\/j.scico.2011.10.011","volume":"78","author":"AE Goodloe","year":"2013","unstructured":"Goodloe, A.E., Mu\u00f1oz, C.A.: Compositional verification of a communication protocol for a remotely operated aircraft. Sci. Comput. Program. 78, 813\u2013827 (2013)","journal-title":"Sci. Comput. Program."},{"key":"9_CR15","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/363516.363523","volume":"9","author":"PWL Fong","year":"2000","unstructured":"Fong, P.W.L., Cameron, R.D.: Proof linking: Modular verification of mobile programs in the presence of lazy, dynamic linking. ACM Trans. Softw. Eng. Methodol. 9, 379\u2013409 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"9_CR16","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1109\/TSE.2004.22","volume":"30","author":"S Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. IEEE Trans. Softw. Eng. 30, 368\u2013402 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Cofer, D., Gacek, A., Miller, S., Whalen, M.W., LaValley, B., Sha, L.: Compositional verification of architectural models. In: NASA Formal Methods, pp. 126\u2013140 (2012)","DOI":"10.1007\/978-3-642-28891-3_13"},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/2658982.2527272","volume":"33","author":"A Murugesan","year":"2013","unstructured":"Murugesan, A., Whalen, M.W., Rayadurgam, S., Heimdahl, M.P.: Compositional verification of a medical device system. ACM SIGAda Ada Lett. 33, 51\u201364 (2013)","journal-title":"ACM SIGAda Ada Lett."},{"key":"9_CR19","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s13174-010-0004-9","volume":"1","author":"J White","year":"2010","unstructured":"White, J., Clarke, S., Groba, C., Dougherty, B., Thompson, C., Schmidt, D.C.: R&D challenges and solutions for mobile cyber-physical applications and supporting internet services. J. Internet Serv. Appl. 1, 45\u201356 (2010)","journal-title":"J. Internet Serv. Appl."},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"692","DOI":"10.1109\/TC.2007.1021","volume":"56","author":"P Hsiung","year":"2007","unstructured":"Hsiung, P., Chen, Y., Lin, Y.: Model checking safety-critical systems using safecharts. IEEE Trans. Comput. 56, 692\u2013705 (2007)","journal-title":"IEEE Trans. Comput."},{"key":"9_CR21","unstructured":"Delange, J.: AADL Tools: Leveraging the Ecosystem. SEI Insights (2016)"},{"key":"9_CR22","volume-title":"Software Product Lines: Practices and Patterns","author":"P Clements","year":"2002","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co, Inc., Boston (2002)"},{"issue":"7","key":"9_CR23","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1016\/j.infsof.2014.03.001","volume":"56","author":"S Nair","year":"2014","unstructured":"Nair, S., Vara, J.L., Sabetzadeh, M., Briand, L.: An extended systematic literature review on provision of evidence for safety certification. Inf. Softw. Technol. 56(7), 689\u2013717 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-33678-2_30","volume-title":"Computer Safety, Reliability, and Security","author":"RTV Braga","year":"2012","unstructured":"Braga, R.T.V., Junior, O.T., Castelo Branco, K.R., De Oliveira Neris, L., Lee, J.: Adapting a software product line engineering process for certifying safety critical embedded systems. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 352\u2013363. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33678-2_30"},{"key":"9_CR25","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language","author":"P Feiler","year":"2012","unstructured":"Feiler, P., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Boston (2012)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Yushtein, Y., Bozzano, M., Cimatti, A., Katoen, J., Nguyen, V., Noll, T., Olive, X., Roveri, M.: System-software co-engineering: Dependability and safety perspective. In: 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology, pp. 18\u201325 (2011)","DOI":"10.1109\/SMC-IT.2011.16"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Agosta, G., Barenghi, A., Brandolese, C., Fornaciari, W., Pelosi, G., Delucchi, S., Massa, M., Mongelli, M., Ferrari, E., Napoletani, L., et al.: V2I Cooperation for traffic management with SafeCop. In: 2016 Euromicro Conference on Digital System Design, pp. 621\u2013627 (2016)","DOI":"10.1109\/DSD.2016.18"}],"container-title":["Lecture Notes in Computer Science","Mastering Scale and Complexity in Software Reuse"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-56856-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T12:43:00Z","timestamp":1568983380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-56856-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319568553","9783319568560"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-56856-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}