{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:55:29Z","timestamp":1725602129416},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244308"},{"type":"electronic","value":"9783642244315"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24431-5_12","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T22:29:46Z","timestamp":1314138586000},"page":"149-164","source":"Crossref","is-referenced-by-count":4,"title":["An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models"],"prefix":"10.1007","author":[{"given":"Matthias","family":"B\u00fcker","sequence":"first","affiliation":[]},{"given":"Werner","family":"Damm","sequence":"additional","affiliation":[]},{"given":"G\u00fcnter","family":"Ehmen","sequence":"additional","affiliation":[]},{"given":"Ingo","family":"Stierand","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci.\u00a0126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR2","unstructured":"Bao, J., Battram, P., Enkelmann, A., Gabel, A., Heyen, J., Koepke, T., L\u00e4sche, C., Sieverding, S.: Projektgruppe ViDAs - Endbericht (2010)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"B\u00fcker, M., Damm, W., Ehmen, G., Metzner, A., Stierand, I., Thaden, E.: Automating the design flow for distributed embedded automotive applications: keeping your time promises, and optimizing costs, too. Technical Report\u00a069, SFB\/TR 14 AVACS (2011)","DOI":"10.1109\/SIES.2011.5953658"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"B\u00fcker, M., Metzner, A., Stierand, I.: Testing real-time task networks with functional extensions using model-checking. In: Proc. ETFA (2009)","DOI":"10.1109\/ETFA.2009.5347060"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From simulink to scade\/lustre to tta: a layered approach for distributed embedded applications. In: Proc. ACM SIGPLAN, LCTES (2003)","DOI":"10.1145\/780753.780754"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Di Natale, M., Guo, L., Zeng, H., Sangiovanni-Vincentelli, A.: Synthesis of multitask implementations of simulink models with minimum delays. IEEE Transactions on Industrial Informatics (2010)","DOI":"10.1109\/TII.2010.2072511"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Ferdinand, C.: Worst-case execution time prediction by static program analysis. In: Proc. IPDPS (2004)","DOI":"10.1109\/IPDPS.2004.1303088"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Fiduccia, C.M., Mattheyses, R.M.: A linear-time heuristic for improving network partitions. In: Proc. DAC 1982, pp. 175\u2013181 (1982)","DOI":"10.1145\/800263.809204"},{"key":"12_CR9","unstructured":"Jersak, M., Richter, K., Ernst, R.: Performance Analysis for Complex Embedded Applications. International Journal of Embedded Systems, Special Issue on Codesign for SoC (2004)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Kernighan, B.W., Lin, S.: An efficient heuristic procedure for partitioning graphs. The Bell System Technical Journal\u00a049(1) (1970)","DOI":"10.1002\/j.1538-7305.1970.tb01770.x"},{"key":"12_CR11","unstructured":"Kugele, S., Haberl, W.: Mapping data-flow dependencies onto distributed embedded systems. In: Proc. of SERP 2008 (2008)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Lublinerman, R., Tripakis, S.: Modular code generation from triggered and timed block diagrams. In: IEEE Real-Time and Embedded Technology and Applications Symposium, vol.\u00a00, pp. 147\u2013158 (2008)","DOI":"10.1109\/RTAS.2008.12"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Pouzet, M., Raymond, P.: Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. In: Proc. of EMSOFT (2009)","DOI":"10.1145\/1629335.1629365"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Rox, J., Ernst, R.: Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers. In: Proc. ECRTS (2008)","DOI":"10.1109\/ECRTS.2008.13"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24431-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T05:34:09Z","timestamp":1560490449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24431-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244308","9783642244315"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24431-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}