{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T13:56:52Z","timestamp":1768831012933,"version":"3.49.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319594149","type":"print"},{"value":"9783319594156","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T00:00:00Z","timestamp":1496188800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-59415-6_10","type":"book-chapter","created":{"date-parts":[[2017,5,30]],"date-time":"2017-05-30T08:42:30Z","timestamp":1496133750000},"page":"97-105","source":"Crossref","is-referenced-by-count":6,"title":["A Methodological Framework for Model-Based Self-management of Services and Components in Dependable Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"DeJiu","family":"Chen","sequence":"first","affiliation":[]},{"given":"Zhonghai","family":"Lu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,31]]},"reference":[{"key":"10_CR1","unstructured":"SAE International, SAE Information Report: (J3016) Taxonomy and Definitions for Terms Related to On-Road Motor Vehicle Automated Driving Systems"},{"key":"10_CR2","unstructured":"European Commission: Intelligent transport systems. https:\/\/ec.europa.eu\/transport\/themes\/its_en"},{"key":"10_CR3","unstructured":"PwC Semiconductor Report: Spotlight on Automotive. PwC, September 2013"},{"key":"10_CR4","unstructured":"ISO, ISO 26262 Road vehicles \u2013 Functional safety"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Chen, D., et al.: A Knowledge-in-the-loop approach to integrated safety&security for cooperative system-of-systems. In: IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015, Cairo, Egypt, 12\u201314 December (2015)","DOI":"10.1109\/IntelCIS.2015.7397237"},{"key":"10_CR6","unstructured":"EAST-ADL. EAST-ADL Domain Model Specification, Version M.2.1.12 (2014). http:\/\/www.east-adl.info\/"},{"issue":"2","key":"10_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.4018\/IJCSSA.2015070103","volume":"3","author":"R Kolagari","year":"2015","unstructured":"Kolagari, R., et al.: Model-based analysis and engineering of automotive architectures with EAST-ADL: revisited. Int. J. Conceptual Struct. Smart Appl. (IJCSSA) 3(2), 25\u201370 (2015)","journal-title":"Int. J. Conceptual Struct. Smart Appl. (IJCSSA)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Benveniste, A., et.al.: Multiple viewpoint contract-based specification and design. In: Formal Methods for Components and Objects: 6th International Symposium, FMCO, pp. 200\u2013225 (2007)","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"10_CR9","unstructured":"Benveniste, A., et.al.: Contracts for system design. Research Report 8147, Inria, November 2012"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Joint International Conference on Formal Modelling and Analysis of Timed Systems, and Formal Techniques in Real-Time and Fault-Tolerant Systems (FORMATS\/FTRTFT 2004) (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"10_CR11","unstructured":"Anthony, R., et al.: Context-aware adaptation in DySCAS. Electronic Communications of the EASST, vol. 19. European Association of Software Science and Technology (EASST) (2009)"},{"key":"10_CR12","unstructured":"SysML. OMG Systems Modeling Language (OMG SysML\u2122), OMG"},{"key":"10_CR13","unstructured":"AADL Architecture Analysis and Design Language, SEI. Carnegie-Mellon Univ., USA"},{"key":"10_CR14","unstructured":"Sadigh, D., Kapoor, A.: Safe Control under Uncertainty with Probabilistic Signal Temporal Logic. Robotics: Science and Systems (RSS), June 2016"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Silva, E., Batista, T., Oquendo, F.: A mission-oriented approach for designing system-of-systems. In: Proceedings of the 10th System-of-Systems Engineering Conference (SoSE), May 2015","DOI":"10.1109\/SYSOSE.2015.7151951"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Bryans, J., Fitzgerald, J., Payne, R., Miyazawa, A., Kristensen, K.: SysML contracts for systems of systems. In: IEEE Systems of Systems Engineering Conference, June 2014","DOI":"10.1109\/SYSOSE.2014.6892466"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Althoff, M., et al.: Online verification of automated road vehicles using reachability analysis. IEEE Trans. Robot. 30(4), 903\u2013918 (2014)","DOI":"10.1109\/TRO.2014.2312453"},{"key":"10_CR18","unstructured":"Meinke, K., et al.: Incremental learning-based testing for reactive systems. In: Proc. Int. Conf. on Tests and Proofs TAP 2011. LNCS, vol. 6706, Springer (2011). IEEE Trans. Robot. 30(4): 903\u2013918 (2014)"},{"key":"10_CR19","doi-asserted-by":"crossref","first-page":"7036","DOI":"10.1016\/j.ces.2006.07.007","volume":"61","author":"A Meel","year":"2006","unstructured":"Meel, A.: Plant-specific dynamic failure assessment using Bayesian theory. Chem. Eng. Sci. 61, 7036\u20137056 (2006)","journal-title":"Chem. Eng. Sci."}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Dependability Engineering of Complex Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59415-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T07:10:01Z","timestamp":1569395401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59415-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,31]]},"ISBN":["9783319594149","9783319594156"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59415-6_10","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,31]]}}}