{"id":"https://openalex.org/W4390054913","doi":"https://doi.org/10.21685/2072-3059-2023-3-1","title":"A method of restoring models in embedded systems using the event log","display_name":"A method of restoring models in embedded systems using the event log","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4390054913","doi":"https://doi.org/10.21685/2072-3059-2023-3-1"},"language":"en","primary_location":{"id":"doi:10.21685/2072-3059-2023-3-1","doi":"https://doi.org/10.21685/2072-3059-2023-3-1","is_oa":true,"landing_page_url":"http://dx.doi.org/10.21685/2072-3059-2023-3-1","pdf_url":null,"source":{"id":"https://openalex.org/S4306539230","display_name":"\u0418\u0437\u0432\u0435\u0441\u0442\u0438\u044f \u0432\u044b\u0441\u0448\u0438\u0445 \u0443\u0447\u0435\u0431\u043d\u044b\u0445 \u0437\u0430\u0432\u0435\u0434\u0435\u043d\u0438\u0439. \u041f\u043e\u0432\u043e\u043b\u0436\u0441\u043a\u0438\u0439 \u0440\u0435\u0433\u0438\u043e\u043d. \u0422\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043d\u0430\u0443\u043a\u0438","issn_l":"2072-3059","issn":["2072-3059"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University proceedings. Volga region. Technical sciences","raw_type":"journal-article"},"parent_works":[],"lineage":["https://openalex.org/W4390054913"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://dx.doi.org/10.21685/2072-3059-2023-3-1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101282775","display_name":"A.A. Goncharov","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A.A. Goncharov","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5010836748","display_name":"Sergei Bykovskii","orcid":"https://orcid.org/0000-0003-4163-9743","observed_orcids":["https://orcid.org/0000-0003-4163-9743"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S.V. Bykovskii","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1894,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.47940075,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9779999852180481,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9779999852180481,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.007899999618530273,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.00139999995008111,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.9049999713897705},{"id":"https://openalex.org/keywords/event-logs","display_name":"event logs","score":0.847000002861023},{"id":"https://openalex.org/keywords/process-mining","display_name":"process mining","score":0.9679999947547913},{"id":"https://openalex.org/keywords/behavior-verification","display_name":"behavior verification","score":0.5789999961853027},{"id":"https://openalex.org/keywords/model-alignment","display_name":"model alignment","score":0.5249999761581421},{"id":"https://openalex.org/keywords/cyber-physical-systems","display_name":"cyber-physical systems","score":0.7680000066757202},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.7789999842643738},{"id":"https://openalex.org/keywords/deviation-detection","display_name":"deviation detection","score":0.4790000021457672}],"concepts":[{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5638304352760315},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5186035633087158},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08061379194259644},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.21685/2072-3059-2023-3-1","doi":"https://doi.org/10.21685/2072-3059-2023-3-1","is_oa":true,"landing_page_url":"http://dx.doi.org/10.21685/2072-3059-2023-3-1","pdf_url":null,"source":{"id":"https://openalex.org/S4306539230","display_name":"\u0418\u0437\u0432\u0435\u0441\u0442\u0438\u044f \u0432\u044b\u0441\u0448\u0438\u0445 \u0443\u0447\u0435\u0431\u043d\u044b\u0445 \u0437\u0430\u0432\u0435\u0434\u0435\u043d\u0438\u0439. \u041f\u043e\u0432\u043e\u043b\u0436\u0441\u043a\u0438\u0439 \u0440\u0435\u0433\u0438\u043e\u043d. \u0422\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043d\u0430\u0443\u043a\u0438","issn_l":"2072-3059","issn":["2072-3059"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University proceedings. Volga region. Technical sciences","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:27636c30e15240c4ae98afee7aa99b74","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/27636c30e15240c4ae98afee7aa99b74","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"\u0418\u0437\u0432\u0435\u0441\u0442\u0438\u044f \u0432\u044b\u0441\u0448\u0438\u0445 \u0443\u0447\u0435\u0431\u043d\u044b\u0445 \u0437\u0430\u0432\u0435\u0434\u0435\u043d\u0438\u0439. \u041f\u043e\u0432\u043e\u043b\u0436\u0441\u043a\u0438\u0439 \u0440\u0435\u0433\u0438\u043e\u043d:\u0422\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043d\u0430\u0443\u043a\u0438, Iss 3 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.21685/2072-3059-2023-3-1","doi":"https://doi.org/10.21685/2072-3059-2023-3-1","is_oa":true,"landing_page_url":"http://dx.doi.org/10.21685/2072-3059-2023-3-1","pdf_url":null,"source":{"id":"https://openalex.org/S4306539230","display_name":"\u0418\u0437\u0432\u0435\u0441\u0442\u0438\u044f \u0432\u044b\u0441\u0448\u0438\u0445 \u0443\u0447\u0435\u0431\u043d\u044b\u0445 \u0437\u0430\u0432\u0435\u0434\u0435\u043d\u0438\u0439. \u041f\u043e\u0432\u043e\u043b\u0436\u0441\u043a\u0438\u0439 \u0440\u0435\u0433\u0438\u043e\u043d. \u0422\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043d\u0430\u0443\u043a\u0438","issn_l":"2072-3059","issn":["2072-3059"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"University proceedings. Volga region. Technical sciences","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4399375407","https://openalex.org/W7033576511","https://openalex.org/W4312975269","https://openalex.org/W3010812209","https://openalex.org/W2111207692","https://openalex.org/W1827770152","https://openalex.org/W4308618811","https://openalex.org/W7095541866","https://openalex.org/W7097376093","https://openalex.org/W2945930006"],"abstract_inverted_index":{"Background.":[0],"In":[1],"connection":[2],"with":[3,119],"the":[4,11,15,26,31,35,42,62,78,81,85,88,100,104,110,112,122,125,130,137,143,169,178,189,197,200,205],"wide":[5],"dissemination":[6],"of":[7,13,17,21,25,33,37,64,80,103,121,129,140,157,195,199,207,214],"cyber-physical":[8],"systems":[9,19,39,151],"concept,":[10],"issues":[12],"analyzing":[14],"processes":[16],"embedded":[18,38,150],"are":[20],"interest.":[22],"The":[23,56,71,91,161],"purpose":[24],"study":[27],"is":[28,94],"to":[29,76,167,211],"automate":[30],"process":[32,65,170,215],"verifying":[34],"behavior":[36,44,83,202],"by":[40],"restoring":[41],"observed":[43,82],"model":[45,79,93,171],"from":[46,84,87,188],"event":[47,89],"logs":[48],"and":[49,54,67,155,175,186],"its":[50],"subsequent":[51],"analysis.":[52],"Materials":[53],"methods.":[55],"research":[57],"was":[58,133],"carried":[59,134],"out":[60,135],"using":[61,124],"methods":[63],"mining":[66],"graph":[68],"theory.":[69],"Results.":[70],"proposed":[72,114,162],"method":[73,163],"allows":[74],"you":[75],"extract":[77,109],"data":[86],"log.":[90],"retrieved":[92],"visualized":[95],"as":[96],"a":[97,115],"graph,":[98],"considering":[99],"frequency":[101],"characteristics":[102],"events":[105],"taking":[106],"place.":[107],"To":[108],"model,":[111],"authors":[113],"modified":[116],"inductive":[117],"algorithm":[118],"post-processing":[120],"results":[123],"alignment":[126],"algorithm.":[127],"Evaluation":[128],"method\u2019s":[131],"effectiveness":[132],"on":[136,153,204],"student":[138],"base":[139],"programs":[141,174],"for":[142,148,172,181],"laboratory":[144],"stand-designer":[145],"SDK-1.1M,":[146],"designed":[147],"prototyping":[149],"based":[152,203],"microcontrollers":[154],"Internet":[156],"things":[158],"systems.":[159],"Conclusions.":[160],"made":[164],"it":[165],"possible":[166],"restore":[168],"various":[173],"then":[176],"use":[177],"resulting":[179],"models":[180],"mutual":[182],"comparison,":[183],"identifying":[184],"compliance":[185,213],"deviations":[187],"desired":[190],"behavior.":[191],"Achieved":[192],"full":[193],"automation":[194],"checking":[196],"correctness":[198],"system":[201],"reproduction":[206],"objects":[208],"(tokenbased":[209],"replay)":[210],"check":[212],"models.":[216]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-11-14T11:04:58.165337","created_date":"2023-12-22T00:00:00"}