{"id":"https://openalex.org/W2171024512","doi":"https://doi.org/10.5555/857171.857225","title":"Duration Properties over Real Time System Designs","display_name":"Duration Properties over Real Time System Designs","publication_year":2000,"publication_date":"2000-11-05","ids":{"openalex":"https://openalex.org/W2171024512","doi":"https://doi.org/10.5555/857171.857225","mag":"2171024512"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://ieeexplore.ieee.org/document/891126/","pdf_url":null,"source":{"id":"https://openalex.org/S4306420354","display_name":"International Workshop on Software Specification and Design","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"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/A5005812046","display_name":"V\u0131\u0301ctor Braberman","orcid":"https://orcid.org/0000-0001-5946-3550"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Victor Braberman","raw_affiliation_strings":["Dep. de Computaci\u00f3n FCEyN, Universidad de Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"Dep. de Computaci\u00f3n FCEyN, Universidad de Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068971742","display_name":"Fabio Javier Pieniazek","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Fabio Pieniazek","raw_affiliation_strings":["Dep. de Computaci\u00f3n FCEyN, Universidad de Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"Dep. de Computaci\u00f3n FCEyN, Universidad de Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":58},"biblio":{"volume":null,"issue":null,"first_page":"51","last_page":"61"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9998,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9998,"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/T10933","display_name":"Real-Time Scheduling in Embedded Systems","score":0.9995,"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/T10639","display_name":"Autonomic Computing and Self-Adaptive Systems","score":0.9971,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/scheduling-algorithms","display_name":"Scheduling Algorithms","score":0.538568},{"id":"https://openalex.org/keywords/timing-analysis","display_name":"Timing Analysis","score":0.533508},{"id":"https://openalex.org/keywords/hard-real-time-systems","display_name":"Hard Real-Time Systems","score":0.526894},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model Checking","score":0.52408},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software Architecture","score":0.521358},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.5024681},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.41716135}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.76757807},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.75395757},{"id":"https://openalex.org/C112758219","wikidata":"https://www.wikidata.org/wiki/Q16038819","display_name":"Duration (music)","level":2,"score":0.6818149},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6797665},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5564843},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.5024681},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.47708282},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.4437021},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.44260803},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.41716135},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41154224},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3746432},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2793093},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24568191},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.15885419},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12080553},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.117997944},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://ieeexplore.ieee.org/document/891126/","pdf_url":null,"source":{"id":"https://openalex.org/S4306420354","display_name":"International Workshop on Software Specification and Design","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":22,"referenced_works":["https://openalex.org/W113754791","https://openalex.org/W133696381","https://openalex.org/W1501306521","https://openalex.org/W1505030820","https://openalex.org/W1508190831","https://openalex.org/W1524856836","https://openalex.org/W1545699945","https://openalex.org/W1577437452","https://openalex.org/W1975381678","https://openalex.org/W1979027409","https://openalex.org/W1979561589","https://openalex.org/W2034833774","https://openalex.org/W2066403336","https://openalex.org/W2100139843","https://openalex.org/W2101508170","https://openalex.org/W2103804396","https://openalex.org/W2111212639","https://openalex.org/W2137720779","https://openalex.org/W2137784941","https://openalex.org/W2151849325","https://openalex.org/W2167467151","https://openalex.org/W2171151037"],"related_works":["https://openalex.org/W3140736310","https://openalex.org/W2905364870","https://openalex.org/W2384984106","https://openalex.org/W2373389320","https://openalex.org/W2363044426","https://openalex.org/W2153789164","https://openalex.org/W2153269726","https://openalex.org/W2118628218","https://openalex.org/W2106662138","https://openalex.org/W2028827800","https://openalex.org/W1981058086","https://openalex.org/W1970901627","https://openalex.org/W1832926089","https://openalex.org/W1597107417","https://openalex.org/W1582195294","https://openalex.org/W1568606266","https://openalex.org/W1557385283","https://openalex.org/W1548878183","https://openalex.org/W1536079127","https://openalex.org/W1526491740"],"abstract_inverted_index":{"Constraints":[0],"on":[1,59,101],"the":[2,12,37,67,130],"accumulated":[3],"sojourn":[4],"time":[5],"at":[6],"particular":[7],"system":[8],"states":[9],"are":[10,21],"among":[11],"possible":[13],"requirements":[14,20,71],"for":[15,45],"a":[16,40,114],"real-time":[17,33,76],"system.":[18],"These":[19],"called":[22],"duration":[23,70,127],"properties.":[24],"The":[25],"need":[26],"to":[27,92,125],"predict":[28],"temporal":[29],"behavior":[30],"of":[31,39,43,54,69,75],"critical":[32],"systems":[34],"has":[35],"encouraged":[36],"development":[38],"useful":[41],"collection":[42],"results":[44],"run-time":[46],"scheduling":[47,90],"as":[48,50],"well":[49],"an":[51,83],"interesting":[52],"set":[53],"formal":[55,98],"automatic":[56,63],"techniques":[57],"based":[58,100],"model-checking.":[60],"However":[61],"no":[62],"technique":[64],"directly":[65],"supports":[66],"verification":[68],"over":[72,129],"physical":[73],"designs":[74],"software.":[77],"In":[78],"(Braberman":[79,119],"and":[80,96,105,120],"Felder,":[81],"1999)":[82],"approach":[84],"is":[85],"presented":[86],"that":[87,110,117],"applies":[88],"known":[89],"theory":[91],"automatically":[93],"derive":[94],"simple":[95],"compositional":[97],"models":[99],"timed":[102,132],"automata":[103],"(Alur":[104],"Dill,":[106],"1994).":[107],"We":[108],"combine":[109],"modeling":[111],"method":[112],"with":[113],"conservative":[115],"algorithm":[116],"extends":[118],"Dang":[121],"Van":[122],"Hung,":[123],"1998)":[124],"check":[126],"properties":[128],"resulting":[131],"automata.":[133]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2171024512","counts_by_year":[],"updated_date":"2024-09-18T14:51:56.107964","created_date":"2016-06-24"}
