{"id":"https://openalex.org/W107735206","doi":"https://doi.org/10.1007/978-1-4419-6400-7_3","title":"Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software","display_name":"Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W107735206","doi":"https://doi.org/10.1007/978-1-4419-6400-7_3","mag":"107735206"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-4419-6400-7_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4419-6400-7_3","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthesis of Embedded Software","raw_type":"book-chapter"},"type":"book-chapter","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/A5038601299","display_name":"Alexandre Cortier","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"A. Cortier","raw_affiliation_strings":["IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I4210119061"]},{"raw_affiliation_string":"IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054272105","display_name":"Lo\u00efc Besnard","orcid":null},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"L. Besnard","raw_affiliation_strings":["IRISA-ESPRESSO, campus de Beaulieu., 35042, Rennes Cedex, France","IRISA - Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires (Avenue du g\u00e9n\u00e9ral Leclerc\r\nCampus de Beaulieu \r\n35042 RENNES CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRISA-ESPRESSO, campus de Beaulieu., 35042, Rennes Cedex, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802"]},{"raw_affiliation_string":"IRISA - Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires (Avenue du g\u00e9n\u00e9ral Leclerc\r\nCampus de Beaulieu \r\n35042 RENNES CEDEX - France)","institution_ids":["https://openalex.org/I2802519937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103328636","display_name":"J.-P. Bodeveix","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"J. P. Bodeveix","raw_affiliation_strings":["IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","UT3 - Universit\u00e9 Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I4210119061"]},{"raw_affiliation_string":"IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"UT3 - Universit\u00e9 Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009085720","display_name":"J\u00e9r\u00e9my Buisson","orcid":"https://orcid.org/0000-0001-5127-689X"},"institutions":[{"id":"https://openalex.org/I126425946","display_name":"Universit\u00e9 Europ\u00e9enne de Bretagne","ror":"https://ror.org/033c46s90","country_code":"FR","type":"education","lineage":["https://openalex.org/I126425946"]},{"id":"https://openalex.org/I2802204017","display_name":"Universit\u00e9 de Bretagne Sud","ror":"https://ror.org/04ed7fw48","country_code":"FR","type":"education","lineage":["https://openalex.org/I2802204017"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"J. Buisson","raw_affiliation_strings":["VALORIA, \u00c9coles de St-Cyr Cotquidan, Universit\u00e9 Europ\u00e9enne de Bretagne, 56381, Guer Cedex, France","VALORIA - Laboratoire de recherche en informatique et ses applications (Universit\u00e9 de Bretagne Sud) (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VALORIA, \u00c9coles de St-Cyr Cotquidan, Universit\u00e9 Europ\u00e9enne de Bretagne, 56381, Guer Cedex, France","institution_ids":["https://openalex.org/I126425946"]},{"raw_affiliation_string":"VALORIA - Laboratoire de recherche en informatique et ses applications (Universit\u00e9 de Bretagne Sud) (France)","institution_ids":["https://openalex.org/I2802204017","https://openalex.org/I4210121838"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055909895","display_name":"Fabien Dagnat","orcid":"https://orcid.org/0000-0002-2419-7587"},"institutions":[{"id":"https://openalex.org/I126425946","display_name":"Universit\u00e9 Europ\u00e9enne de Bretagne","ror":"https://ror.org/033c46s90","country_code":"FR","type":"education","lineage":["https://openalex.org/I126425946"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"F. Dagnat","raw_affiliation_strings":["Institut T\u00e9l\u00e9com \u2013 T\u00e9l\u00e9com Bretagne, Universit\u00e9 Europ\u00e9enne de Bretagne, Technopole Brest Iroise, CS83818, 29238, Brest Cedex 3, France","INFO - D\u00e9partement informatique (T\u00e9l\u00e9com Bretagne Technopole Brest Iroise CS 83818 29238 Brest Cedex 3 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut T\u00e9l\u00e9com \u2013 T\u00e9l\u00e9com Bretagne, Universit\u00e9 Europ\u00e9enne de Bretagne, Technopole Brest Iroise, CS83818, 29238, Brest Cedex 3, France","institution_ids":["https://openalex.org/I126425946"]},{"raw_affiliation_string":"INFO - D\u00e9partement informatique (T\u00e9l\u00e9com Bretagne Technopole Brest Iroise CS 83818 29238 Brest Cedex 3 - France)","institution_ids":["https://openalex.org/I4210148559"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068043239","display_name":"Mamoun Filali","orcid":"https://orcid.org/0000-0001-5387-6805"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Filali","raw_affiliation_strings":["IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","CNRS - Centre National de la Recherche Scientifique (France)","IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I4210119061"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109106881","display_name":"G. Garcia","orcid":null},"institutions":[{"id":"https://openalex.org/I1300590480","display_name":"Leonardo (United States)","ror":"https://ror.org/041twcm28","country_code":"US","type":"company","lineage":["https://openalex.org/I1300590480","https://openalex.org/I2802798279"]},{"id":"https://openalex.org/I4400009052","display_name":"Thales Alenia Space (France)","ror":"https://ror.org/05gz77z03","country_code":null,"type":"company","lineage":["https://openalex.org/I2802798279","https://openalex.org/I4210140930","https://openalex.org/I4400009052"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"G. Garcia","raw_affiliation_strings":["Thales Alenia Space, 100 Boulevard Midi, 06150, Cannes, France","TAS - Thales Alenia Space [Toulouse] (26 Avenue J.F. Champollion, F-31037 Toulouse - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Thales Alenia Space, 100 Boulevard Midi, 06150, Cannes, France","institution_ids":["https://openalex.org/I1300590480"]},{"raw_affiliation_string":"TAS - Thales Alenia Space [Toulouse] (26 Avenue J.F. Champollion, F-31037 Toulouse - France)","institution_ids":["https://openalex.org/I4400009052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076155020","display_name":"Julien Ouy","orcid":null},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"J. Ouy","raw_affiliation_strings":["IRISA-ESPRESSO, campus de Beaulieu., 35042, Rennes Cedex, France","IRISA - Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires (Avenue du g\u00e9n\u00e9ral Leclerc\r\nCampus de Beaulieu \r\n35042 RENNES CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRISA-ESPRESSO, campus de Beaulieu., 35042, Rennes Cedex, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802"]},{"raw_affiliation_string":"IRISA - Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires (Avenue du g\u00e9n\u00e9ral Leclerc\r\nCampus de Beaulieu \r\n35042 RENNES CEDEX - France)","institution_ids":["https://openalex.org/I2802519937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018183217","display_name":"Marc Pantel","orcid":"https://orcid.org/0000-0001-7591-0402"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I205747304","display_name":"Institut National Polytechnique de Toulouse","ror":"https://ror.org/033p9g875","country_code":"FR","type":"education","lineage":["https://openalex.org/I205747304"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Pantel","raw_affiliation_strings":["IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","Toulouse INP - Institut National Polytechnique (Toulouse) (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I4210119061"]},{"raw_affiliation_string":"IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"Toulouse INP - Institut National Polytechnique (Toulouse) (France)","institution_ids":["https://openalex.org/I205747304"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042782629","display_name":"Ana-Elena E. Rugina","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094754","display_name":"Animal, Sant\u00e9, Territoires, Risques et Ecosyst\u00e8mes","ror":"https://ror.org/006fhby04","country_code":"FR","type":"facility","lineage":["https://openalex.org/I131077856","https://openalex.org/I19894307","https://openalex.org/I4210088668","https://openalex.org/I4210094754","https://openalex.org/I4210147367"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"A. Rugina","raw_affiliation_strings":["EADS Astrium, 31 rue des Cosmonautes Z.I. du Palays, 31402, Toulouse Cedex 4, France","EADS Astrium (EADS) (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EADS Astrium, 31 rue des Cosmonautes Z.I. du Palays, 31402, Toulouse Cedex 4, France","institution_ids":["https://openalex.org/I4210094754"]},{"raw_affiliation_string":"EADS Astrium (EADS) (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004844102","display_name":"Martin Strecker","orcid":"https://orcid.org/0000-0001-9953-9871"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Strecker","raw_affiliation_strings":["IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIT-ACADIE, Universit\u00e9 de Toulouse, site Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I4210119061"]},{"raw_affiliation_string":"IRIT-ACADIE - Assistance \u00e0 la Certification d\u2019Applications DIstribu\u00e9es et Embarqu\u00e9es (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010968465","display_name":"Jean-Pierre Talpin","orcid":"https://orcid.org/0000-0002-0556-4265"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"J. P. Talpin","raw_affiliation_strings":["INRIA Rennes-Bretagne Atlantique, Rennes CX, 35042, France","IRISA-ESPRESSO, campus de Beaulieu., 35042, Rennes Cedex, France","IRISA - Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires (Avenue du g\u00e9n\u00e9ral Leclerc\r\nCampus de Beaulieu \r\n35042 RENNES CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA Rennes-Bretagne Atlantique, Rennes CX, 35042, France","institution_ids":["https://openalex.org/I4210133778"]},{"raw_affiliation_string":"IRISA-ESPRESSO, campus de Beaulieu., 35042, Rennes Cedex, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802"]},{"raw_affiliation_string":"IRISA - Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires (Avenue du g\u00e9n\u00e9ral Leclerc\r\nCampus de Beaulieu \r\n35042 RENNES CEDEX - France)","institution_ids":["https://openalex.org/I2802519937"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5038601299"],"corresponding_institution_ids":["https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4210160189"],"apc_list":null,"apc_paid":null,"fwci":0.3703,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57701329,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"79","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.996999979019165,"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.7445613145828247},{"id":"https://openalex.org/keywords/stateflow","display_name":"Stateflow","score":0.6756719946861267},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.6256190538406372},{"id":"https://openalex.org/keywords/workbench","display_name":"Workbench","score":0.5755195021629333},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5001809597015381},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47029611468315125},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.461862176656723},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.456958532333374},{"id":"https://openalex.org/keywords/middleware","display_name":"Middleware (distributed applications)","score":0.44587236642837524},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43194639682769775},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.42625653743743896},{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.415283203125},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.41079968214035034},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35013359785079956},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.2712315320968628},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14653342962265015}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7445613145828247},{"id":"https://openalex.org/C2779752788","wikidata":"https://www.wikidata.org/wiki/Q1266659","display_name":"Stateflow","level":3,"score":0.6756719946861267},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.6256190538406372},{"id":"https://openalex.org/C2779145975","wikidata":"https://www.wikidata.org/wiki/Q347690","display_name":"Workbench","level":3,"score":0.5755195021629333},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5001809597015381},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47029611468315125},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.461862176656723},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.456958532333374},{"id":"https://openalex.org/C169468491","wikidata":"https://www.wikidata.org/wiki/Q146923","display_name":"Middleware (distributed applications)","level":2,"score":0.44587236642837524},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43194639682769775},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.42625653743743896},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.415283203125},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.41079968214035034},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35013359785079956},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2712315320968628},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14653342962265015},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-1-4419-6400-7_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4419-6400-7_3","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthesis of Embedded Software","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-02061818v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02061818","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":"Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩","raw_type":"Book sections"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W132643297","https://openalex.org/W194677851","https://openalex.org/W587544283","https://openalex.org/W1495459766","https://openalex.org/W1503337261","https://openalex.org/W1535654799","https://openalex.org/W1939219589","https://openalex.org/W1988907288","https://openalex.org/W1992994837","https://openalex.org/W2008856128","https://openalex.org/W2015455547","https://openalex.org/W2031381504","https://openalex.org/W2049008406","https://openalex.org/W2061146387","https://openalex.org/W2068563976","https://openalex.org/W2092512982","https://openalex.org/W2096910097","https://openalex.org/W2099529102","https://openalex.org/W2125415493","https://openalex.org/W2151043652","https://openalex.org/W2153941971","https://openalex.org/W2164633222","https://openalex.org/W2170909005","https://openalex.org/W2323575380","https://openalex.org/W2541238419","https://openalex.org/W3046487861","https://openalex.org/W3210805902","https://openalex.org/W4231283866","https://openalex.org/W4231881949","https://openalex.org/W7019625826"],"related_works":["https://openalex.org/W2555681296","https://openalex.org/W2389598650","https://openalex.org/W2386565831","https://openalex.org/W787998460","https://openalex.org/W2358153069","https://openalex.org/W2142715983","https://openalex.org/W2210461690","https://openalex.org/W2167049910","https://openalex.org/W3013776785","https://openalex.org/W2099952304"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-10T08:33:47.465468","created_date":"2025-10-10T00:00:00"}