{"id":"https://openalex.org/W2757225717","doi":"https://doi.org/10.1145/3126516","title":"A Synchronous Look at the Simulink Standard Library","display_name":"A Synchronous Look at the Simulink Standard Library","publication_year":2017,"publication_date":"2017-09-27","ids":{"openalex":"https://openalex.org/W2757225717","doi":"https://doi.org/10.1145/3126516","mag":"2757225717"},"language":"en","primary_location":{"id":"doi:10.1145/3126516","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3126516","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","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/A5013333702","display_name":"Timothy Bourke","orcid":"https://orcid.org/0000-0003-0601-4182"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Timothy Bourke","raw_affiliation_strings":["INRIA Paris and \u00c9cole normale sup\u00e9rieure, Paris, France"],"affiliations":[{"raw_affiliation_string":"INRIA Paris and \u00c9cole normale sup\u00e9rieure, Paris, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033923716","display_name":"Fran\u00e7ois Carcenac","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Francois Carcenac","raw_affiliation_strings":["INRIA Paris and \u00c9cole normale sup\u00e9rieure, Paris, France"],"affiliations":[{"raw_affiliation_string":"INRIA Paris and \u00c9cole normale sup\u00e9rieure, Paris, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087125599","display_name":"Jean-Louis Cola\u00e7o","orcid":"https://orcid.org/0000-0003-3848-1826"},"institutions":[{"id":"https://openalex.org/I4210138969","display_name":"Ansys (France)","ror":"https://ror.org/044qb8j46","country_code":"FR","type":"company","lineage":["https://openalex.org/I21160419","https://openalex.org/I4210138969"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Louis Cola\u00e7o","raw_affiliation_strings":["ANSYS/Esterel-Technologies, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"ANSYS/Esterel-Technologies, Toulouse, France","institution_ids":["https://openalex.org/I4210138969"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111833976","display_name":"Bruno Pagano","orcid":null},"institutions":[{"id":"https://openalex.org/I4210138969","display_name":"Ansys (France)","ror":"https://ror.org/044qb8j46","country_code":"FR","type":"company","lineage":["https://openalex.org/I21160419","https://openalex.org/I4210138969"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bruno Pagano","raw_affiliation_strings":["ANSYS/Esterel-Technologies, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"ANSYS/Esterel-Technologies, Toulouse, France","institution_ids":["https://openalex.org/I4210138969"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088668408","display_name":"C\u00e9dric Pasteur","orcid":null},"institutions":[{"id":"https://openalex.org/I4210138969","display_name":"Ansys (France)","ror":"https://ror.org/044qb8j46","country_code":"FR","type":"company","lineage":["https://openalex.org/I21160419","https://openalex.org/I4210138969"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"C\u00e9dric Pasteur","raw_affiliation_strings":["ANSYS/Esterel-Technologies, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"ANSYS/Esterel-Technologies, Toulouse, France","institution_ids":["https://openalex.org/I4210138969"]}]},{"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/I4210103330","display_name":"\u00c9cole Normale Sup\u00e9rieure","ror":"https://ror.org/01dp7jr64","country_code":"BI","type":"education","lineage":["https://openalex.org/I4210103330"]},{"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"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["BI","FR"],"is_corresponding":false,"raw_author_name":"Marc Pouzet","raw_affiliation_strings":["Universit\u00e9 Pierre et Marie Curie, \u00c9cole normale sup\u00e9rieure, and INRIA Paris"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Pierre et Marie Curie, \u00c9cole normale sup\u00e9rieure, and INRIA Paris","institution_ids":["https://openalex.org/I4210103330","https://openalex.org/I1326498283","https://openalex.org/I39804081"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5013333702"],"corresponding_institution_ids":["https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":0.9084,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.77196292,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"16","issue":"5s","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.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/T10933","display_name":"Real-Time Systems Scheduling","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7450308203697205},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5980588793754578},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5858522057533264},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.5612669587135315},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5343479514122009},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.5130156874656677},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4894064962863922},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44749683141708374},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35808467864990234},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.28356146812438965},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22863435745239258},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.13994070887565613}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7450308203697205},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5980588793754578},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5858522057533264},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.5612669587135315},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5343479514122009},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.5130156874656677},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4894064962863922},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44749683141708374},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35808467864990234},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.28356146812438965},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22863435745239258},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.13994070887565613},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3126516","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3126516","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W32272584","https://openalex.org/W605824955","https://openalex.org/W961826975","https://openalex.org/W1499488621","https://openalex.org/W1557561422","https://openalex.org/W1763790326","https://openalex.org/W1823037702","https://openalex.org/W1970991948","https://openalex.org/W1989462278","https://openalex.org/W2014215072","https://openalex.org/W2033455284","https://openalex.org/W2041378910","https://openalex.org/W2042920590","https://openalex.org/W2056130726","https://openalex.org/W2073556275","https://openalex.org/W2080003993","https://openalex.org/W2102391023","https://openalex.org/W2113239343","https://openalex.org/W2115803389","https://openalex.org/W2118165464","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2140047472","https://openalex.org/W2149466802","https://openalex.org/W2153637288","https://openalex.org/W2160937337","https://openalex.org/W4248674022","https://openalex.org/W6601334457"],"related_works":["https://openalex.org/W3082668976","https://openalex.org/W2517973022","https://openalex.org/W1543121148","https://openalex.org/W1580703421","https://openalex.org/W2618518959","https://openalex.org/W2231364979","https://openalex.org/W4295745414","https://openalex.org/W4382202915","https://openalex.org/W4288093367","https://openalex.org/W2489516236"],"abstract_inverted_index":{"Hybrid":[0],"systems":[1,170],"modelers":[2],"like":[3,97],"Simulink":[4,102],"come":[5],"with":[6,166],"a":[7,39,48,66,87,94,107,158],"rich":[8],"collection":[9],"of":[10,22,46,51,91,93],"discrete-time":[11,137,173],"and":[12,35,63,72,121,138,174],"continuous-time":[13,139,175],"blocks.":[14],"Most":[15],"blocks":[16,58,92,127],"are":[17,29,145],"not":[18],"defined":[19],"in":[20,32,38,106,131,141,156],"terms":[21],"more":[23],"elementary":[24],"ones\u2014and":[25],"some":[26],"cannot":[27,128],"be\u2014but":[28],"instead":[30],"written":[31],"imperative":[33],"code":[34],"explained":[36],"informally":[37],"reference":[40],"manual.":[41],"This":[42],"raises":[43],"the":[44,98,149],"question":[45],"defining":[47],"minimal":[49],"set":[50,90],"orthogonal":[52],"programming":[53],"constructs":[54],"such":[55],"that":[56,68,86,144,161,171],"most":[57],"can":[59,103],"be":[60,104,129],"programmed":[61,105],"directly":[62],"thereby":[64],"given":[65],"specification":[67],"is":[69,154],"mathematically":[70],"precise,":[71,108],"whose":[73],"compiled":[74],"version":[75],"performs":[76],"comparably":[77],"to":[78,168],"handwritten":[79],"code.":[80],"In":[81],"this":[82],"paper,":[83],"we":[84],"show":[85],"fairly":[88],"large":[89],"standard":[95],"library":[96],"one":[99],"provided":[100],"by":[101,148],"purely":[109],"functional":[110],"language":[111,160],"using":[112],"stream":[113],"equations,":[114],"hierarchical":[115],"automata,":[116],"Ordinary":[117],"Differential":[118],"Equations":[119],"(ODEs),":[120],"deterministic":[122],"synchronous":[123,159],"parallel":[124],"composition.":[125],"Some":[126],"expressed":[130],"our":[132],"setting":[133],"as":[134],"they":[135],"mix":[136,172],"signals":[140],"unprincipled":[142],"ways":[143],"statically":[146],"forbidden":[147],"type":[150],"checker.":[151],"The":[152],"experiment":[153],"conducted":[155],"Z\u00e9lus,":[157],"conservatively":[162],"extends":[163],"L":[164],"ustre":[165],"ODEs":[167],"program":[169],"signals.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}