{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T11:03:12Z","timestamp":1649070192808},"reference-count":18,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.272.7","type":"journal-article","created":{"date-parts":[[2018,6,25]],"date-time":"2018-06-25T08:47:06Z","timestamp":1529916426000},"page":"79-92","source":"Crossref","is-referenced-by-count":1,"title":["Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine"],"prefix":"10.4204","volume":"272","author":[{"given":"Fotios","family":"Gioulekas","sequence":"first","affiliation":[{"name":"Aristotle University of Thessaloniki"}]},{"given":"Peter","family":"Poplavko","sequence":"additional","affiliation":[{"name":"Mentor. A Siemens Business"}]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[{"name":"Aristotle University of Thessaloniki"}]},{"given":"Pedro","family":"Palomo","sequence":"additional","affiliation":[{"name":"Deimos-Space S.L.U."}]}],"member":"2720","published-online":{"date-parts":[[2018,6,25]]},"reference":[{"key":"litRTBIP","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/1879021.1879052","article-title":"Model-based implementation of real-time applications","volume-title":"EMSOFT '10","author":"Abdellatif","year":"2010"},{"key":"BRAU20181","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2017.12.007","article-title":"Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems","volume":"156","author":"Brau","year":"2018","journal-title":"Science of Computer Programming"},{"issue":"1","key":"1173203","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","article-title":"Taming heterogeneity - the Ptolemy approach","volume":"91","author":"Eker","year":"2003","journal-title":"Proceedings of the IEEE"},{"key":"SEFM17","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-319-66197-1_28","article-title":"Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)","volume-title":"Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings","author":"Gioulekas","year":"2017"},{"key":"FASE-18","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-319-89363-1_6","article-title":"A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism","volume-title":"Fundamental Approaches to Software Engineering","author":"Gioulekas","year":"2018"},{"issue":"3","key":"Ha:2008","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255461","article-title":"PeaCE: A Hardware-software Codesign Environment for Multimedia Embedded Systems","volume":"12","author":"Ha","year":"2008","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"Halbwachs:2010","volume-title":"Synchronous Programming of Reactive Systems","author":"Halbwachs","year":"2010"},{"key":"Hal99","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46674-6_1","article-title":"Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing","volume-title":"Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings","author":"Halbwachs","year":"1999"},{"issue":"4","key":"Hugues:2008","doi-asserted-by":"publisher","DOI":"10.1145\/1376804.1376810","article-title":"From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite","volume":"7","author":"Hugues","year":"2008","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"6864027","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/ISOCC.2013.6864027","article-title":"A multicore approach to model-based analysis and design of Cyber-Physical Systems","volume-title":"2013 International SoC Design Conference (ISOCC)","author":"Kanduri","year":"2013"},{"key":"Nouri2018","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-018-0314-9","article-title":"Maximal software execution time: a regression-based approach","author":"Nouri","year":"2018","journal-title":"Innovations in Systems and Software Engineering"},{"key":"Perrotin2012","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-25264-8_4","article-title":"TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future","volume-title":"SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers","author":"Perrotin","year":"2012"},{"key":"litISOLA","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/978-3-319-47166-2_42","article-title":"Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I","author":"Poplavko","year":"2016"},{"key":"PopNAZBK17","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-319-66176-6_4","article-title":"Regression-Based Statistical Bounds on Software Execution Time","volume-title":"Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings","author":"Poplavko","year":"2017"},{"key":"litDatePaper","doi-asserted-by":"publisher","first-page":"1665","DOI":"10.7873\/DATE.2015.0302","article-title":"Models for deterministic execution of real-time multiprocessor applications","volume-title":"2015 Design, Automation Test in Europe Conference Exhibition (DATE)","author":"Poplavko","year":"2015"},{"key":"Radojevic:2011","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1594-3","volume-title":"Embedded Systems Design Based on Formal Models of Computation","author":"Radojevic","year":"2011"},{"key":"1695922","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/MEMCOD.2006.1695922","article-title":"Efficient code generation from synchronous programs","volume-title":"Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.","author":"Schneider","year":"2006"},{"issue":"4","key":"EDA-034","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1561\/1000000034","article-title":"Rigorous System Design","volume":"6","author":"Sifakis","year":"2013","journal-title":"Foundations and Trends\u00ac\u00c6 in Electronic Design Automation"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T05:05:39Z","timestamp":1574226339000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1806.09850v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,25]]},"references-count":18,"URL":"https:\/\/doi.org\/10.4204\/eptcs.272.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,25]]}}}