{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:42:11Z","timestamp":1725864131638},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454795"},{"type":"electronic","value":"9783319454801"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45480-1_29","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:08:20Z","timestamp":1472828900000},"page":"359-370","source":"Crossref","is-referenced-by-count":4,"title":["Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems"],"prefix":"10.1007","author":[{"given":"Ralph","family":"Weissnegger","sequence":"first","affiliation":[]},{"given":"Markus","family":"Schu\u00df","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Kreiner","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Pistauer","sequence":"additional","affiliation":[]},{"given":"Kay","family":"R\u00f6mer","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Steger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"key":"29_CR1","unstructured":"CISC Semiconductor GmbH. https:\/\/www.cisc.at\/"},{"key":"29_CR2","unstructured":"Accellera: Universal Verification Methodology (UVM) 1.2 User\u2019s Guide. Technical report, Accellera, May 2015"},{"key":"29_CR3","unstructured":"Catrene: OpenES CATRENE Project: CA703 (2016). http:\/\/www.ecsi.org\/openes"},{"key":"29_CR4","unstructured":"ISO: Functional Safety ISO26262 - Part 4: Product development at the system level 2011, pp. 1\u201335 (2011)"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Kim, H., Wong, W.E., Debroy, V., Bae, D.: Bridging the gap between fault trees and UML state machine diagrams for safety analysis. In: 2010 Asia Pacific Software Engineering Conference, pp. 196\u2013205 (2010)","DOI":"10.1109\/APSEC.2010.31"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Kirchsteiger, C.M., Grinschgl, J., Trummer, C., Steger, C., Wei\u00df, R., Pistauer, M.: Automatic test generation from semi-formal specifications for functional verification of system-on-chip designs. In: 2008 IEEE International Systems Conference Proceedings, SysCon 2008, pp. 421\u2013428 (2008)","DOI":"10.1109\/SYSTEMS.2008.4519044"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Kitchen, N., Kuehlmann, A.: Stimulus generation for constrained random simulation. In: Proceedings of the 2007 IEEE\/ACM International Conference on Computer-Aided Design, Piscataway, NJ, USA, pp. 258\u2013265, November 2007","DOI":"10.1109\/ICCAD.2007.4397275"},{"key":"29_CR8","unstructured":"Mader, R., Armengaud, E., Leitner, A., Kreiner, C., Bourrouilh, Q., Grie\u00dfnig, G., Steger, C., Wei\u00df, R.: Computer Safety, Reliability, and Security. In: 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19\u201322, 2011, pp. 113\u2013127. Springer, Heidelberg (2011). Chap. Computer-A"},{"key":"29_CR9","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-3-319-17581-2_13","volume-title":"Formal Techniques for Safety-Critical Systems","author":"R Marinescu","year":"2015","unstructured":"Marinescu, R., Kaijser, H., Miku\u010dionis, M., Seceleanu, C., L\u00f6nn, H., David, A.: Analyzing industrial architectural models by simulation and model-checking. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2014. CCIS, vol. 476, pp. 189\u2013205. Springer, Heidelberg (2015)"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Mhenni, F., Nguyen, N.: Automatic fault tree generation from SysML system models. In: 2014 IEEE\/ASME International Conference on Advanced Intelligent Mechatronics (AIM), Besancon, France (2014)","DOI":"10.1109\/AIM.2014.6878163"},{"key":"29_CR11","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-642-15234-4_5","volume-title":"Distributed, Parallel and Biologically Inspired Systems","author":"S Taha","year":"2010","unstructured":"Taha, S., Radermacher, A., G\u00e9rard, S.: An entirely model-based framework for hardware design and simulation. In: Hinchey, M., Kleinjohann, B., Kleinjohann, L., Lindsay, P.A., Rammig, F.J., Timmis, J., Wolf, M. (eds.) DIPES 2010. IFIP AICT, vol. 329, pp. 31\u201342. Springer, Heidelberg (2010)"},{"key":"29_CR12","unstructured":"Weissnegger, R., Kreiner, C., Pistauer, M., R\u00f6mer, K., Steger, C.: A novel design method for automotive safety-critical systems based on UML\/MARTE. In: Proceedings of the 2015 Forum on Specification & Design Languages, Barcelona, Spain, pp. 177\u2013184 (2015)"},{"key":"29_CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.procs.2016.04.122","volume":"83","author":"R Weissnegger","year":"2016","unstructured":"Weissnegger, R., Schuss, M., Kreiner, C., Pistauer, M., R\u00f6mer, K., Steger, C.: Simulation-based verification of automotive safety-critical systems based on EAST-ADL. Procedia Comput. Sci. 83, 245\u2013252 (2016)","journal-title":"Procedia Comput. Sci."},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Weissnegger, R., Schu\u00df, M., Schachner, M., Pistauer, M., R\u00f6mer, K., Steger, C.: A novel simulation-based verification pattern for parallel executions in the cloud. In: 21st European Conference on Pattern Languages of Programs Proceedings (2016)","DOI":"10.1145\/3011784.3011806"}],"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-319-45480-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:53:14Z","timestamp":1498341194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45480-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454795","9783319454801"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45480-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}