{"id":"https://openalex.org/W3080272695","doi":"https://doi.org/10.1109/les.2020.3009910","title":"Designing Neural Networks for Real-Time Systems","display_name":"Designing Neural Networks for Real-Time Systems","publication_year":2020,"publication_date":"2020-07-17","ids":{"openalex":"https://openalex.org/W3080272695","doi":"https://doi.org/10.1109/les.2020.3009910","mag":"3080272695"},"language":"en","primary_location":{"id":"doi:10.1109/les.2020.3009910","is_oa":false,"landing_page_url":"https://doi.org/10.1109/les.2020.3009910","pdf_url":null,"source":{"id":"https://openalex.org/S22443479","display_name":"IEEE Embedded Systems Letters","issn_l":"1943-0663","issn":["1943-0663","1943-0671"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Embedded Systems Letters","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2008.11830","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053148078","display_name":"Hammond Pearce","orcid":"https://orcid.org/0000-0002-3488-7004"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Hammond Pearce","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-3488-7004","affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100754082","display_name":"Xin Yang","orcid":"https://orcid.org/0000-0002-4617-5733"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Xin Yang","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0002-4617-5733","affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0001-9654-5678","affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045294593","display_name":"Marc Katzef","orcid":"https://orcid.org/0000-0002-4229-3767"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Marc Katzef","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080745936","display_name":"T\u00f3rur Biskopst\u00f8 Str\u00f8m","orcid":"https://orcid.org/0000-0002-7126-608X"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Torur Biskopsto Strom","raw_affiliation_strings":["Technical University of Denmark, Kongens Lyngby, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Kongens Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.11353905,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"13","issue":"3","first_page":"94","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9961000084877014,"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.9961000084877014,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.832735538482666},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.541012167930603},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4255499839782715},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3825080990791321},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35112160444259644}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.832735538482666},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.541012167930603},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4255499839782715},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3825080990791321},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35112160444259644}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/les.2020.3009910","is_oa":false,"landing_page_url":"https://doi.org/10.1109/les.2020.3009910","pdf_url":null,"source":{"id":"https://openalex.org/S22443479","display_name":"IEEE Embedded Systems Letters","issn_l":"1943-0663","issn":["1943-0663","1943-0671"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Embedded Systems Letters","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2008.11830","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.11830","pdf_url":"https://arxiv.org/pdf/2008.11830","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/17df3c0e-f5ca-4aca-a081-dc80fa1f25e0","is_oa":true,"landing_page_url":"https://orbit.dtu.dk/en/publications/17df3c0e-f5ca-4aca-a081-dc80fa1f25e0","pdf_url":"https://backend.orbit.dtu.dk/ws/files/217217554/Hkkr_09143184.pdf","source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Pearce , H , Yang , X , Roop , P S , Katzef , M & Str\u00f8m , T B 2021 , ' Designing Neural Networks for Real-Time Systems ' , I E E E Embedded Systems Letters , vol. 13 , no. 3 , pp. 94-97 . https://doi.org/10.1109/LES.2020.3009910","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2008.11830","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.11830","pdf_url":"https://arxiv.org/pdf/2008.11830","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W624819085","https://openalex.org/W1584428153","https://openalex.org/W1978054178","https://openalex.org/W2060184975","https://openalex.org/W2112796928","https://openalex.org/W2155893237","https://openalex.org/W2604319603","https://openalex.org/W2747844109","https://openalex.org/W2793651583","https://openalex.org/W2810820362","https://openalex.org/W2889582214","https://openalex.org/W2899168325","https://openalex.org/W2904289458","https://openalex.org/W2963037989","https://openalex.org/W2979548028","https://openalex.org/W2981857739","https://openalex.org/W3097884524","https://openalex.org/W3100220590","https://openalex.org/W6634706866","https://openalex.org/W6785308902"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Artificial":[0],"neural":[1,53,110],"networks":[2,111],"(ANNs)":[3],"are":[4,120],"increasingly":[5],"being":[6],"used":[7,50],"within":[8,51],"safety-critical":[9,76],"cyber-physical":[10],"systems":[11],"(CPSs).":[12],"It":[13],"is":[14,59,130],"important":[15],"to":[16,87,122,132,151,175,188],"validate":[17],"both":[18],"the":[19,31,36,39,47,114,140,165,186,189,199],"timing":[20,69,143],"and":[21,193],"functional":[22],"correctness":[23],"of":[24,38,75,167],"these":[25],"systems.":[26],"However,":[27],"most":[28],"approaches":[29],"in":[30],"literature":[32],"consider":[33],"guaranteeing":[34],"only":[35],"functionality":[37],"ANN-based":[40],"controllers.":[41],"This":[42,127],"issue":[43],"stems":[44],"largely":[45],"from":[46],"implementation":[48],"strategies":[49],"common":[52],"network":[54],"frameworks-their":[55],"underlying":[56],"source":[57],"code":[58,129],"often":[60],"simply":[61],"unsuitable":[62],"for":[63],"formal":[64],"techniques":[65,90],"such":[66,83],"as":[67,84],"static":[68,142],"analysis.":[70],"As":[71,146],"a":[72,106,147,152,181],"result,":[73,148],"developers":[74],"CPS":[77],"must":[78],"rely":[79],"on":[80],"informal":[81],"techniques,":[82],"measurement-based":[85],"approaches,":[86],"prove":[88],"correctness,":[89],"that":[91,135,195],"provide":[92],"weak":[93],"guarantees":[94],"at":[95],"best.":[96],"In":[97],"this":[98,102],"letter,":[99],"we":[100,170,196],"address":[101],"challenge.":[103],"We":[104,184],"propose":[105],"design":[107],"pipeline":[108],"whereby":[109],"trained":[112,174],"using":[113],"popular":[115],"deep":[116],"learning":[117],"framework":[118],"Keras":[119],"compiled":[121,150],"functionally":[123],"equivalent":[124],"C":[125,128],"code.":[126],"restricted":[131],"simple":[133],"constructs":[134],"may":[136,159],"be":[137,160],"analyzed":[138],"by":[139],"existing":[141],"analysis":[144],"tools.":[145],"if":[149],"suitable":[153],"time-predictable":[154,191],"platform,":[155],"all":[156],"execution":[157,201],"bounds":[158],"statically":[161],"derived.":[162],"To":[163],"demonstrate":[164],"benefits":[166],"our":[168],"approach,":[169],"execute":[171],"an":[172,177],"ANN":[173,187],"drive":[176],"autonomous":[178],"vehicle":[179],"around":[180],"race":[182],"track.":[183],"compile":[185],"Patmos":[190],"controller":[192],"show":[194],"can":[197],"derive":[198],"worst-case":[200],"timings.":[202]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}