{"id":"https://openalex.org/W2059457733","doi":"https://doi.org/10.1145/1081081.1081110","title":"A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes","display_name":"A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2059457733","doi":"https://doi.org/10.1145/1081081.1081110","mag":"2059457733"},"language":"en","primary_location":{"id":"doi:10.1145/1081081.1081110","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1081081.1081110","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th annual symposium on Integrated circuits and system design  - SBCCI '05","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/A5024297894","display_name":"Eduardo Tavares","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Eduardo Tavares","raw_affiliation_strings":["Un1iversidade Federal de Pernambuco, Recife-Brazil","Centro de Informatica, Univ. Fed. de Pernambuco, Recife"],"affiliations":[{"raw_affiliation_string":"Un1iversidade Federal de Pernambuco, Recife-Brazil","institution_ids":[]},{"raw_affiliation_string":"Centro de Informatica, Univ. Fed. de Pernambuco, Recife","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108010650","display_name":"Paulo Maciel","orcid":"https://orcid.org/0000-0003-4021-9069"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paulo Maciel","raw_affiliation_strings":["Un1iversidade Federal de Pernambuco, Recife-Brazil","Centro de Informatica, Univ. Fed. de Pernambuco, Recife"],"affiliations":[{"raw_affiliation_string":"Un1iversidade Federal de Pernambuco, Recife-Brazil","institution_ids":[]},{"raw_affiliation_string":"Centro de Informatica, Univ. Fed. de Pernambuco, Recife","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088046135","display_name":"Arthur Bessa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arthur Bessa","raw_affiliation_strings":["Un1iversidade Federal de Pernambuco, Recife-Brazil","Centro de Informatica, Univ. Fed. de Pernambuco, Recife"],"affiliations":[{"raw_affiliation_string":"Un1iversidade Federal de Pernambuco, Recife-Brazil","institution_ids":[]},{"raw_affiliation_string":"Centro de Informatica, Univ. Fed. de Pernambuco, Recife","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046617964","display_name":"Raimundo Barreto","orcid":"https://orcid.org/0000-0001-8494-4225"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raimundo Barreto","raw_affiliation_strings":["Institute for Clarity in Documentation, Wallamaloo, New Zealand"],"affiliations":[{"raw_affiliation_string":"Institute for Clarity in Documentation, Wallamaloo, New Zealand","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Leonardo Barros","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leonardo Barros","raw_affiliation_strings":["Institute for Clarity in Documentation, Wallamaloo, New Zealand"],"affiliations":[{"raw_affiliation_string":"Institute for Clarity in Documentation, Wallamaloo, New Zealand","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111713360","display_name":"Meuse Oliveira","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Meuse Oliveira","raw_affiliation_strings":["Institute for Clarity in Documentation, Wallamaloo, New Zealand"],"affiliations":[{"raw_affiliation_string":"Institute for Clarity in Documentation, Wallamaloo, New Zealand","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030092387","display_name":"Ricardo Lima","orcid":"https://orcid.org/0000-0002-5735-6089"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ricardo Lima","raw_affiliation_strings":["Institute for Clarity in Documentation, Wallamaloo, New Zealand"],"affiliations":[{"raw_affiliation_string":"Institute for Clarity in Documentation, Wallamaloo, New Zealand","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5024297894"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5279,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.68208509,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"98","last_page":"98"},"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/T11125","display_name":"Petri Nets in System Modeling","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/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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.8220436573028564},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6838386058807373},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6527342200279236},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5537878274917603},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5188626050949097},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5028392672538757},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45872992277145386},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3792870044708252},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23160555958747864}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8220436573028564},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6838386058807373},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6527342200279236},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5537878274917603},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5188626050949097},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5028392672538757},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45872992277145386},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3792870044708252},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23160555958747864},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1081081.1081110","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1081081.1081110","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th annual symposium on Integrated circuits and system design  - SBCCI '05","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W89136770","https://openalex.org/W212746455","https://openalex.org/W1485093219","https://openalex.org/W1568729458","https://openalex.org/W1978380916","https://openalex.org/W1996109622","https://openalex.org/W2047020830","https://openalex.org/W2127856564","https://openalex.org/W2148273314","https://openalex.org/W2158086125","https://openalex.org/W2170379073","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2132799268","https://openalex.org/W2154794415","https://openalex.org/W1538101305","https://openalex.org/W791317142","https://openalex.org/W2109094990","https://openalex.org/W2982241419","https://openalex.org/W2285444239"],"abstract_inverted_index":{"In":[0,32,62],"general,":[1],"complex":[2],"embedded":[3,28],"systems":[4],"rely":[5],"on":[6,83],"specialized":[7],"operating":[8,13],"system":[9,14],"kernels.":[10],"However,":[11],"the":[12,24],"usage":[15],"may":[16,22,99],"introduce":[17],"significant":[18,97],"time":[19,84],"overhead,":[20],"which":[21],"affect":[23],"tasks'":[25],"deadline":[26],"in":[27],"hard":[29],"real-time":[30],"systems.":[31],"addition,":[33],"hardware":[34],"requirements":[35],"(e.g.":[36],"memory)":[37],"are":[38],"usually":[39],"increased.As":[40],"an":[41],"alternative,":[42],"this":[43],"paper":[44],"presents":[45],"a":[46,68,75,80],"software":[47],"synthesis":[48],"approach":[49],"for":[50],"eliminating":[51],"such":[52],"overheads,":[53],"meeting":[54],"timing":[55,66],"constraints,":[56],"and":[57],"providing":[58],"multiple":[59,94],"operational":[60,95],"modes.":[61],"order":[63],"to":[64,73],"satisfy":[65],"requirements,":[67],"pre-runtime":[69],"scheduling":[70,88],"is":[71,89],"used":[72],"find":[74],"feasible":[76],"schedule":[77],"by":[78],"adopting":[79],"formalism":[81],"based":[82],"Petri":[85],"net.":[86],"Pre-runtime":[87],"considered":[90],"inflexible,":[91],"but":[92],"using":[93],"modes,":[96],"flexibility":[98],"be":[100],"achieved.":[101]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}