{"id":"https://openalex.org/W2093316688","doi":"https://doi.org/10.1177/0037549710364204","title":"Error computation for predictable real-time software synthesis","display_name":"Error computation for predictable real-time software synthesis","publication_year":2010,"publication_date":"2010-03-12","ids":{"openalex":"https://openalex.org/W2093316688","doi":"https://doi.org/10.1177/0037549710364204","mag":"2093316688"},"language":"en","primary_location":{"id":"doi:10.1177/0037549710364204","is_oa":false,"landing_page_url":"https://doi.org/10.1177/0037549710364204","pdf_url":null,"source":{"id":"https://openalex.org/S32573412","display_name":"SIMULATION","issn_l":"0037-5497","issn":["0037-5497","1741-3133"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIMULATION","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/A5088330531","display_name":"Jeroen Voeten","orcid":"https://orcid.org/0000-0002-9981-8392"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jeroen Voeten","raw_affiliation_strings":["Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands,","Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands,","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012812513","display_name":"Oana Florescu","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Oana Florescu","raw_affiliation_strings":["Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108367090","display_name":"Jinfeng Huang","orcid":"https://orcid.org/0000-0002-6806-3361"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jinfeng Huang","raw_affiliation_strings":["Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081768631","display_name":"Henk Corporaal","orcid":"https://orcid.org/0000-0003-4506-5732"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Henk Corporaal","raw_affiliation_strings":["Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.499,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67420642,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"87","issue":"4","first_page":"334","last_page":"350"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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.9997000098228455,"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.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.9990000128746033,"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/synchronizing","display_name":"Synchronizing","score":0.8461509943008423},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.786124587059021},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.68192058801651},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6209713816642761},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5760753154754639},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.543721079826355},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5378685593605042},{"id":"https://openalex.org/keywords/real-time-simulation","display_name":"Real-time simulation","score":0.43211954832077026},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.4279571771621704},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3895934820175171},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38139933347702026},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.3312433362007141},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09248274564743042}],"concepts":[{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.8461509943008423},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.786124587059021},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.68192058801651},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6209713816642761},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5760753154754639},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.543721079826355},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5378685593605042},{"id":"https://openalex.org/C2781469108","wikidata":"https://www.wikidata.org/wiki/Q7300799","display_name":"Real-time simulation","level":2,"score":0.43211954832077026},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.4279571771621704},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3895934820175171},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38139933347702026},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.3312433362007141},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09248274564743042},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1177/0037549710364204","is_oa":false,"landing_page_url":"https://doi.org/10.1177/0037549710364204","pdf_url":null,"source":{"id":"https://openalex.org/S32573412","display_name":"SIMULATION","issn_l":"0037-5497","issn":["0037-5497","1741-3133"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIMULATION","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/0b13999a-27b7-47ff-8a8e-b683ee30d098","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/0b13999a-27b7-47ff-8a8e-b683ee30d098","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Voeten, J P M, Florescu, O, Huang, J & Corporaal, H 2011, 'Error computation for predictable real-time software synthesis', Simulation, vol. 87, no. 4, pp. 334-350. https://doi.org/10.1177/0037549710364204","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:724967","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=724967","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0037-5497","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:library.tue.nl:724967","is_oa":false,"landing_page_url":"http://repository.tue.nl/724967","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0037-5497","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:oai-pmh.tno.nl:67863","is_oa":false,"landing_page_url":"https://resolver.tno.nl/uuid:0792d091-742f-4f9d-aeb8-7d291e34d818","pdf_url":null,"source":{"id":"https://openalex.org/S7407055233","display_name":"TNO Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Simulation, 87(4), pp. 334-350.","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/0b13999a-27b7-47ff-8a8e-b683ee30d098","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/0b13999a-27b7-47ff-8a8e-b683ee30d098","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Simulation, 87(4), 334 - 350. SAGE Publications Ltd","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320330631","display_name":"Nederlandse Organisatie voor Toegepast Natuurwetenschappelijk Onderzoek","ror":"https://ror.org/01bnjb948"},{"id":"https://openalex.org/F4320334893","display_name":"Stichting voor de Technische Wetenschappen","ror":"https://ror.org/057tq3593"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W28023262","https://openalex.org/W99531190","https://openalex.org/W289732966","https://openalex.org/W576811070","https://openalex.org/W1503973138","https://openalex.org/W1506238013","https://openalex.org/W1517942155","https://openalex.org/W1518448356","https://openalex.org/W1521417659","https://openalex.org/W1526192185","https://openalex.org/W1555222326","https://openalex.org/W1586805319","https://openalex.org/W1593051417","https://openalex.org/W1600740202","https://openalex.org/W1878074184","https://openalex.org/W1968527225","https://openalex.org/W1973097078","https://openalex.org/W1974403998","https://openalex.org/W2000947342","https://openalex.org/W2011437720","https://openalex.org/W2052279347","https://openalex.org/W2059883901","https://openalex.org/W2089546907","https://openalex.org/W2095788213","https://openalex.org/W2095792534","https://openalex.org/W2099184371","https://openalex.org/W2101190362","https://openalex.org/W2101508170","https://openalex.org/W2105233942","https://openalex.org/W2119275794","https://openalex.org/W2122113444","https://openalex.org/W2124845674","https://openalex.org/W2159572338","https://openalex.org/W2172445460","https://openalex.org/W2286705380","https://openalex.org/W2487561128","https://openalex.org/W2913627878","https://openalex.org/W4244392071","https://openalex.org/W4251984168","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2359328895","https://openalex.org/W2007402811","https://openalex.org/W2363535981","https://openalex.org/W2326762630","https://openalex.org/W2391354408","https://openalex.org/W2183638083","https://openalex.org/W2119138398","https://openalex.org/W2037384153","https://openalex.org/W2598979711","https://openalex.org/W2306351532"],"abstract_inverted_index":{"Synthesizing":[0],"an":[1,32,91],"implementation":[2,114],"from":[3,118],"a":[4,7,36,57,99,102,125,130],"model":[5,37,42,54,77,100],"in":[6,16,30,53,66,81],"predictable":[8],"way":[9],"is":[10,90,127],"one":[11],"of":[12,87,112,124,137],"the":[13,41,45,61,72,82,96,109,113,119,135,138],"major":[14],"challenges":[15],"real-time":[17,31,76,110],"system":[18],"design.":[19],"In":[20],"our":[21],"previous":[22],"work":[23],"we":[24],"addressed":[25],"this":[26,88,107],"problem":[27],"by":[28,39],"generating":[29],"execution":[33,49,62],"path":[34,50,63,123],"through":[35],"and":[38,101],"synchronizing":[40],"time":[43,55,58],"with":[44,60],"physical":[46,67],"time.":[47,68],"The":[48,84],"as":[51,64,129],"observed":[52,65],"has":[56],"difference":[59],"This":[69],"distance":[70,97],"determines":[71],"extent":[73],"to":[74,133],"which":[75],"properties":[78,111],"are":[79],"preserved":[80],"implementation.":[83,104],"key":[85],"contribution":[86],"article":[89],"analytical":[92],"approach":[93],"for":[94],"calculating":[95],"between":[98],"corresponding":[103],"Based":[105],"on":[106],"distance,":[108],"can":[115],"be":[116],"predicted":[117],"model.":[120],"A":[121],"paper":[122],"printer":[126],"used":[128],"case":[131],"study":[132],"show":[134],"effectiveness":[136],"technique.":[139]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}