{"id":"https://openalex.org/W2787362676","doi":"https://doi.org/10.1109/tase.2017.8285623","title":"SCADE 6: A formal language for embedded critical software development (invited paper)","display_name":"SCADE 6: A formal language for embedded critical software development (invited paper)","publication_year":2017,"publication_date":"2017-09-01","ids":{"openalex":"https://openalex.org/W2787362676","doi":"https://doi.org/10.1109/tase.2017.8285623","mag":"2787362676"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2017.8285623","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2017.8285623","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5087125599","display_name":"Jean-Louis Cola\u00e7o","orcid":"https://orcid.org/0000-0003-3848-1826"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jean-Louis Colaco","raw_affiliation_strings":["ANSYS/Esterel-Technologies"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ANSYS/Esterel-Technologies","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111833976","display_name":"Bruno Pagano","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bruno Pagano","raw_affiliation_strings":["ANSYS/Esterel-Technologies"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ANSYS/Esterel-Technologies","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050487223","display_name":"Marc Pouzet","orcid":"https://orcid.org/0000-0002-2651-7708"},"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/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Pouzet","raw_affiliation_strings":["UPMC, INRIA, Paris"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UPMC, INRIA, Paris","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I39804081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.3854,"has_fulltext":false,"cited_by_count":66,"citation_normalized_percentile":{"value":0.97343039,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9987000226974487,"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/lustre","display_name":"Lustre (file system)","score":0.9164424538612366},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7863227128982544},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6782946586608887},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5960469841957092},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5018410682678223},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.421954870223999},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20380935072898865},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.1890874207019806},{"id":"https://openalex.org/keywords/file-system","display_name":"File system","score":0.1410617232322693}],"concepts":[{"id":"https://openalex.org/C180699724","wikidata":"https://www.wikidata.org/wiki/Q1877782","display_name":"Lustre (file system)","level":3,"score":0.9164424538612366},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7863227128982544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6782946586608887},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5960469841957092},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5018410682678223},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.421954870223999},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20380935072898865},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.1890874207019806},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.1410617232322693}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2017.8285623","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2017.8285623","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W32272584","https://openalex.org/W583186754","https://openalex.org/W961826975","https://openalex.org/W1514057953","https://openalex.org/W1516950430","https://openalex.org/W1548666647","https://openalex.org/W1551043895","https://openalex.org/W1552921094","https://openalex.org/W1580085173","https://openalex.org/W1663179985","https://openalex.org/W1970991948","https://openalex.org/W2005976511","https://openalex.org/W2010945517","https://openalex.org/W2039017160","https://openalex.org/W2039310738","https://openalex.org/W2042920590","https://openalex.org/W2055295051","https://openalex.org/W2058255562","https://openalex.org/W2059895047","https://openalex.org/W2076668269","https://openalex.org/W2081938726","https://openalex.org/W2099529102","https://openalex.org/W2100044916","https://openalex.org/W2107605224","https://openalex.org/W2117120804","https://openalex.org/W2118165464","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2148662736","https://openalex.org/W2156993372","https://openalex.org/W2166822586","https://openalex.org/W2527848008","https://openalex.org/W2547742944","https://openalex.org/W2609686781","https://openalex.org/W3011852893","https://openalex.org/W3172354714","https://openalex.org/W3210805902","https://openalex.org/W4248674022","https://openalex.org/W4285719527","https://openalex.org/W6601334457","https://openalex.org/W6637169376","https://openalex.org/W6729050131","https://openalex.org/W6803990294"],"related_works":["https://openalex.org/W2192862863","https://openalex.org/W1497385637","https://openalex.org/W2467097043","https://openalex.org/W2091716239","https://openalex.org/W2086733238","https://openalex.org/W283806354","https://openalex.org/W2519339279","https://openalex.org/W2044422526","https://openalex.org/W2369288331","https://openalex.org/W53584863"],"abstract_inverted_index":{"SCADE":[0,33,138],"is":[1,96],"a":[2,56,69,82],"high-level":[3],"language":[4,40,89,95,150,178],"and":[5,31,45,65,111,113,115,152,180,183],"environment":[6],"for":[7,17,59,77,121],"developing":[8],"safety-critical":[9,78],"embedded":[10],"control":[11,106],"software.":[12],"It":[13],"has":[14],"been":[15],"used":[16],"more":[18],"than":[19],"twenty":[20],"years":[21],"in":[22,127,172],"various":[23],"application":[24],"domains":[25],"like":[26],"avionics,":[27],"nuclear":[28],"plants,":[29],"transportation,":[30],"automotive.":[32],"was":[34,52,92],"founded":[35],"on":[36,86,158],"the":[37,48,63,74,87,101,131,169,176,185,191],"synchronous":[38],"data-flow":[39,103],"Lustre":[41,60,102],"invented":[42],"by":[43],"Caspi":[44],"Halbwachs.":[46],"In":[47,80,164],"early":[49],"years,":[50],"it":[51],"mainly":[53],"seen":[54],"as":[55],"graphical":[57],"notation":[58],"but":[61],"with":[62,105,130],"unique":[64],"key":[66],"addition":[67],"of":[68,100,140,148],"code":[70,133],"generator":[71,134],"qualified":[72,132],"to":[73,162,189],"highest":[75],"standards":[76],"applications.":[79,141],"2008,":[81],"major":[83],"revision":[84],"based":[85],"new":[88],"`Scade":[90,159],"6'":[91,160],"released.":[93],"This":[94,125],"an":[97],"original":[98],"combination":[99],"style":[104],"structures":[107],"borrowed":[108],"from":[109,118],"Esterel":[110],"SyncCharts,":[112],"compilation":[114],"static":[116,181],"analyses":[117],"Lucid":[119],"Synchrone":[120],"ensuring":[122],"safety":[123],"properties.":[124],"increase":[126],"expressiveness":[128],"together":[129],"have":[135,145],"dramatically":[136],"widened":[137],"scope":[139],"While":[142],"previous":[143],"publications":[144],"described":[146],"some":[147],"its":[149,173],"constructs":[151],"compiler":[153,186],"algorithms,":[154],"no":[155],"reference":[156],"publication":[157],"exists":[161],"date.":[163],"this":[165],"paper,":[166],"we":[167],"recall":[168],"decisions":[170],"made":[171],"design,":[174],"illustrate":[175],"main":[177],"features":[179],"analyses,":[182],"describe":[184],"organization":[187],"developed":[188],"satisfy":[190],"qualification":[192],"process.":[193]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":5}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}