{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:14:42Z","timestamp":1743059682949,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406744"},{"type":"electronic","value":"9783642406751"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-40675-1_10","type":"book-chapter","created":{"date-parts":[[2013,8,19]],"date-time":"2013-08-19T12:12:46Z","timestamp":1376914366000},"page":"63-68","source":"Crossref","is-referenced-by-count":0,"title":["Specification of Communication Based Train Control System Using AADL"],"prefix":"10.1007","author":[{"given":"Lichen","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Bingqing","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"IEC62278:2002, Railway applications: Specification and demonstration of reliability, availability, maintainability and safety (RAMS)"},{"key":"10_CR2","unstructured":"IEC62279:2002, Railway applications: Communications, signaling and processing systems\u2013Software for railway control and protection systems"},{"key":"10_CR3","unstructured":"EC62280:2002, Railway applications: Communication, signaling and processing systems\u2013Safety related electronic systems for signaling"},{"volume-title":"Dependability: Basic Concepts and Terminology","year":"1992","key":"10_CR4","unstructured":"Laprie, J.C. (ed.): Dependability: Basic Concepts and Terminology. Springer, Secaucus (1992)"},{"key":"10_CR5","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B.: Dependability of computer systems: Fundamental concepts, terminology, and examples (2000)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Hudak, J.J., Feiler, P.H.: Developing aadl models for control systems: A practitioner\u2019s guide (2007)","DOI":"10.21236\/ADA472931"},{"key":"10_CR7","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional (2012)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Muhammad, N., Vandewoude, Y., Berbers, Y., van Loo, S.: Modelling embedded systems with AADL: A practical study. In: New Advanced Technologies, pp. 247\u2013263. Intech (2010)","DOI":"10.5772\/9423"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"De Niz, D., Feiler, P.H.: Aspects in the industry standard AADL. In: Proceedings of the 10th International Workshop on Aspect-oriented Modeling, pp. 15\u201320. ACM press (2007)","DOI":"10.1145\/1229375.1229378"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Michotte, L., Vergnaud, T., Feiler, P.H., France, R.B.: Aspect oriented modeling of component architectures using AADL. In: New Technologies, Mobility and Security, NTMS 2008, pp. 1\u20136. IEEE (2008)","DOI":"10.1109\/NTMS.2008.ECP.26"},{"key":"10_CR11","unstructured":"Modelica Association, Modelica - a unified object-oriented language for physical systems modeling. Language specification (2002)"},{"key":"10_CR12","unstructured":"Modelica Association, Modelica: a unified object-oriented language for physical systems modeling: Language. Specification Version 3.0 (2007)"}],"container-title":["Lecture Notes in Electrical Engineering","Mobile, Ubiquitous, and Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40675-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T14:22:18Z","timestamp":1676816538000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-40675-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642406744","9783642406751"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40675-1_10","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2014]]}}}