{"id":"https://openalex.org/W580097902","doi":null,"title":"An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems","display_name":"An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W580097902","mag":"580097902"},"language":"en","primary_location":{"id":"pmh:oai:DiVA.org:mdh-25876","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25876","pdf_url":null,"source":{"id":"https://openalex.org/S4306400653","display_name":"Diva portal (Dalarna University Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"info:eu-repo/semantics/masterThesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25876","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Jiale Zhou","orcid":"https://orcid.org/0000-0002-7643-7984","observed_orcids":["https://orcid.org/0000-0002-7643-7984"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jiale Zhou","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7643-7984","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.45579999685287476,"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.45579999685287476,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.3411000072956085,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.08470000326633453,"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/requirements-validation","display_name":"requirements validation","score":0.953000009059906},{"id":"https://openalex.org/keywords/requirements-traceability","display_name":"requirements traceability","score":0.9860000014305115},{"id":"https://openalex.org/keywords/real-time-embedded-systems","display_name":"real-time embedded systems","score":0.8669999837875366},{"id":"https://openalex.org/keywords/use-case-modeling","display_name":"use case modeling","score":0.6899999976158142},{"id":"https://openalex.org/keywords/contextual-analysis","display_name":"contextual analysis","score":0.7179999947547913},{"id":"https://openalex.org/keywords/state-explosion-problem","display_name":"state explosion problem","score":0.671999990940094}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6138818860054016},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5972801446914673},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.5289556980133057},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4407517910003662},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:DiVA.org:mdh-25876","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25876","pdf_url":null,"source":{"id":"https://openalex.org/S4306400653","display_name":"Diva portal (Dalarna University Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"info:eu-repo/semantics/masterThesis"},{"id":"mag:580097902","doi":null,"is_oa":false,"landing_page_url":"https://www.es.mdh.se/pdf_publications/3714.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:DiVA.org:mdh-25876","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25876","pdf_url":null,"source":{"id":"https://openalex.org/S4306400653","display_name":"Diva portal (Dalarna University Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"info:eu-repo/semantics/masterThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":82,"referenced_works":["https://openalex.org/W74572488","https://openalex.org/W84148826","https://openalex.org/W125598877","https://openalex.org/W132175347","https://openalex.org/W147997025","https://openalex.org/W173398129","https://openalex.org/W185737447","https://openalex.org/W204878202","https://openalex.org/W1481138807","https://openalex.org/W1493936494","https://openalex.org/W1535889317","https://openalex.org/W1537864410","https://openalex.org/W1554977156","https://openalex.org/W1556900989","https://openalex.org/W1560870874","https://openalex.org/W1577971814","https://openalex.org/W1585054116","https://openalex.org/W1589510195","https://openalex.org/W1601674470","https://openalex.org/W1608654004","https://openalex.org/W1710690747","https://openalex.org/W1734269280","https://openalex.org/W1825341937","https://openalex.org/W1849935949","https://openalex.org/W1853368733","https://openalex.org/W1863028222","https://openalex.org/W1880262756","https://openalex.org/W1971446127","https://openalex.org/W1973293041","https://openalex.org/W1976145740","https://openalex.org/W1981576984","https://openalex.org/W1994454939","https://openalex.org/W1997650168","https://openalex.org/W2000254486","https://openalex.org/W2000331189","https://openalex.org/W2034717157","https://openalex.org/W2038510031","https://openalex.org/W2043170794","https://openalex.org/W2045895677","https://openalex.org/W2071477927","https://openalex.org/W2072325005","https://openalex.org/W2076285066","https://openalex.org/W2080013210","https://openalex.org/W2081225042","https://openalex.org/W2099175080","https://openalex.org/W2099213660","https://openalex.org/W2100348239","https://openalex.org/W2101623441","https://openalex.org/W2105630203","https://openalex.org/W2114768982","https://openalex.org/W2115179079","https://openalex.org/W2117577756","https://openalex.org/W2117990499","https://openalex.org/W2119678820","https://openalex.org/W2125551606","https://openalex.org/W2128581098","https://openalex.org/W2129559874","https://openalex.org/W2132420969","https://openalex.org/W2140251122","https://openalex.org/W2140264852","https://openalex.org/W2144477072","https://openalex.org/W2145369817","https://openalex.org/W2146415301","https://openalex.org/W2146781646","https://openalex.org/W2147880466","https://openalex.org/W2155928322","https://openalex.org/W2157949509","https://openalex.org/W2159079542","https://openalex.org/W2160889556","https://openalex.org/W2162135772","https://openalex.org/W2163960678","https://openalex.org/W2164414043","https://openalex.org/W2164765430","https://openalex.org/W2165612380","https://openalex.org/W2166941896","https://openalex.org/W2177797324","https://openalex.org/W2185380916","https://openalex.org/W2243325463","https://openalex.org/W2402765878","https://openalex.org/W2498360300","https://openalex.org/W2506353248","https://openalex.org/W2913459036"],"related_works":["https://openalex.org/W1993303511","https://openalex.org/W1521804293","https://openalex.org/W2002460562","https://openalex.org/W2084463489","https://openalex.org/W7097660328","https://openalex.org/W4411115424","https://openalex.org/W7099104485","https://openalex.org/W2068989365","https://openalex.org/W4321125943","https://openalex.org/W2023076868"],"abstract_inverted_index":{"With":[0],"the":[1,25,29,42,50,72,133,141,170,189,206,221,256,294,308,315,324],"growing":[2],"complexity":[3],"of":[4,24,31,83,90,110,172,297,326],"embedded":[5],"real-time":[6],"systems,":[7,33],"requirements":[8,58,67,78,94,106,116,202,213,217,233,252,287],"validation":[9,203,253,288],"becomes":[10],"an":[11,230],"ever-more":[12],"critical":[13],"activity":[14],"for":[15,285],"developing":[16],"such":[17,145,152],"systems.":[18],"Studies":[19],"have":[20,46,228,245,273,292,322],"revealed":[21],"that":[22],"most":[23],"anomalies,":[26],"discovered":[27],"in":[28,81,329],"development":[30,165],"complex":[32],"belong":[34],"to":[35,65,155,168,177,184,204,251,306],"requirement":[36],"and":[37,57,117,126,182,215,267],"specification":[38,304],"phases.":[39],"To":[40],"ease":[41,169,205],"situation,":[43],"many":[44],"efforts":[45],"been":[47],"investigated":[48],"into":[49,97,140],"area.":[51],"Model-based":[52],"techniques,":[53,71],"enabling":[54],"formal":[55],"semantics":[56],"traceability,":[59],"are":[60,79,95,129,210,224],"emerging":[61],"as":[62,112,114,121,153,311,313],"promising":[63],"solutions":[64],"cost-effective":[66],"validation.":[68,218],"In":[69,193,219],"these":[70],"functional":[73],"behaviors":[74],"derived":[75],"from":[76,149],"lower-level":[77],"specified":[80],"terms":[82],"analyzable":[84,127],"models":[85,186],"at":[86,107],"a":[87,238,247,279,301],"certain":[88],"level":[89],"abstraction.":[91],"Further,":[92],"upper-level":[93],"formalized":[96],"verifiable":[98,122],"queries":[99,123,134,179],"and/or":[100,124,135,180],"formulas.":[101],"Meanwhile,":[102],"trace":[103,160],"links":[104,161],"between":[105,115,163],"various":[108,334],"levels":[109],"abstraction":[111],"well":[113,312],"subsequent":[118],"artifacts":[119],"(such":[120],"formulas,":[125,181],"models)":[128],"built,":[130],"through":[131,333],"which":[132,209],"formulas":[136],"can":[137],"be":[138],"fed":[139],"corresponding":[142,316],"models.":[143],"However,":[144],"model-based":[146,216,249,276],"techniques":[147],"suffer":[148],"some":[150],"limitations,":[151,208],"how":[154,167,183],"support":[156],"semi-":[157],"or":[158],"fully-automatic":[159],"creation":[162],"diverse":[164],"artifacts,":[166],"demand":[171],"heavy":[173],"mathematics":[174],"background":[175],"knowledge":[176],"specify":[178],"analyze":[185],"without":[187],"encountering":[188],"state":[190],"explosion":[191],"problem.":[192],"this":[194],"thesis,":[195],"we":[196,227,244,272,291,321],"cover":[197],"two":[198],"aspects":[199],"centering":[200],"around":[201],"aforementioned":[207],"mainly":[211],"about":[212],"traceability":[214,234],"particular,":[220],"technical":[222],"contributions":[223,328],"four-fold:":[225],"1)":[226],"introduced":[229],"improved":[231,293],"VSM-based":[232],"creation/recovery":[235],"approach":[236,250,277,284],"using":[237,255],"novel":[239],"context":[240],"analysis":[241],"and,":[242,270,289],"2)":[243],"proposed":[246],"lightweight":[248],"by":[254],"Timed":[257],"Abstract":[258],"State":[259],"Machine":[260],"(TASM)":[261],"language":[262],"with":[263,278],"newly":[264],"defined":[265],"Observer":[266,295],"Event":[268],"constructs":[269],"3)":[271],"combined":[274],"our":[275,327],"restricted":[280],"use":[281],"case":[282],"modeling":[283],"feature-oriented":[286],"4)":[290],"construct":[296],"TASM":[298],"via":[299],"proposing":[300],"new":[302],"observer":[303,309,317],"logic":[305],"facilitate":[307],"specification,":[310],"defining":[314],"execution":[318],"process.":[319],"Finally,":[320],"demonstrated":[323],"applicability":[325],"real":[330],"world":[331],"usage":[332],"applications.":[335]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}