{"id":"https://openalex.org/W2156559965","doi":"https://doi.org/10.1109/isorc.2002.1003755","title":"VERTAF: an object-oriented application framework for embedded real-time systems","display_name":"VERTAF: an object-oriented application framework for embedded real-time systems","publication_year":2003,"publication_date":"2003-06-25","ids":{"openalex":"https://openalex.org/W2156559965","doi":"https://doi.org/10.1109/isorc.2002.1003755","mag":"2156559965"},"language":"en","primary_location":{"id":"doi:10.1109/isorc.2002.1003755","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2002.1003755","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002","raw_type":"proceedings-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/A5050423310","display_name":"Pao\u2010Ann Hsiung","orcid":"https://orcid.org/0000-0002-3639-1467"},"institutions":[{"id":"https://openalex.org/I148099254","display_name":"National Chung Cheng University","ror":"https://ror.org/0028v3876","country_code":"TW","type":"education","lineage":["https://openalex.org/I148099254"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Pao-Ann Hsiung","raw_affiliation_strings":["National Chung Cheng University, Chiayi, Taiwan"],"affiliations":[{"raw_affiliation_string":"National Chung Cheng University, Chiayi, Taiwan","institution_ids":["https://openalex.org/I148099254"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004644298","display_name":"Trong\u2010Yen Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094862","display_name":"National Defense University","ror":"https://ror.org/00hkj1v53","country_code":"TW","type":"education","lineage":["https://openalex.org/I4210094862"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Trong-Yen Lee","raw_affiliation_strings":["Chung Cheng Institute of Technology, National Defense University, Taiwan"],"affiliations":[{"raw_affiliation_string":"Chung Cheng Institute of Technology, National Defense University, Taiwan","institution_ids":["https://openalex.org/I4210094862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013487179","display_name":"Win-Bin See","orcid":null},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Win-Bin See","raw_affiliation_strings":["National Taiwan University, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108587688","display_name":"Jih-Ming Fu","orcid":null},"institutions":[{"id":"https://openalex.org/I91951123","display_name":"Cheng Shiu University","ror":"https://ror.org/011bdtx65","country_code":"TW","type":"education","lineage":["https://openalex.org/I91951123"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jih-Ming Fu","raw_affiliation_strings":["Cheng Shiu Institute of Technology, Kaohsiung, Taiwan"],"affiliations":[{"raw_affiliation_string":"Cheng Shiu Institute of Technology, Kaohsiung, Taiwan","institution_ids":["https://openalex.org/I91951123"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087328159","display_name":"Sao\u2010Jie Chen","orcid":"https://orcid.org/0000-0003-1152-171X"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Sao-Jie Chen","raw_affiliation_strings":["National Taiwan University, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5050423310"],"corresponding_institution_ids":["https://openalex.org/I148099254"],"apc_list":null,"apc_paid":null,"fwci":2.0123,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.87452509,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"i","issue":null,"first_page":"322","last_page":"329"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10933","display_name":"Real-Time Systems Scheduling","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.9988999962806702,"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.9986000061035156,"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.7777361869812012},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.6456288695335388},{"id":"https://openalex.org/keywords/time-to-market","display_name":"Time to market","score":0.579979419708252},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5561789870262146},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.5433940887451172},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.5311803817749023},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.5066993832588196},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5021576881408691},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4397135078907013},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.4269122779369354},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.4146912097930908},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.382260799407959},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3342360258102417},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3338134288787842},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23168110847473145},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15038633346557617},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10317474603652954}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7777361869812012},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.6456288695335388},{"id":"https://openalex.org/C2779229675","wikidata":"https://www.wikidata.org/wiki/Q445235","display_name":"Time to market","level":2,"score":0.579979419708252},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5561789870262146},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5433940887451172},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5311803817749023},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.5066993832588196},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5021576881408691},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4397135078907013},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.4269122779369354},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.4146912097930908},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.382260799407959},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3342360258102417},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3338134288787842},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23168110847473145},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15038633346557617},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10317474603652954},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isorc.2002.1003755","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2002.1003755","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W41699526","https://openalex.org/W59365162","https://openalex.org/W130528233","https://openalex.org/W1533060659","https://openalex.org/W1649645444","https://openalex.org/W1788160972","https://openalex.org/W1874725288","https://openalex.org/W1964305725","https://openalex.org/W2008349102","https://openalex.org/W2008379855","https://openalex.org/W2016725494","https://openalex.org/W2025466687","https://openalex.org/W2050113687","https://openalex.org/W2053526505","https://openalex.org/W2062985017","https://openalex.org/W2101508170","https://openalex.org/W2109488193","https://openalex.org/W2115597529","https://openalex.org/W2131498035","https://openalex.org/W2137981759","https://openalex.org/W2141273310","https://openalex.org/W2160293203","https://openalex.org/W2167668895","https://openalex.org/W2262960161","https://openalex.org/W2944077807","https://openalex.org/W6601698369","https://openalex.org/W6605384804","https://openalex.org/W6683183041"],"related_works":["https://openalex.org/W1937135962","https://openalex.org/W2113015286","https://openalex.org/W2137262315","https://openalex.org/W2187744111","https://openalex.org/W2090822065","https://openalex.org/W2510000542","https://openalex.org/W1486455734","https://openalex.org/W2381555396","https://openalex.org/W2007637438","https://openalex.org/W1986661753"],"abstract_inverted_index":{"Embedded":[0,42],"real-time":[1,51],"applications":[2],"are":[3,21],"often":[4,32],"built":[5],"from":[6],"scratch":[7],"on":[8,128],"a":[9,99,109,123],"trial-and-error":[10],"basis,":[11],"which":[12],"leads":[13],"to":[14],"sub-optimal":[15],"designs":[16],"with":[17,54],"latent":[18],"errors":[19,60],"that":[20],"not":[22],"detectable":[23],"in":[24,102,112],"early":[25],"stages":[26],"of":[27,57,69,84,95,131],"use":[28],"or":[29],"deployment":[30],"and":[31,61,78,92,108,115],"incurs":[33],"prolonged":[34],"time-to-market.":[35],"A":[36],"new":[37],"application":[38,52],"framework":[39],"called":[40],"Verifiable":[41],"Real-Time":[43],"Application":[44],"Framework":[45],"(VERTAF)":[46],"is":[47,66],"proposed":[48],"for":[49],"embedded":[50],"development,":[53],"the":[55,129,132],"aim":[56],"reducing":[58],"design":[59,63,103,106,113,118,126],"increasing":[62],"productivity.":[64],"VERTAF":[65,82,97],"an":[67],"integration":[68],"three":[70],"technologies,":[71],"namely":[72],"object-oriented":[73],"technology,":[74,77],"software":[75,86],"component":[76],"formal":[79],"verification":[80],"technology.":[81],"consists":[83],"five":[85],"components:":[87],"Implanter,":[88],"Modeler,":[89],"Scheduler,":[90],"Verifier,":[91],"Generator.":[93],"Experiences":[94],"using":[96,134],"show":[98],"significant":[100,110],"increase":[101],"productivity":[104],"through":[105,117],"reuse,":[107],"decrease":[111],"time":[114],"effort":[116,127],"verification.":[119],"An":[120],"example":[121],"shows":[122],"relatively":[124],"low":[125],"part":[130],"designer":[133],"VERTAF.":[135]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}