{"id":"https://openalex.org/W2808291123","doi":"https://doi.org/10.1007/s11334-018-0312-y","title":"TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm","display_name":"TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm","publication_year":2018,"publication_date":"2018-06-01","ids":{"openalex":"https://openalex.org/W2808291123","doi":"https://doi.org/10.1007/s11334-018-0312-y","mag":"2808291123"},"language":"en","primary_location":{"id":"doi:10.1007/s11334-018-0312-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11334-018-0312-y","pdf_url":null,"source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016884954","display_name":"Hela Guesmi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210087624","display_name":"Etas (Germany)","ror":"https://ror.org/0039w6753","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210087624"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hela Guesmi","raw_affiliation_strings":["ETAS GmbH, Borsigstrasse 24, 70469, Stuttgart, Germany","ETAS GmbH, Stuttgart, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETAS GmbH, Borsigstrasse 24, 70469, Stuttgart, Germany","institution_ids":["https://openalex.org/I4210087624"]},{"raw_affiliation_string":"ETAS GmbH, Stuttgart, Germany","institution_ids":["https://openalex.org/I4210087624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089849259","display_name":"Belgacem Ben H\u00e9dia","orcid":"https://orcid.org/0000-0003-1367-8542"},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Belgacem Ben Hedia","raw_affiliation_strings":["CEA-LIST, PC 172, 91191, Gif-sur-Yvette, France","CEA-LIST, Gif-sur-Yvette, France"],"raw_orcid":"https://orcid.org/0000-0003-1367-8542","affiliations":[{"raw_affiliation_string":"CEA-LIST, PC 172, 91191, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]},{"raw_affiliation_string":"CEA-LIST, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030465732","display_name":"Simon Bliudze","orcid":"https://orcid.org/0000-0002-7900-5271"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210138412","display_name":"Centre Inria de l'Universit\u00e9 de Lille","ror":"https://ror.org/04eej9726","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Simon Bliudze","raw_affiliation_strings":["INRIA Lille \u2013 Nord Europe, Parc scientifique de la Haute Borne, 40 Avenue Halley, 59650, Villeneuve d\u2019Ascq, France","INRIA Lille \u2013 Nord Europe, Parc scientifique de la Haute Borne, Villeneuve d\u2019Ascq, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA Lille \u2013 Nord Europe, Parc scientifique de la Haute Borne, 40 Avenue Halley, 59650, Villeneuve d\u2019Ascq, France","institution_ids":["https://openalex.org/I4210138412"]},{"raw_affiliation_string":"INRIA Lille \u2013 Nord Europe, Parc scientifique de la Haute Borne, Villeneuve d\u2019Ascq, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109183304","display_name":"Saddek Bensalem","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Saddek Bensalem","raw_affiliation_strings":["Verimag, University of Grenoble Alpes, IMAG Building, 700, avenue centrale, 38401, Saint Martin d\u2019H\u00e8res, France","Verimag, University of Grenoble Alpes, Saint Martin d\u2019H\u00e8res, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Verimag, University of Grenoble Alpes, IMAG Building, 700, avenue centrale, 38401, Saint Martin d\u2019H\u00e8res, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Verimag, University of Grenoble Alpes, Saint Martin d\u2019H\u00e8res, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066581733","display_name":"Briag Lenabec","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Briag Lenabec","raw_affiliation_strings":["CEA-LIST, PC 172, 91191, Gif-sur-Yvette, France","CEA-LIST, Gif-sur-Yvette, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEA-LIST, PC 172, 91191, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]},{"raw_affiliation_string":"CEA-LIST, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5089849259"],"corresponding_institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10153983,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"2","first_page":"117","last_page":"142"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7918896079063416},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.6643389463424683},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6192050576210022},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5543842315673828},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5060135722160339},{"id":"https://openalex.org/keywords/models-of-communication","display_name":"Models of communication","score":0.4699772894382477},{"id":"https://openalex.org/keywords/synchronizing","display_name":"Synchronizing","score":0.4528067111968994},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.44919514656066895},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4389322102069855},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4337252080440521},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.4283865988254547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41223642230033875},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3850117325782776},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.30365318059921265},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19053256511688232},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.1343352198600769}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7918896079063416},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.6643389463424683},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6192050576210022},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5543842315673828},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5060135722160339},{"id":"https://openalex.org/C158156997","wikidata":"https://www.wikidata.org/wiki/Q1416645","display_name":"Models of communication","level":2,"score":0.4699772894382477},{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.4528067111968994},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.44919514656066895},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4389322102069855},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4337252080440521},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.4283865988254547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41223642230033875},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3850117325782776},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.30365318059921265},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19053256511688232},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.1343352198600769},{"id":"https://openalex.org/C46312422","wikidata":"https://www.wikidata.org/wiki/Q11024","display_name":"Communication","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11334-018-0312-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11334-018-0312-y","pdf_url":null,"source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01823749v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01823749","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Innovations in Systems and Software Engineering, 2018, 14 (2), pp.117 - 142. ⟨10.1007/s11334-018-0312-y⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W68215332","https://openalex.org/W188358383","https://openalex.org/W641543466","https://openalex.org/W1503973138","https://openalex.org/W1542103747","https://openalex.org/W1879913593","https://openalex.org/W1985091167","https://openalex.org/W2069587123","https://openalex.org/W2076997912","https://openalex.org/W2098436411","https://openalex.org/W2101508170","https://openalex.org/W2116617711","https://openalex.org/W2182246514","https://openalex.org/W2341428691","https://openalex.org/W2344524767"],"related_works":["https://openalex.org/W4200566105","https://openalex.org/W2148591238","https://openalex.org/W2165548140","https://openalex.org/W46420051","https://openalex.org/W3143695185","https://openalex.org/W2766863610","https://openalex.org/W2511665627","https://openalex.org/W3201201652","https://openalex.org/W2141743375","https://openalex.org/W2257936197"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2025-10-10T00:00:00"}