{"id":"https://openalex.org/W2901616248","doi":"https://doi.org/10.17586/2226-1494-2018-18-5-801-808","title":"Testing and debugging of embedded computing systems based on level models","display_name":"Testing and debugging of embedded computing systems based on level models","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2901616248","doi":"https://doi.org/10.17586/2226-1494-2018-18-5-801-808","mag":"2901616248"},"language":"en","primary_location":{"id":"doi:10.17586/2226-1494-2018-18-5-801-808","doi":"https://doi.org/10.17586/2226-1494-2018-18-5-801-808","is_oa":true,"landing_page_url":"https://doi.org/10.17586/2226-1494-2018-18-5-801-808","pdf_url":"https://ntv.ifmo.ru/file/article/18136.pdf","source":{"id":"https://openalex.org/S2738455068","display_name":"Scientific and technical journal of information technologies mechanics and optics","issn_l":"2226-1494","issn":["2226-1494","2500-0373"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4310312740","host_organization_name":"Saint Petersburg State University of Information Technologies, Mechanics and Optics","host_organization_lineage":["https://openalex.org/P4310312740"],"host_organization_lineage_names":["Saint Petersburg State University of Information Technologies, Mechanics and Optics"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific and Technical Journal of Information Technologies, Mechanics and Optics","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ntv.ifmo.ru/file/article/18136.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056159818","display_name":"Vasiliy Pinkevich","orcid":"https://orcid.org/0000-0002-8635-5026","observed_orcids":["https://orcid.org/0000-0002-8635-5026"]},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V.Yu. Pinkevich","raw_affiliation_strings":["ITMO University, Saint Petersburg, 197101, Russian Federation","\u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442 \u0418\u0422\u041c\u041e"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ITMO University, Saint Petersburg, 197101, Russian Federation","institution_ids":["https://openalex.org/I173089394"]},{"raw_affiliation_string":"\u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442 \u0418\u0422\u041c\u041e","institution_ids":["https://openalex.org/I173089394"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112273505","display_name":"Alexey Platunov","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A.E. Platunov","raw_affiliation_strings":["ITMO University, Saint Petersburg, 197101, Russian Federation","\u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442 \u0418\u0422\u041c\u041e"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ITMO University, Saint Petersburg, 197101, Russian Federation","institution_ids":["https://openalex.org/I173089394"]},{"raw_affiliation_string":"\u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442 \u0418\u0422\u041c\u041e","institution_ids":["https://openalex.org/I173089394"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I173089394"],"apc_list":null,"apc_paid":null,"fwci":0.2698,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.55855196,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"801","last_page":"808"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.8910999894142151,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.8910999894142151,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.047600001096725464,"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.01860000006854534,"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/embedded-systems-testing","display_name":"embedded systems testing","score":0.8629999756813049},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"verification and validation","score":0.9559999704360962}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7949281930923462},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7856754064559937},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.45309925079345703},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.43683740496635437},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43548792600631714},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3490716814994812},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29157739877700806},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1287766695022583}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.17586/2226-1494-2018-18-5-801-808","doi":"https://doi.org/10.17586/2226-1494-2018-18-5-801-808","is_oa":true,"landing_page_url":"https://doi.org/10.17586/2226-1494-2018-18-5-801-808","pdf_url":"https://ntv.ifmo.ru/file/article/18136.pdf","source":{"id":"https://openalex.org/S2738455068","display_name":"Scientific and technical journal of information technologies mechanics and optics","issn_l":"2226-1494","issn":["2226-1494","2500-0373"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4310312740","host_organization_name":"Saint Petersburg State University of Information Technologies, Mechanics and Optics","host_organization_lineage":["https://openalex.org/P4310312740"],"host_organization_lineage_names":["Saint Petersburg State University of Information Technologies, Mechanics and Optics"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific and Technical Journal of Information Technologies, Mechanics and Optics","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:422d163c11044dffa80b52f7f5cef29b","doi":null,"is_oa":false,"landing_page_url":"https://doaj.org/article/422d163c11044dffa80b52f7f5cef29b","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"\u041d\u0430\u0443\u0447\u043d\u043e-\u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0432\u0435\u0441\u0442\u043d\u0438\u043a \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u044b\u0445 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0439, \u043c\u0435\u0445\u0430\u043d\u0438\u043a\u0438 \u0438 \u043e\u043f\u0442\u0438\u043a\u0438, Vol 18, Iss 5, Pp 801-808 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.17586/2226-1494-2018-18-5-801-808","doi":"https://doi.org/10.17586/2226-1494-2018-18-5-801-808","is_oa":true,"landing_page_url":"https://doi.org/10.17586/2226-1494-2018-18-5-801-808","pdf_url":"https://ntv.ifmo.ru/file/article/18136.pdf","source":{"id":"https://openalex.org/S2738455068","display_name":"Scientific and technical journal of information technologies mechanics and optics","issn_l":"2226-1494","issn":["2226-1494","2500-0373"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4310312740","host_organization_name":"Saint Petersburg State University of Information Technologies, Mechanics and Optics","host_organization_lineage":["https://openalex.org/P4310312740"],"host_organization_lineage_names":["Saint Petersburg State University of Information Technologies, Mechanics and Optics"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific and Technical Journal of Information Technologies, Mechanics and Optics","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2901616248.pdf","grobid_xml":"https://content.openalex.org/works/W2901616248.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W642707734","https://openalex.org/W1493249179","https://openalex.org/W1549644356","https://openalex.org/W1994901326","https://openalex.org/W2067169699","https://openalex.org/W2147524308","https://openalex.org/W2156591015","https://openalex.org/W2401585136","https://openalex.org/W2606473108","https://openalex.org/W2743711279","https://openalex.org/W2760375378","https://openalex.org/W2767693216","https://openalex.org/W2792382948","https://openalex.org/W4245492023"],"related_works":["https://openalex.org/W3042122974","https://openalex.org/W7095523563","https://openalex.org/W2069551984","https://openalex.org/W1485806188","https://openalex.org/W4255107862","https://openalex.org/W2010281664","https://openalex.org/W2062326632","https://openalex.org/W7015694055","https://openalex.org/W2581790162","https://openalex.org/W7097534998"],"abstract_inverted_index":{"Subject":[0],"of":[1,8,10,19,47,62,66,73,76,79,91,94,104,131,139,145,161,172,175,187,190,192,209,217,231,258],"Research.The":[2],"paper":[3],"deals":[4],"with":[5,23],"the":[6,60,85,89,92,98,124,132,140,155,166,170,173,181,197,241,247,259],"problem":[7],"organization":[9],"testing":[11,37,112,149,260],"and":[12,38,50,102,113,178,226,249,256,261],"debugging":[13,39,227,262],"in":[14,165,228,240],"complex":[15,77,229],"(full":[16],"stack)":[17],"projects":[18,78,230,244],"embedded":[20,48,67,80,95,110,146,162,182,194,210,232,242],"computing":[21],"systems":[22,49,68,96,111,147,163,183,195,211,243],"heterogeneous":[24],"structure.":[25],"The":[26,55,109,143,204],"work":[27],"is":[28,41,57,120,150],"aimed":[29],"at":[30,158,214],"unified":[31,74],"formal":[32],"method":[33,72,115,144,199,205],"development":[34],"to":[35,43,52,221,246],"organize":[36,222],"that":[40],"applicable":[42],"a":[44,71,129,135,254],"wide":[45],"range":[46],"invariant":[51],"their":[53,218],"implementation.":[54],"conclusion":[56],"drawn":[58],"about":[59],"prospects":[61],"using":[63,196],"level":[64,118,184],"models":[65,119],"representation":[69,185,252],"as":[70,128,253],"modeling":[75],"systems.":[81],"Method.":[82],"To":[83],"develop":[84],"method,":[86,133],"we":[87],"used":[88],"abstractions":[90],"HLD-methodology":[93],"design,":[97],"\"model-process-processor\"":[99,125],"architectural":[100,126],"style":[101],"methods":[103],"set":[105],"theory.":[106],"Main":[107],"Results.":[108],"debug":[114],"based":[116],"on":[117],"developed.":[121],"We":[122],"enhanced":[123],"style,":[127,168],"part":[130],"for":[134],"more":[136],"accurate":[137],"description":[138,191],"virtualization":[141],"relations.":[142],"multi-level":[148,193],"developed,":[151],"which":[152],"allows":[153],"describing":[154],"test":[156,212],"environment":[157],"different":[159,215],"phases":[160,216],"creation":[164],"same":[167],"provides":[169],"formalization":[171,257],"concepts":[174],"testing,":[176,223],"verification":[177],"validation":[179,225],"from":[180],"point":[186],"view.":[188],"Examples":[189],"developed":[198],"are":[200],"given.":[201],"Practical":[202],"Relevance.":[203],"provided":[206],"documentation":[207],"techniques":[208],"environments":[213],"creation,":[219],"ways":[220],"verification,":[224],"systems.The":[233],"proposed":[234],"approach":[235],"increases":[236],"requirements":[237],"control":[238],"efficiency":[239],"owing":[245],"end-to-end":[248],"transparent":[250],"project":[251],"whole":[255],"procedures.":[263]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2018-11-29T00:00:00"}