{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:47:57Z","timestamp":1740142077691,"version":"3.37.3"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s11334-018-0312-y","type":"journal-article","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T01:22:17Z","timestamp":1529025737000},"page":"117-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm"],"prefix":"10.1007","volume":"14","author":[{"given":"Hela","family":"Guesmi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1367-8542","authenticated-orcid":false,"given":"Belgacem","family":"Ben Hedia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Bliudze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Briag","family":"Lenabec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,15]]},"reference":[{"key":"312_CR1","doi-asserted-by":"crossref","unstructured":"Abdellatif T (2012) Rigourous implementation of real-time systems. Ph.D. thesis, UJF","DOI":"10.1109\/SEAA.2011.19"},{"key":"312_CR2","doi-asserted-by":"crossref","unstructured":"Abdellatif T, Combaz J, Sifakis J (2010) Model-based implementation of real-time applications, pp 229\u2013238","DOI":"10.1145\/1879021.1879052"},{"issue":"2","key":"312_CR3","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 DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"312_CR4","unstructured":"Aussagues C, Chabrol D, David V, Roux D, Willey N, Tournadre A, Graniou M (2010) Pharos, a multicore os ready for safety-related automotive systems: results and future prospects. In: Proceedings of the embedded real-time software and systems (ERTS2)"},{"issue":"9","key":"312_CR5","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1109\/32.31364","volume":"15","author":"R Bagrodia","year":"1989","unstructured":"Bagrodia R (1989) Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans Softw Eng 15(9):1053\u20131065","journal-title":"IEEE Trans Softw Eng"},{"key":"312_CR6","unstructured":"Ben\u00a0Hedia B, Hamelin E (2012) Projet openprod rapport r4.28: model to embedded real-time transformation. Tech Rep"},{"key":"312_CR7","volume-title":"SCADE: language and applications","author":"JL Boulanger","year":"2015","unstructured":"Boulanger JL, Fornari FX, Camus JL, Dion B (2015) SCADE: language and applications. Wiley-IEEE Press, New York"},{"issue":"4","key":"312_CR8","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"KM Chandy","year":"1984","unstructured":"Chandy KM, Misra J (1984) The drinking philosophers problem. ACM Trans Program Lang Syst (TOPLAS) 6(4):632\u2013646","journal-title":"ACM Trans Program Lang Syst (TOPLAS)"},{"key":"312_CR9","unstructured":"Elmqvist H, Mattsson SE (1997) An introduction to the physical modeling language modelica. In: Proceedings of the 9th European simulation symposium, ESS, vol \u00a097. Citeseer, pp 19\u201323"},{"key":"312_CR10","unstructured":"Jaber M (2010) Centralized and distributed implementations of correct-by-construction component-based systems by using source-to-source transformations in BIP. Theses, Universit\u00e9 Joseph-Fourier-Grenoble I. \n                    https:\/\/tel.archives-ouvertes.fr\/tel-00531082\n                    \n                  . Accessed 11 June 2018"},{"key":"312_CR11","unstructured":"Kaiser R, Wagner S (2007) Evolution of the PikeOS microkernel. In: Proceedings of the 1st international workshop on microkernels for embedded systems, pp 50\u201357"},{"key":"312_CR12","doi-asserted-by":"crossref","unstructured":"Kopetz H (1995) The time-triggered approach to real-time system design. In: Predictably dependable computing systems, Springer","DOI":"10.1007\/978-3-642-79789-7_4"},{"key":"312_CR13","volume-title":"Communication and concurrency","author":"R Milner","year":"1995","unstructured":"Milner R (1995) Communication and concurrency. Prentice Hall International (UK) Ltd, Hertfordshire"},{"key":"312_CR14","unstructured":"Quilbeuf J (2013) Distributed implementations of component-based systems with prioritized multiparty interactions. Application to the BIP framework. Ph.D. thesis, Universit\u00e9 de Grenoble"},{"key":"312_CR15","doi-asserted-by":"crossref","unstructured":"Triki A (2015) Distributed implementations of timed component-based systems. Ph.D. thesis, Grenoble Alpes","DOI":"10.1109\/MEMCOD.2015.7340464"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-018-0312-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-018-0312-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-018-0312-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T19:15:45Z","timestamp":1560539745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-018-0312-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["312"],"URL":"https:\/\/doi.org\/10.1007\/s11334-018-0312-y","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2018,6]]},"assertion":[{"value":"13 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 April 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}