{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:39:25Z","timestamp":1775014765745,"version":"3.50.1"},"reference-count":59,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1134\/s0361768813050022","type":"journal-article","created":{"date-parts":[[2013,9,14]],"date-time":"2013-09-14T10:06:24Z","timestamp":1379153184000},"page":"221-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Problems of instrumental support for the development of distributed embedded real-time systems"],"prefix":"10.1134","volume":"39","author":[{"given":"A. G.","family":"Bakhmurov","sequence":"first","affiliation":[]},{"given":"R. L.","family":"Smelyansky","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2013,9,15]]},"reference":[{"key":"6185_CR1","volume-title":"Osnovy teorii avtomaticheskikh sistem","author":"YaZ Tsypkin","year":"1977","unstructured":"Tsypkin, Ya.Z., Osnovy teorii avtomaticheskikh sistem (Foundations of the Theory of Automatic Systems), Moscow: Nauka, 1977."},{"key":"6185_CR2","volume-title":"Teoriya upravleniya organizatsionnymi sistemami","author":"DA Novikov","year":"2007","unstructured":"Novikov, D.A., Teoriya upravleniya organizatsionnymi sistemami (Theory of Control of Organizational Systems), Moscow: Fizmatlit, 2007."},{"key":"6185_CR3","unstructured":"Supervisory control and data acquisition (SCADA) systems, NCS TIB 04-01, October 2004."},{"key":"6185_CR4","unstructured":"IEEE Standard 1516-2000 for Modeling and Simulation (M&S) High Level Architecture (HLA)-Framework and Rules. http:\/\/standards.ieee.org\/findstds\/standard\/1516-2000.html"},{"key":"6185_CR5","unstructured":"RTCA\/DO-178B, Software considerations in airborne systems and equipment certification, December 1, 1992."},{"key":"6185_CR6","unstructured":"IEC 61508-1 ed2.0 (2010-04), Functional safety of electrical\/electronic\/programmable electronic safety-related systems. http:\/\/www.iec.ch\/functionalsafety\/standards\/page2.html"},{"key":"6185_CR7","unstructured":"ISO 26262-6:2011. Road vehicles-Functional safety. Part 6: Product development at the software level. http:\/\/www.iso.org\/iso\/home\/store\/catalogue-tc\/catalogue-detail.htm?csnumber=51362"},{"key":"6185_CR8","unstructured":"http:\/\/www.autosar.org\/"},{"key":"6185_CR9","unstructured":"http:\/\/www.misra.org.uk\/"},{"key":"6185_CR10","unstructured":"CSN EN 50128, Railway applications-Communications, signalling and processing systems-Software for railway control and protection systems. http:\/\/www.enstandard.eu\/en-50128-railway-applications-communications-signalling-and-processing-systems-software\u2014for-railway-control-and-protection-systems\/?gclid= CN-ZsbyR27QCFY94cAod31AADA"},{"key":"6185_CR11","unstructured":"http:\/\/www.mathworks.com\/products\/simulink"},{"key":"6185_CR12","unstructured":"http:\/\/www.esterel-technologies.com\/products\/scadesuite"},{"key":"6185_CR13","first-page":"228","volume-title":"Sistemnaya informatika","author":"AN Terekhov","year":"1997","unstructured":"Terekhov, A.N. and Parfenov, B.B., RTST: A technology of programming of real-time embedded systems, Sistemnaya informatika (System Informatics), vol. 5, Novosibirsk: Sibirskaya izdatel\u2019skaya firma RAN, 1997, pp. 228\u2013256."},{"key":"6185_CR14","first-page":"276","volume-title":"Programming Comput. Software","author":"AN Terekhov","year":"1999","unstructured":"Terekhov, A.N., Romanovskii, K.Yu., Koznov, D.V., Dolgov, P.S., and Ivanov, A.N., RTST++: Methodology and a CASE tool for the development of information systems and software for real-time systems, Programming Comput. Software, 1999, no. 5, pp. 276\u2013281."},{"key":"6185_CR15","unstructured":"http:\/\/www.ellidiss.com\/stood.asp"},{"key":"6185_CR16","unstructured":"http:\/\/ellidiss.office-on-the.net\/trac\/public"},{"key":"6185_CR17","unstructured":"http:\/\/www.topcased.org"},{"issue":"3","key":"6185_CR18","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/5.558708","volume":"85","author":"G de Micheli","year":"1997","unstructured":"de Micheli, G. and Gupta, R.K., Hardware\/software co-design, Proc. IEEE, 1997, vol. 85, no. 3, pp. 349\u2013365.","journal-title":"Proc. IEEE"},{"issue":"7","key":"6185_CR19","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1109\/5.293155","volume":"82","author":"WH Wolf","year":"1994","unstructured":"Wolf, W.H., Hardware-software codesign of embedded systems, Proc. IEEE, 1994, vol. 82, no. 7, pp. 967\u2013989.","journal-title":"Proc. IEEE"},{"key":"6185_CR20","volume-title":"Vysokourovnevoe proektirovanie vstraivaemykh sistem","author":"AN Platunov","year":"2011","unstructured":"Platunov, A.N. and Postnikov, N.P., Vysokourovnevoe proektirovanie vstraivaemykh sistem (High-Level Design of Embedded Systems), Part 1, St. Petersburg: NIU ITMO, 2011."},{"key":"#cr-split#-6185_CR21.1","unstructured":"Bakhmurov, A., Kapitonova, A., and Smeliansky, R., DYANA: An environment for embedded system design and analysis, Proc. of the 5th Int. Conf. TACAS'99, Amsterdam, The Netherlands, March 22-28, 1999"},{"key":"#cr-split#-6185_CR21.2","unstructured":"Lect. Notes Comput. Sci., 1999, vol. 1579, pp. 390-404."},{"key":"6185_CR22","unstructured":"Technical information on the ADvantage framework. http:\/\/www.adi.com\/products-sim.htm"},{"key":"6185_CR23","volume-title":"Proc. of the 7th Int. Conf. AC-DC Power Transmission","author":"KH Chan","year":"2001","unstructured":"Chan, K.H., Parle, J.A., Johnson, N., and Acha, E., Real-time implementation of a HVDC-VSC model for application in a scaled-down wind energy conversion system, Proc. of the 7th Int. Conf. AC-DC Power Transmission, London, 2001."},{"key":"6185_CR24","unstructured":"Technical information on ProSys-RT. http:\/\/www.prosys-rt.de"},{"key":"6185_CR25","unstructured":"Cosateq plays key role in development of SSJ100 electronic bird (press release). http:\/\/www.airframer.com\/news-story.html?release=1898"},{"key":"6185_CR26","unstructured":"Technical information on dSPACE tools. http:\/\/www.dspace.de\/ww\/en\/gmb\/home\/products\/systems.cfm"},{"key":"6185_CR27","volume-title":"Proc. of the IEEE 2006 CCA\/CACSD\/ISIC Conf.","author":"R Stolpe","year":"2006","unstructured":"Stolpe, R. and Stroop, J., Prototyping of automotive control systems in a time-triggered environment using FlexRay, Proc. of the IEEE 2006 CCA\/CACSD\/ISIC Conf., Munich, 2006."},{"key":"6185_CR28","volume-title":"Tech. Rep. NLR-TP-2000-658","author":"MPAM Brouwer","year":"2000","unstructured":"Brouwer, M.P.A.M., Castelijn, A.A., van Ingen Schenau, H.A., Oving, B.A., Timmermans, L.J., and Zwartbol, T., Developments in test and verification equipment for spacecraft, Tech. Rep. NLR-TP-2000-658, National Aerospace Laboratory, Netherlands, 2000."},{"key":"6185_CR29","unstructured":"http:\/\/sine.ni.com\/np\/app\/main\/p\/docid\/nav-104\/lang\/ru\/"},{"key":"6185_CR30","unstructured":"http:\/\/www.windriver.com\/products\/simics\/"},{"key":"6185_CR31","unstructured":"Engblom, J., Why Simics won\u2019t run Super Mario. http:\/\/blogs.windriver.com\/tools\/2011\/10\/why-simicswont-run-super-mario-.html#iid=5882"},{"key":"6185_CR32","unstructured":"http:\/\/www.mentor.com\/products\/sm\/model-development\/bridgepoint\/"},{"key":"6185_CR33","unstructured":"http:\/\/www.mentor.com\/products\/sm\/system-integration-simulation-analysis\/systemvision\/"},{"key":"6185_CR34","first-page":"16","volume-title":"Proc. of the 3rd All-Russian Sci. Conf. \u201cMethods and Tools of Information Processing,\u201d","author":"VV Balashov","year":"2009","unstructured":"Balashov, V.V., Bakhmurov, A.G., Volkanov, D.Yu., Smeliansky, R.L., Chistolinov, M.V., and Yushchenko, N.V., Hardware-in-the-loop simulation stand for the development of embedded computing systems, Proc. of the 3rd All-Russian Sci. Conf. \u201cMethods and Tools of Information Processing,\u201d Moscow: MSU, 2009, pp. 16\u201325."},{"issue":"5","key":"6185_CR35","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1134\/S0361768813050058","volume":"39","author":"RL Smeliansky","year":"2013","unstructured":"Smeliansky, R.L., Bakhmurov, A.G., Volkanov, D.Yu., and Chemeritskii, E.V., Integrated Environment for the analysis and development of distributed embedded real-time computing systems, Programming Comput. Software, 2013, vol. 39, no. 5, pp. 242\u2013253.","journal-title":"Programming Comput. Software"},{"key":"6185_CR36","unstructured":"http:\/\/www.ballardtech.com\/products.aspx\/CoPilot\/"},{"key":"6185_CR37","unstructured":"http:\/\/www.ddc-web.com\/Products\/51\/Default.aspx"},{"key":"6185_CR38","unstructured":"http:\/\/www.techsat.com\/products\/software\/ads2.html"},{"key":"6185_CR39","volume-title":"Proc. of the 4th EUCASS European Conf. for Aerospace Sci. (EUCASS\u20192011)","author":"VV Balashov","year":"2011","unstructured":"Balashov, V.V., Balakhanov, V.A., Bakhmurov, A.G., Chistolinov, M.V., Shestov, P.E., Smeliansky, R.L., and Youshchenko, N.V., Tools for monitoring of data exchange in real-time avionics systems, Proc. of the 4th EUCASS European Conf. for Aerospace Sci. (EUCASS\u20192011), 2011."},{"key":"6185_CR40","unstructured":"http:\/\/www.wyle.com\/ServicesSolutions\/TestEvaluation\/Qualification-CertificationT-E\/TelemetryEquipment\/DataRecorders\/Pages\/imuxg2-T5.aspx"},{"key":"6185_CR41","unstructured":"http:\/\/www.tripac.com\/rapid-rma"},{"key":"6185_CR42","unstructured":"http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar\/"},{"key":"6185_CR43","unstructured":"Cheddar update and research roadmap. https:\/\/wiki.sei.cmu.edu\/aadl\/images\/a\/a8\/Cheddar-paris-aadlmeeting-june-2011.pdf"},{"key":"6185_CR44","unstructured":"http:\/\/mast.unican.es\/"},{"issue":"9","key":"6185_CR45","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1243\/09544100JAERO691","volume":"224","author":"VV Balashov","year":"2010","unstructured":"Balashov, V.V., Balakhanov, V.A., Kostenko, V.A., Smeliansky, R.L., Kokarev, V.A., and Shestov, P.E., A technology for scheduling of data exchange over bus with centralized control in onboard avionics systems, Proc. Inst. Mech. Eng., Part G, 2010, vol. 224, no. 9, pp. 993\u20131004.","journal-title":"Proc. Inst. Mech. Eng., Part G"},{"issue":"5","key":"6185_CR46","volume":"39","year":"2013","unstructured":"Kostenko, V.A., Scheduling algorithms for real-time computing systems allowing for the use of simulation models, Programming Comput. Software, 2013, vol. 39, no. 5.","journal-title":"Programming Comput. Software"},{"key":"6185_CR47","first-page":"564","volume-title":"Proc. of the 2nd All-Russian Sci. Conf. \u201cMethods and Tools of Information Processing,\u201d","author":"VA Kostenko","year":"2005","unstructured":"Kostenko, V.A. and Smeliansky, R.L., A technique and algorithms for the design of computing system structures from information about the behavior of programs, Proc. of the 2nd All-Russian Sci. Conf. \u201cMethods and Tools of Information Processing,\u201d Moscow: MSU, 2005, pp. 564\u2013571."},{"key":"6185_CR48","first-page":"887","volume-title":"J. Comp. Sys. Sci. Int.","author":"VV Balashov","year":"2007","unstructured":"Balashov, V.V., Recommendation generation algorithms for scheduling of data exchange through a channel with centralized control, J. Comp. Sys. Sci. Int., 2007, no. 6, pp. 887\u2013894."},{"key":"6185_CR49","first-page":"1385","volume-title":"Proc. of the Fourth Int. Conf. \u201cParallel Computing and Control Problems\u201d (RASO2008)","author":"VV Balashov","year":"2008","unstructured":"Balashov, V.V. and Shestov, P.E., Recommendation generation for providing compatibility of requirements for data exchange over a bus with centralized arbitration in real time embedded systems, Proc. of the Fourth Int. Conf. \u201cParallel Computing and Control Problems\u201d (RASO2008), Moscow: Trapeznikov Inst. of Control Problems RAS: 2008, pp. 1385\u20131404."},{"key":"6185_CR50","first-page":"157","volume-title":"Programmnye sistemy i instrumenty","author":"NV Yushchenko","year":"2001","unstructured":"Yushchenko, N.V., Evaluation of the program execution time by the static-dynamic method, Programmnye sistemy i instrumenty (Program Systems and Tools), Korolev, L.N., Ed., Moscow: MSU, 2001, pp. 157\u2013167."},{"issue":"3","key":"6185_CR51","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., et al., The worst-case execution time problem-overview of methods and survey of tools, ACM Trans. Embed. Comput. Syst., 2008, vol. 7, no. 3, pp. 1\u201353.","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"1","key":"6185_CR52","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., and Dill, D.L., Model-checking in dense real-time, Inf. Comput., 1993, vol. 104, no. 1, pp. 2\u201334.","journal-title":"Inf. Comput."},{"key":"6185_CR53","first-page":"55","volume-title":"Formal Methods for Real-Time Computing, Trends in Software Series","author":"R Alur","year":"1996","unstructured":"Alur, R. and Dill, D.L., Automata-theoretic verification of real-time systems, Formal Methods for Real-Time Computing, Trends in Software Series, Wiley, 1996, pp. 55\u201382."},{"key":"6185_CR54","unstructured":"Volkanov, D.Yu., Zakharov, V.A., Zorin, D.A., Konnov, I.V., and Podymov, V.V., Combined verification tool for real-time distributed computing systems, Programming Comput. Software, accepted for publication."},{"key":"6185_CR55","unstructured":"http:\/\/www.sisostds.org"},{"key":"6185_CR56","unstructured":"http:\/\/www.omgwiki.org\/MBSE\/doku.php?id=mbse:modsim"},{"issue":"6","key":"6185_CR57","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1134\/S036176880606003X","volume":"32","author":"KO Savenkov","year":"2006","unstructured":"Savenkov, K.O. and Smeliansky, R.L., Scaling down discrete-event simulation models, Programming Comput. Software, 2006, vol. 32, no. 6, pp. 308\u2013316.","journal-title":"Programming Comput. Software"},{"issue":"3","key":"6185_CR58","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1023\/A:1015636230903","volume":"28","author":"VA Kostenko","year":"2002","unstructured":"Kostenko, V.A., The problem of schedule construction in the joint design of hardware and software, Programming Comput. Software, 2002, vol. 28, no. 3, pp. 162\u2013173.","journal-title":"Programming Comput. Software"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813050022.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768813050022","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813050022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813050022.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:21:37Z","timestamp":1775010097000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768813050022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":59,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["6185"],"URL":"https:\/\/doi.org\/10.1134\/s0361768813050022","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9]]},"assertion":[{"value":"2 February 2013","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 September 2013","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}