{"id":"https://openalex.org/W2061351207","doi":"https://doi.org/10.1109/sies.2010.5551393","title":"A design flow for critical embedded systems","display_name":"A design flow for critical embedded systems","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2061351207","doi":"https://doi.org/10.1109/sies.2010.5551393","mag":"2061351207"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2010.5551393","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2010.5551393","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Industrial Embedded System (SIES)","raw_type":"proceedings-article"},"type":"preprint","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/A5030025173","display_name":"Vincent Lefftz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210138883","display_name":"European Aquaculture Society","ror":"https://ror.org/03rsjpm20","country_code":"BE","type":"other","lineage":["https://openalex.org/I4210138883"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Vincent Lefftz","raw_affiliation_strings":["Astrium, Toulouse, France","EADS Astrium SAS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Astrium, Toulouse, France","institution_ids":[]},{"raw_affiliation_string":"EADS Astrium SAS","institution_ids":["https://openalex.org/I4210138883"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111867960","display_name":"J Bertrand","orcid":null},"institutions":[{"id":"https://openalex.org/I2799535048","display_name":"Centre National d'\u00c9tudes Spatiales","ror":"https://ror.org/04h1h0y33","country_code":"FR","type":"government","lineage":["https://openalex.org/I2799535048"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean Bertrand","raw_affiliation_strings":["CNES, Toulouse, France","Centre National d'\u00c9tudes Spatiales [Toulouse]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNES, Toulouse, France","institution_ids":["https://openalex.org/I2799535048"]},{"raw_affiliation_string":"Centre National d'\u00c9tudes Spatiales [Toulouse]","institution_ids":["https://openalex.org/I2799535048"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006018472","display_name":"Hugues Cass\u00e9","orcid":"https://orcid.org/0000-0002-9298-5235"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hugues Casse","raw_affiliation_strings":["I. R. I. T., Toulouse, France","Groupe de Recherche en Architecture et Compilation pour les syst\u00e8mes embarqu\u00e9s"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I. R. I. T., Toulouse, France","institution_ids":[]},{"raw_affiliation_string":"Groupe de Recherche en Architecture et Compilation pour les syst\u00e8mes embarqu\u00e9s","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077285695","display_name":"Christophe Clienti","orcid":null},"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/I4210120156","display_name":"Laboratoire Albert Fert","ror":"https://ror.org/02erddr56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210120156","https://openalex.org/I4210140930"]},{"id":"https://openalex.org/I4210140930","display_name":"Thales (France)","ror":"https://ror.org/04emwm605","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210140930"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Clienti","raw_affiliation_strings":["Thales R and T, Palaiseau, France","Unit\u00e9 mixte de physique CNRS/Thales"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Thales R and T, Palaiseau, France","institution_ids":["https://openalex.org/I4210140930"]},{"raw_affiliation_string":"Unit\u00e9 mixte de physique CNRS/Thales","institution_ids":["https://openalex.org/I4210120156","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004215191","display_name":"Philippe Coussy","orcid":"https://orcid.org/0000-0002-7222-5271"},"institutions":[{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Coussy","raw_affiliation_strings":["Lab-STICC, Lorient, France","Lab-STICC_UBS_CACS_MOCS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab-STICC, Lorient, France","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702"]},{"raw_affiliation_string":"Lab-STICC_UBS_CACS_MOCS","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031519437","display_name":"Laurent Maillet-Contoz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104693","display_name":"STMicroelectronics (France)","ror":"https://ror.org/01c74sd89","country_code":"FR","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210104693"]},{"id":"https://openalex.org/I4210124177","display_name":"STMicroelectronics (Czechia)","ror":"https://ror.org/03c7ss521","country_code":"CZ","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210124177"]}],"countries":["CZ","FR"],"is_corresponding":false,"raw_author_name":"Laurent Maillet-Contoz","raw_affiliation_strings":["STMicroelectronics, Grenoble, France","STMicroelectronics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"STMicroelectronics, Grenoble, France","institution_ids":["https://openalex.org/I4210104693"]},{"raw_affiliation_string":"STMicroelectronics","institution_ids":["https://openalex.org/I4210124177"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Phili Mercier","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128919","display_name":"\u00c9tablissement Fran\u00e7ais du Sang","ror":"https://ror.org/037hby126","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210128919"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Phili Mercier","raw_affiliation_strings":["PSI, Grenoble, France","Etablissement Fran\u00e7ais du Sang - Alpes-M\u00e9diterran\u00e9e"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PSI, Grenoble, France","institution_ids":[]},{"raw_affiliation_string":"Etablissement Fran\u00e7ais du Sang - Alpes-M\u00e9diterran\u00e9e","institution_ids":["https://openalex.org/I4210128919"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069789840","display_name":"Pierre Moreau","orcid":"https://orcid.org/0000-0002-3604-721X"},"institutions":[{"id":"https://openalex.org/I112991645","display_name":"Airbus (France)","ror":"https://ror.org/023qdcg29","country_code":"FR","type":"company","lineage":["https://openalex.org/I112991645","https://openalex.org/I4210121748"]},{"id":"https://openalex.org/I4210091049","display_name":"Institut des Mat\u00e9riaux Jean Rouxel","ror":"https://ror.org/00cqpd580","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091049","https://openalex.org/I4210128300","https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Moreau","raw_affiliation_strings":["Airbus, Toulouse, France","Institut des Mat\u00e9riaux Jean Rouxel","Airbus [France]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Airbus, Toulouse, France","institution_ids":["https://openalex.org/I112991645"]},{"raw_affiliation_string":"Institut des Mat\u00e9riaux Jean Rouxel","institution_ids":["https://openalex.org/I4210091049"]},{"raw_affiliation_string":"Airbus [France]","institution_ids":["https://openalex.org/I112991645"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005395622","display_name":"Laurence Pierre","orcid":null},"institutions":[{"id":"https://openalex.org/I4210087012","display_name":"Techniques of Informatics and Microelectronics for Integrated Systems Architecture","ror":"https://ror.org/000063q30","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210087012","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurence Pierre","raw_affiliation_strings":["TIMA Laboratory, Grenoble, France","Techniques de l'Informatique et de la Micro\u00e9lectronique pour l'Architecture des syst\u00e8mes int\u00e9gr\u00e9s"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TIMA Laboratory, Grenoble, France","institution_ids":["https://openalex.org/I4210087012"]},{"raw_affiliation_string":"Techniques de l'Informatique et de la Micro\u00e9lectronique pour l'Architecture des syst\u00e8mes int\u00e9gr\u00e9s","institution_ids":["https://openalex.org/I4210087012"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055274773","display_name":"Emmanuel Vaumorin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210107758","display_name":"Magillem Design Services","ror":"https://ror.org/01qn49q19","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210107758"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Emmanuel Vaumorin","raw_affiliation_strings":["Magillem, Paris, France","Magillem europe"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Magillem, Paris, France","institution_ids":["https://openalex.org/I4210107758"]},{"raw_affiliation_string":"Magillem europe","institution_ids":["https://openalex.org/I4210107758"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":10,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7593,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.7323852,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"229","last_page":"233"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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.9986000061035156,"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/T10933","display_name":"Real-Time Systems Scheduling","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.6219843029975891},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.5929470062255859},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5729974508285522},{"id":"https://openalex.org/keywords/work-flow","display_name":"Work flow","score":0.560076892375946},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5434302687644958},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5007457733154297},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.4101145267486572},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32972127199172974},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2147177755832672},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2056979238986969},{"id":"https://openalex.org/keywords/industrial-engineering","display_name":"Industrial engineering","score":0.10741552710533142},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07703462243080139}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6219843029975891},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.5929470062255859},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5729974508285522},{"id":"https://openalex.org/C2985179714","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Work flow","level":2,"score":0.560076892375946},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5434302687644958},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5007457733154297},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.4101145267486572},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32972127199172974},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2147177755832672},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2056979238986969},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.10741552710533142},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07703462243080139},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/sies.2010.5551393","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2010.5551393","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Industrial Embedded System (SIES)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-00517392v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00517392","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":"https://ieeexplore.ieee.org/document/5551393","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1509229256","https://openalex.org/W1604677972","https://openalex.org/W1968938035","https://openalex.org/W1975058884","https://openalex.org/W1991424227","https://openalex.org/W2029907400","https://openalex.org/W2138874875","https://openalex.org/W2146142440","https://openalex.org/W2148740615","https://openalex.org/W2481725867","https://openalex.org/W2482246557","https://openalex.org/W2739740987","https://openalex.org/W3097096317","https://openalex.org/W4254116315","https://openalex.org/W6642555997","https://openalex.org/W6643890331","https://openalex.org/W6658150467","https://openalex.org/W6680180208"],"related_works":["https://openalex.org/W2066052364","https://openalex.org/W2023743128","https://openalex.org/W4243365217","https://openalex.org/W2224296908","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113","https://openalex.org/W1546540582","https://openalex.org/W2085438391","https://openalex.org/W2168598219"],"abstract_inverted_index":{"The":[0],"SoCKET":[1],"project":[2],"(SoC":[3],"<sup":[4,12],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[5,13],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sup>":[6],"toolKit":[7],"for":[8,27],"critical":[9,28],"Embedded":[10],"sysTems)":[11],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">2</sup>":[14],"gathers":[15],"industrial":[16,73],"and":[17,44,53,63,67],"academic":[18],"partners":[19],"to":[20,50,54,72],"address":[21],"the":[22,34,47,64],"issue":[23],"of":[24,36],"design":[25,39,61],"methodologies":[26],"embedded":[29],"systems.":[30],"They":[31],"work":[32],"towards":[33],"definition":[35],"a":[37,60],"\u201cseamless\u201d":[38],"flow":[40,62],"which":[41],"integrates":[42],"qualification":[43],"certification,":[45],"from":[46],"system":[48],"level":[49],"integrated":[51],"circuits":[52],"software.":[55],"This":[56],"paper":[57],"sketches":[58],"such":[59],"associated":[65],"methodologies,":[66],"briefly":[68],"describes":[69],"its":[70],"application":[71],"case":[74],"studies.":[75]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-20T22:02:38.213706","created_date":"2025-10-10T00:00:00"}