{"id":"https://openalex.org/W1967826632","doi":"https://doi.org/10.4018/ijertcs.2013100101","title":"Conformance Testing of Preemptive Real-Time Systems","display_name":"Conformance Testing of Preemptive Real-Time Systems","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W1967826632","doi":"https://doi.org/10.4018/ijertcs.2013100101","mag":"1967826632"},"language":"en","primary_location":{"id":"doi:10.4018/ijertcs.2013100101","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijertcs.2013100101","pdf_url":null,"source":{"id":"https://openalex.org/S172929737","display_name":"International Journal of Embedded and Real-Time Communication Systems","issn_l":"1947-3176","issn":["1947-3176","1947-3184"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded and Real-Time Communication Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081045210","display_name":"Noureddine Adjir","orcid":null},"institutions":[{"id":"https://openalex.org/I137407579","display_name":"Universit\u00e9 Oran 1 Ahmed Ben Bella","ror":"https://ror.org/059et2b68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I137407579"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Noureddine Adjir","raw_affiliation_strings":["Faculty of Exact and Applied Sciences, University of Oran, Oran, Algeria","Faculty of Exact and Applied Sciences, University of Oran, Oran, Algeria#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Exact and Applied Sciences, University of Oran, Oran, Algeria","institution_ids":["https://openalex.org/I137407579"]},{"raw_affiliation_string":"Faculty of Exact and Applied Sciences, University of Oran, Oran, Algeria#TAB#","institution_ids":["https://openalex.org/I137407579"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069344282","display_name":"Pierre de Saqui\u2010Sannes","orcid":"https://orcid.org/0000-0002-1404-0148"},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre de Saqui-Sannes","raw_affiliation_strings":["ISAE, University of Toulouse, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"ISAE, University of Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I17866349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018925769","display_name":"Kamel Mustapha Rahmouni","orcid":null},"institutions":[{"id":"https://openalex.org/I137407579","display_name":"Universit\u00e9 Oran 1 Ahmed Ben Bella","ror":"https://ror.org/059et2b68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I137407579"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Kamel Mustapha Rahmouni","raw_affiliation_strings":["Computer Science Department, University of Oran, Oran, Algeria","Computer Science Department, University of Oran, Oran, Algeria#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Oran, Oran, Algeria","institution_ids":["https://openalex.org/I137407579"]},{"raw_affiliation_string":"Computer Science Department, University of Oran, Oran, Algeria#TAB#","institution_ids":["https://openalex.org/I137407579"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081045210"],"corresponding_institution_ids":["https://openalex.org/I137407579"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.05755305,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"4","issue":"4","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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 Verification","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8381129503250122},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8139103055000305},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.643460750579834},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6354369521141052},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5806546211242676},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5369467735290527},{"id":"https://openalex.org/keywords/stopwatch","display_name":"Stopwatch","score":0.45842424035072327},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.43757495284080505},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3517010807991028},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32358068227767944},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1740802526473999},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.0864274799823761}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8381129503250122},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8139103055000305},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.643460750579834},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6354369521141052},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5806546211242676},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5369467735290527},{"id":"https://openalex.org/C206388871","wikidata":"https://www.wikidata.org/wiki/Q843994","display_name":"Stopwatch","level":2,"score":0.45842424035072327},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.43757495284080505},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3517010807991028},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32358068227767944},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1740802526473999},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0864274799823761},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4018/ijertcs.2013100101","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijertcs.2013100101","pdf_url":null,"source":{"id":"https://openalex.org/S172929737","display_name":"International Journal of Embedded and Real-Time Communication Systems","issn_l":"1947-3176","issn":["1947-3176","1947-3184"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded and Real-Time Communication Systems","raw_type":"journal-article"},{"id":"pmh:oai:oatao.univ-toulouse.fr:11321","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:RePEc:igg:jertcs:v:4:y:2013:i:4:p:1-26","is_oa":false,"landing_page_url":"http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/ijertcs.2013100101","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:oatao.univ-toulouse.fr:11321","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1505255894","https://openalex.org/W1517759046","https://openalex.org/W1551781434","https://openalex.org/W1594588771","https://openalex.org/W1596935793","https://openalex.org/W1598525853","https://openalex.org/W1638591980","https://openalex.org/W1977308797","https://openalex.org/W2021391928","https://openalex.org/W2039039881","https://openalex.org/W2042801853","https://openalex.org/W2070996046","https://openalex.org/W2080957994","https://openalex.org/W2101508170","https://openalex.org/W2107360681","https://openalex.org/W2109563237","https://openalex.org/W2117268802","https://openalex.org/W2120916408","https://openalex.org/W2121845202","https://openalex.org/W2123023940","https://openalex.org/W2146757579","https://openalex.org/W2147041049","https://openalex.org/W2150377894","https://openalex.org/W2162032875","https://openalex.org/W2278521946","https://openalex.org/W2762058236","https://openalex.org/W3101366255"],"related_works":["https://openalex.org/W2948396199","https://openalex.org/W1984043639","https://openalex.org/W3034700954","https://openalex.org/W2971807846","https://openalex.org/W2982298186","https://openalex.org/W4386954552","https://openalex.org/W4377142438","https://openalex.org/W4234803302","https://openalex.org/W2081623927","https://openalex.org/W2784321908"],"abstract_inverted_index":{"The":[0,43,82],"paper":[1,130],"presents":[2],"an":[3,64,146],"approach":[4],"for":[5,154],"model-based":[6],"black-box":[7],"conformance":[8,102],"testing":[9,148],"of":[10,37,55,68,107,157],"preemptive":[11],"real-time":[12,41],"systems":[13,122],"using":[14],"Labeled":[15],"Prioritized":[16],"Time":[17],"Petri":[18],"Nets":[19],"with":[20],"Stopwatches":[21],"(LPrSwTPN).":[22],"These":[23],"models":[24],"not":[25],"only":[26],"specify":[27,74],"system/environment":[28],"interactions":[29],"and":[30,58,79,126,135,144,150],"time":[31],"constraints.":[32],"They":[33],"further":[34],"enable":[35],"modelling":[36],"suspend/resume":[38],"operations":[39],"in":[40,85],"systems.":[42],"test":[44,49,61,78,133,152],"specification":[45],"used":[46,84],"to":[47,51,59,93],"generate":[48],"primitives,":[50],"check":[52],"the":[53,75,86,105,120,129,155],"correctness":[54],"system":[56,76],"responses":[57],"draw":[60],"verdicts":[62],"is":[63,139],"LPrSwTPN":[65],"made":[66],"up":[67],"two":[69],"concurrent":[70,95],"sub-nets":[71],"that":[72],"respectively":[73],"under":[77],"its":[80],"environment.":[81,160],"algorithms":[83],"TINA":[87],"model":[88],"analyzer":[89],"have":[90],"been":[91],"extended":[92],"support":[94],"composed":[96],"subnets.":[97],"Relativized":[98],"stopwatch":[99],"timed":[100,111],"input/output":[101],"serves":[103],"as":[104],"notion":[106],"implementation":[108],"correctness,":[109],"essentially":[110],"trace":[112],"inclusion":[113],"taking":[114],"environment":[115],"assumptions":[116],"into":[117],"account.":[118],"Assuming":[119],"modelled":[121],"are":[123],"non":[124],"deterministic":[125],"partially":[127],"observable,":[128],"proposes":[131],"a":[132],"generation":[134],"execution":[136],"algorithm":[137],"which":[138],"based":[140],"on":[141],"symbolic":[142],"techniques":[143],"implements":[145],"online":[147],"policy":[149],"outputs":[151],"results":[153],"(part":[156],"the)":[158],"selected":[159]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}