{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:54:20Z","timestamp":1743029660314,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661759"},{"type":"electronic","value":"9783319661766"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66176-6_12","type":"book-chapter","created":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T00:13:02Z","timestamp":1502669582000},"page":"171-188","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","author":[{"given":"Hela","family":"Guesmi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"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":"Le Nabec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,15]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Abdellatif, T.: Rigourous Implementation of real-time Systems. Ph.D. thesis, UJF (2012)","DOI":"10.1109\/SEAA.2011.19"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications, pp. 229\u2013238, May 2010","DOI":"10.1145\/1879021.1879052"},{"issue":"2","key":"12_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, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR4","unstructured":"Aussagues, C., Chabrol, D., David, V., Roux, D., Willey, N., Tournadre, A., Graniou, M.: 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) (2010)"},{"issue":"9","key":"12_CR5","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1109\/32.31364","volume":"15","author":"R Bagrodia","year":"1989","unstructured":"Bagrodia, R.: Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans. Softw. Eng. 15(9), 1053\u20131065 (1989)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR6","unstructured":"Hedia, B.B., Hamelin, E.: Projet openprod rapport r4.28: Model to embedded real-time transformation. Technical report (2012)"},{"key":"12_CR7","unstructured":"Boulanger, J.-L., Fornari, F.-X., Camus, J.-L., Dion, B.: Language and applications. Scade: Language and applications (2015)"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1109\/TII.2010.2069102","volume":"6","author":"M Bozga","year":"2010","unstructured":"Bozga, M., Jaber, M., Sifakis, J.: Source-to-source architecture transformation for performance optimization in BIP. IEEE Trans. Industr. Inf. 6(4), 708\u2013718 (2010)","journal-title":"IEEE Trans. Industr. Inf."},{"issue":"4","key":"12_CR9","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"KM Chandy","year":"1984","unstructured":"Chandy, K.M., Misra, J.: The drinking philosophers problem. ACM Trans. Program. Lang. Syst. (TOPLAS) 6(4), 632\u2013646 (1984)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"12_CR10","unstructured":"Elmqvist, H., Mattsson, S.E.: An introduction to the physical modeling language modelica. In: Proceedings of the 9th European Simulation Symposium, ESS, vol. 97, pp. 19\u201323. Citeseer (1997)"},{"key":"12_CR11","unstructured":"Guesmi, H., Hedia, B.B., Bliudze, S., Bensalem, S., Combaz, J.: Towards time-triggered component-based system models. In: ICSEA 2015, Barcelone, Spain, ThinkMind, pp. 157\u2013169, November 2015"},{"key":"12_CR12","unstructured":"Jaber, M.: 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, October 2010"},{"key":"12_CR13","unstructured":"Kaiser, R., Wagner, S.: Evolution of the pikeos microkernel. In: Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, pp. 50\u201357 (2007)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kopetz, H.: The time-triggered approach to real-time system design. In: Randell, B., et al. (eds.) Predictably Dependable Computing Systems. Springer, Luxembourg (1995)","DOI":"10.1007\/978-3-642-79789-7_4"},{"key":"12_CR15","unstructured":"Quilbeuf, J.: Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions. Application to the BIP Framework. Ph.D. thesis, Universit\u00e9 de Grenoble (2013)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Triki, A.: Distributed Implementations of Timed Component-based Systems. Ph.D. thesis, Grenoble Alpes (2015)","DOI":"10.1109\/MEMCOD.2015.7340464"}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66176-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:29:54Z","timestamp":1558319394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66176-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661759","9783319661766"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66176-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"15 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VECoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification and Evaluation of Computer and Communication Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Montreal","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 August 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vecos2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/vecos.ensta-paristech.fr\/2017\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}