{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:16:47Z","timestamp":1759133807635},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641188"},{"type":"electronic","value":"9783319641195"}],"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-64119-5_15","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T13:05:09Z","timestamp":1501592709000},"page":"227-240","source":"Crossref","is-referenced-by-count":6,"title":["A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of 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,8,2]]},"reference":[{"key":"15_CR1","unstructured":"SAE International, SAE Information Report: (J3016) Taxonomy and definitions for terms related to on-road motor vehicle automated driving systems"},{"key":"15_CR2","unstructured":"European Commission: Intelligent transport systems. \nhttps:\/\/ec.europa.eu\/transport\/themes\/its_en"},{"key":"15_CR3","unstructured":"PwC Semiconductor Report: Spotlight on Automotive. PwC, September 2013"},{"key":"15_CR4","unstructured":"ISO: ISO 26262 Road vehicles \u2013 Functional safety"},{"key":"15_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":"15_CR6","unstructured":"EAST-ADL: EAST-ADL Domain Model Specification, Version M.2.1.12 (2014)"},{"issue":"2","key":"15_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). IGI Global Publishing, Hershey, USA","journal-title":"Int. J. Conceptual Struct. Smart Appl. (IJCSSA)"},{"key":"15_CR8","unstructured":"Benveniste, A., et al.: Multiple viewpoint contract-based specification and design. In: 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007 (2007)"},{"key":"15_CR9","unstructured":"Benveniste, A., et al.: Contracts for system design. Report RR-8147, Inria, November 2012"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Maler, O., et al.: Monitoring temporal properties of continuous signals. In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conference on FORMATS\/FTRTFT (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"15_CR11","unstructured":"Anthony, R., et al.: Context-aware adaptation in DySCAS. Electronic Communications of the EASST: Context-Aware Adaptation Mechanism for Pervasive and Ubiquitous Services (CAMPUS), vol. 19. European Association of Software Science and Technology (EASST) (2009). ISSN 1863-2122"},{"key":"15_CR12","volume-title":"An Introduction to Hidden Markov Models and Bayesian Networks. Hidden Markov Models: Applications in Computer Vision","author":"Z Ghahramani","year":"2001","unstructured":"Ghahramani, Z.: An Introduction to Hidden Markov Models and Bayesian Networks. Hidden Markov Models: Applications in Computer Vision. World Scientific Publishing Co. Inc., River Edge (2001)"},{"issue":"6","key":"15_CR13","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1016\/j.peva.2006.07.003","volume":"64","author":"Y Liu","year":"2007","unstructured":"Liu, Y., et al.: A calculus for stochastic QoS analysis. Perform. Eval. 64(6), 547\u2013572 (2007)","journal-title":"Perform. Eval."},{"key":"15_CR14","volume-title":"Stochastic Network Calculus","author":"Y Jiang","year":"2008","unstructured":"Jiang, Y., Liu, Y.: Stochastic Network Calculus. Springer Publishing Company, Heidelberg (2008)"},{"key":"15_CR15","volume-title":"Fault Tree Handbook","author":"WE Vesely","year":"1981","unstructured":"Vesely, W.E.: Fault Tree Handbook. US Nuclear Regulatory Committee Report NUREG-0492, US NRC, Washington, DC (1981)"},{"key":"15_CR16","volume-title":"Failure Modes and Effects Analysis","author":"P Palady","year":"1995","unstructured":"Palady, P.: Failure Modes and Effects Analysis. PT Publications, West Palm Beach (1995). ISBN: 0-94545-617-4"},{"issue":"6","key":"15_CR17","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/s00502-011-0007-7","volume":"128","author":"D Chen","year":"2011","unstructured":"Chen, D., et al.: Integrated safety and architecture modeling for automotive embedded systems. e&i Elektrotechnik und Informationstechnik 128(6), 196\u2013202 (2011). doi:\n10.1007\/s00502-011-0007-7\n\n. ISSN: 0932-383X","journal-title":"e&i Elektrotechnik und Informationstechnik"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Chen, D., et al.: Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS. In: 4th IFAC Workshop on Dependable Control of Discrete Systems, York, U.K., 4\u20136 September 2013","DOI":"10.3182\/20130904-3-UK-4041.00043"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139\u2013152. Springer, Heidelberg (1999). doi:\n10.1007\/3-540-48249-0_13"},{"key":"15_CR20","unstructured":"Sadigh, D., Kapoor, A.: Safe control under uncertainty with probabilistic signal temporal logic. Robotics: Science and Systems (RSS), June 2016"},{"key":"15_CR21","unstructured":"SysML: OMG Systems Modeling Language (OMG SysML\u2122), OMG"},{"key":"15_CR22","series-title":"SEI Series in Software Engineering series","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language","author":"PH Feiler","year":"2012","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. SEI Series in Software Engineering series. Addison-Wesley Professional, Boston (2012). ISBN: 10: 0-321-88894-4"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Silva, E., et al.: A mission-oriented approach for designing system-of-systems. In: Proceedings of the 10th System-of-Systems Engineering Conference (SoSE), pp. 346\u2013351, May 2015","DOI":"10.1109\/SYSOSE.2015.7151951"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Bryans, J., et al.: SysML contracts for systems of systems. In: IEEE Systems of Systems Engineering Conference 2014, June 2014","DOI":"10.1109\/SYSOSE.2014.6892466"},{"issue":"4","key":"15_CR25","doi-asserted-by":"crossref","first-page":"903","DOI":"10.1109\/TRO.2014.2312453","volume":"30","author":"M Althoff","year":"2014","unstructured":"Althoff, M., et al.: Online verification of automated road vehicles using reachability analysis. IEEE Trans. Robot. 30(4), 903\u2013918 (2014)","journal-title":"IEEE Trans. Robot."},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-21768-5_11","volume-title":"Tests and Proofs","author":"K Meinke","year":"2011","unstructured":"Meinke, K., Sindhu, M.A.: Incremental learning-based testing for reactive systems. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol. 6706, pp. 134\u2013151. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-21768-5_11\n\n. IEEE Trans. Robot. 30(4), 903-918 (2014)"},{"key":"15_CR27","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":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64119-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T13:09:56Z","timestamp":1501592996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641188","9783319641195"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64119-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}