{"id":"https://openalex.org/W2101530804","doi":"https://doi.org/10.1109/apsec.2002.1183009","title":"Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling","display_name":"Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling","publication_year":2003,"publication_date":"2003-06-26","ids":{"openalex":"https://openalex.org/W2101530804","doi":"https://doi.org/10.1109/apsec.2002.1183009","mag":"2101530804"},"language":"en","primary_location":{"id":"doi:10.1109/apsec.2002.1183009","is_oa":false,"landing_page_url":"https://doi.org/10.1109/apsec.2002.1183009","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ninth Asia-Pacific Software Engineering Conference, 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":["Department of Computer Science and Information Engineering, National Chung Cheng University, Chiayi, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Engineering, 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/I118292597","display_name":"National Taipei University of Technology","ror":"https://ror.org/00cn92c09","country_code":"TW","type":"education","lineage":["https://openalex.org/I118292597"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Trong-Yen Lee","raw_affiliation_strings":["Department of Electronic Engineering, National Taipei University of Technology, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Electronic Engineering, National Taipei University of Technology, Taipei, Taiwan","institution_ids":["https://openalex.org/I118292597"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075601624","display_name":"Feng-Shi Su","orcid":null},"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":false,"raw_author_name":"Feng-Shi Su","raw_affiliation_strings":["Department of Computer Science and Information Engineering, National Chung Cheng University, Chiayi, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Engineering, National Chung Cheng University, Chiayi, Taiwan","institution_ids":["https://openalex.org/I148099254"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5050423310"],"corresponding_institution_ids":["https://openalex.org/I148099254"],"apc_list":null,"apc_paid":null,"fwci":2.2639,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.88280565,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"980","issue":null,"first_page":"395","last_page":"404"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991000294685364,"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.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8156626224517822},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.6392549872398376},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5387287139892578},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5142998099327087},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.48856696486473083},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.48332902789115906},{"id":"https://openalex.org/keywords/avionics-software","display_name":"Avionics software","score":0.4718608558177948},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4455637037754059},{"id":"https://openalex.org/keywords/programming-complexity","display_name":"Programming complexity","score":0.43638959527015686},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.41601887345314026},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.33311182260513306},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2920359969139099}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8156626224517822},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.6392549872398376},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5387287139892578},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5142998099327087},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.48856696486473083},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.48332902789115906},{"id":"https://openalex.org/C109905503","wikidata":"https://www.wikidata.org/wiki/Q4828920","display_name":"Avionics software","level":5,"score":0.4718608558177948},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4455637037754059},{"id":"https://openalex.org/C66429209","wikidata":"https://www.wikidata.org/wiki/Q7248499","display_name":"Programming complexity","level":5,"score":0.43638959527015686},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.41601887345314026},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.33311182260513306},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2920359969139099},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/apsec.2002.1183009","is_oa":false,"landing_page_url":"https://doi.org/10.1109/apsec.2002.1183009","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W65219368","https://openalex.org/W82909794","https://openalex.org/W1498408795","https://openalex.org/W1582775086","https://openalex.org/W1591302055","https://openalex.org/W1978380916","https://openalex.org/W1995501167","https://openalex.org/W2016526641","https://openalex.org/W2016725494","https://openalex.org/W2091051415","https://openalex.org/W2109488193","https://openalex.org/W2121432005","https://openalex.org/W2126736658","https://openalex.org/W2134384549","https://openalex.org/W2138612658","https://openalex.org/W2144965436","https://openalex.org/W2153037610","https://openalex.org/W2169233852","https://openalex.org/W2170379073","https://openalex.org/W2503657378","https://openalex.org/W2944077807","https://openalex.org/W6603314979","https://openalex.org/W6635328044","https://openalex.org/W6649537961","https://openalex.org/W6654976116","https://openalex.org/W6678465466"],"related_works":["https://openalex.org/W2347531957","https://openalex.org/W2023346118","https://openalex.org/W2221495519","https://openalex.org/W2382257878","https://openalex.org/W3142911531","https://openalex.org/W2011536307","https://openalex.org/W2124533936","https://openalex.org/W4241303420","https://openalex.org/W155237763","https://openalex.org/W2134420764"],"abstract_inverted_index":{"The":[0,30,112],"rapid":[1],"escalation":[2],"in":[3,38,117],"complexity":[4],"of":[5,83,107,138,151],"real-time":[6,50,100,118],"embedded":[7,12,51,62,101,119],"systems":[8],"design":[9,27],"has":[10,23],"made":[11],"software":[13,21,63,102],"an":[14,25],"integral":[15],"system":[16],"part":[17,150],"such":[18],"that":[19],"formal":[20,45],"synthesis":[22,46],"become":[24],"indispensable":[26],"automation":[28],"technique.":[29],"current":[31],"work":[32],"takes":[33],"one":[34],"more":[35],"step":[36],"forward":[37],"this":[39],"research":[40],"direction":[41],"by":[42,132],"proposing":[43],"a":[44,72,105,142,149],"method":[47,58,93,140],"for":[48,69],"complex":[49,65],"software.":[52],"Compared":[53],"to":[54,79],"previous":[55],"work,":[56],"our":[57,139],"not":[59],"only":[60],"synthesizes":[61,99],"with":[64],"interrelated":[66],"branching":[67],"choices":[68],"execution":[70],"within":[71],"user-given":[73,85],"memory":[74,122],"bound,":[75],"but":[76],"also":[77],"tries":[78],"guarantee":[80],"the":[81,136,152],"satisfaction":[82],"all":[84],"local":[86],"and":[87,123,129],"global":[88],"time":[89,108,124],"constraints.":[90],"Our":[91],"proposed":[92],"called":[94],"time-extended":[95],"quasi-static":[96],"scheduling":[97],"(TEQSS)":[98],"code":[103],"from":[104],"set":[106],"complex-choice":[109],"Petri":[110],"nets.":[111],"two":[113],"most":[114],"important":[115],"issues":[116],"software,":[120],"namely":[121],"constraints":[125],"are":[126],"both":[127],"elegantly":[128],"efficiently":[130],"handled":[131],"TEQSS.":[133],"We":[134],"show":[135],"feasibility":[137],"through":[141],"master-slave":[143],"role":[144],"switch":[145],"application":[146],"which":[147],"is":[148],"Bluetooth":[153],"wireless":[154],"communication":[155],"protocol.":[156]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}