{"id":"https://openalex.org/W2084463489","doi":"https://doi.org/10.1109/ret.2014.6908679","title":"The observer-based technique for requirements validation in embedded real-time systems","display_name":"The observer-based technique for requirements validation in embedded real-time systems","publication_year":2014,"publication_date":"2014-08-01","ids":{"openalex":"https://openalex.org/W2084463489","doi":"https://doi.org/10.1109/ret.2014.6908679","mag":"2084463489"},"language":"en","primary_location":{"id":"doi:10.1109/ret.2014.6908679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ret.2014.6908679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25874","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101723818","display_name":"Jiale Zhou","orcid":"https://orcid.org/0000-0002-7643-7984"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jiale Zhou","raw_affiliation_strings":["Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","(School of Innovation, Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"(School of Innovation, Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden)","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101435289","display_name":"Yue Lu","orcid":"https://orcid.org/0000-0003-1773-1005"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Yue Lu","raw_affiliation_strings":["Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","(School of Innovation, Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"(School of Innovation, Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden)","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045641364","display_name":"Kristina Lundqvist","orcid":"https://orcid.org/0000-0003-0904-3712"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Kristina Lundqvist","raw_affiliation_strings":["Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","(School of Innovation, Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"(School of Innovation, Design and Engineering, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden)","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8458,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81833707,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"47","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9986000061035156,"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.788370668888092},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.751043438911438},{"id":"https://openalex.org/keywords/novelty","display_name":"Novelty","score":0.6372307538986206},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.627695620059967},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.590712308883667},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.554304838180542},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5337238311767578},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.5291602611541748},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.43504250049591064},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.430084228515625},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.37423935532569885},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33556389808654785}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.788370668888092},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.751043438911438},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.6372307538986206},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.627695620059967},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.590712308883667},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.554304838180542},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5337238311767578},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.5291602611541748},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.43504250049591064},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.430084228515625},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.37423935532569885},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33556389808654785},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ret.2014.6908679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ret.2014.6908679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)","raw_type":"proceedings-article"},{"id":"pmh:oai:DiVA.org:mdh-25874","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25874","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:mdh-25874","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25874","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W74572488","https://openalex.org/W84148826","https://openalex.org/W173398129","https://openalex.org/W204878202","https://openalex.org/W1493936494","https://openalex.org/W1535889317","https://openalex.org/W1537864410","https://openalex.org/W1601674470","https://openalex.org/W1734269280","https://openalex.org/W1825341937","https://openalex.org/W2034717157","https://openalex.org/W2037638912","https://openalex.org/W2099213660","https://openalex.org/W2101623441","https://openalex.org/W2114768982","https://openalex.org/W2167978186","https://openalex.org/W4230958226","https://openalex.org/W4296471858","https://openalex.org/W6632130492","https://openalex.org/W6638431742","https://openalex.org/W6675205218"],"related_works":["https://openalex.org/W2171674700","https://openalex.org/W2034589735","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W2049993111","https://openalex.org/W1946493810","https://openalex.org/W2238880588","https://openalex.org/W2607268704","https://openalex.org/W1608485412"],"abstract_inverted_index":{"Model-based":[0],"requirements":[1,13,126],"validation":[2,35,54],"is":[3,37,51,79],"an":[4,150],"increasingly":[5],"attractive":[6],"approach":[7],"to":[8,110,120,123],"discovering":[9],"hidden":[10],"flaws":[11],"in":[12,14],"the":[15,34,40,66,74,85,94,105,112,125,128,142,145],"early":[16],"phases":[17],"of":[18,25,43,64,68,76,137,144,153],"systems":[19,46],"development":[20],"life":[21],"cycle.":[22],"The":[23,48],"application":[24,152],"using":[26],"traditional":[27],"methods":[28],"such":[29],"as":[30,61,135],"model":[31,69],"checking":[32],"for":[33,88],"purpose":[36],"limited":[38],"by":[39],"growing":[41],"complexity":[42],"embedded":[44],"real-time":[45],"(ERTS).":[47],"observer-based":[49],"technique":[50],"a":[52,62,154],"lightweight":[53],"technique,":[55],"which":[56],"has":[57],"shown":[58],"its":[59],"potential":[60],"means":[63],"validating":[65],"correctness":[67],"behaviors.":[70],"In":[71],"this":[72],"paper,":[73],"novelty":[75],"our":[77,89],"contributions":[78],"three-fold:":[80],"1)":[81],"we":[82,103,117],"formally":[83],"define":[84],"observer":[86,113],"constructs":[87],"formal":[90],"specification":[91,114],"language":[92,100,148],"namely":[93],"Timed":[95],"Abstract":[96],"State":[97],"Machine":[98],"(TASM)":[99],"and,":[101,115],"2)":[102],"propose":[104],"Events":[106],"Monitoring":[107],"Logic":[108],"(EvML)":[109],"facilitate":[111],"3)":[116],"show":[118],"how":[119],"execute":[121],"observers":[122],"validate":[124],"describing":[127],"functional":[129],"behaviors":[130],"and":[131],"non-functional":[132],"properties":[133],"(such":[134],"timing)":[136],"ERTS.":[138],"We":[139],"also":[140],"illustrate":[141],"applicability":[143],"extended":[146],"TASM":[147],"through":[149],"industrial":[151],"Vehicle":[155],"Locking-Unlocking":[156],"system.":[157]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}