{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:25:15Z","timestamp":1775013915237,"version":"3.50.1"},"reference-count":61,"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\/s0361768813050058","type":"journal-article","created":{"date-parts":[[2013,9,14]],"date-time":"2013-09-14T10:06:24Z","timestamp":1379153184000},"page":"242-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Integrated environment for the analysis and design of distributed real-time embedded computing systems"],"prefix":"10.1134","volume":"39","author":[{"given":"R. L.","family":"Smelyansky","sequence":"first","affiliation":[]},{"given":"A. G.","family":"Bakhmurov","sequence":"additional","affiliation":[]},{"given":"D. Yu.","family":"Volkanov","sequence":"additional","affiliation":[]},{"given":"E. V.","family":"Chemeritskii","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2013,9,15]]},"reference":[{"key":"6187_CR1","first-page":"120","volume-title":"Moduli \u00f8 programmnoe obespechenie system avtomatizatsii eksperimental\u2019nykh issledovanii: Uchebno-metodicheskoe posobie","author":"SG Basiladze","year":"1990","unstructured":"Basiladze, S.G., Smelyansky, R.L., Karavaev, A.I., Emel\u2019yanov, M.V., Kosov, V.F. and Eloev, O.Z., Experimental multiprocessor system STEND, in Moduli \u00f8 programmnoe obespechenie system avtomatizatsii eksperimental\u2019nykh issledovanii: Uchebno-metodicheskoe posobie (Modules and Software for Systems of Automation of Experimental Investigations: Tutorial and Methodical Book), Basiladze, S.G., Ed., Moscow: Mosk. Gos. Univ., 1990, pp. 120\u2013129."},{"key":"6187_CR2","first-page":"50","volume-title":"Proc. 32nd Annual Simulation Symposium","author":"A Bakhmurov","year":"1999","unstructured":"Bakhmurov, A., Kapitonova, A., and Smeliansky, R., DYANA: An environment for embedded system design and analysis, Proc. 32nd Annual Simulation Symposium, San-Diego, California, 1999, pp. 50\u201357."},{"key":"6187_CR3","first-page":"3","volume-title":"Vestn. Mosk. Univ., Ser. 15: Vychisl. Mat. Kibern.","author":"RL Smelyansky","year":"1990","unstructured":"Smelyansky, R.L., Operation model of distributed computing systems, Vestn. Mosk. Univ., Ser. 15: Vychisl. Mat. Kibern., 1990, no. 3, pp. 3\u201321."},{"key":"6187_CR4","first-page":"161","volume-title":"Trudy mezhdunarodnoi konferentsii \u201cParallel\u2019nye vychisleniya i zadachi upravleniya\u201d (PACO\u20192001)","author":"RL Smelyansky","year":"2001","unstructured":"Smelyansky, R.L., Operation theory of distributed computating systems, Trudy mezhdunarodnoi konferentsii \u201cParallel\u2019nye vychisleniya i zadachi upravleniya\u201d (PACO\u20192001) (Proc. Int. Conf. \u201cParallel Computation and Control Problems\u201d (RASO\u20192001), (Moscow, 2001), Moscow: Inst. Probl. Upr. Trapeznikova RAN, 2001, pp. 161\u2013182."},{"key":"6187_CR5","first-page":"57","volume-title":"Programmirovanie","author":"VG Molonov","year":"1988","unstructured":"Molonov, V.G., and Smelyansky, R.L., A complex approach to the simulation of distributed computing systems, Programmirovanie, 1988, no. 1, pp. 57\u201365."},{"key":"6187_CR6","first-page":"137","volume-title":"Western Multiconference on Computer Simulation, WMC 2007","author":"JF Broenink","year":"2007","unstructured":"Broenink, J.F., Groothuis, M.A., Visser, P.M., and Orlic, B., A model-driven approach to embedded control system implementation, Western Multiconference on Computer Simulation, WMC 2007, San Diego, 2007, pp. 137\u2013144."},{"key":"6187_CR7","first-page":"24","volume-title":"Programmnye sistemy i instrumenty: Tematicheskii sbornik fakul\u2019teta VMiK MGU im. Lomonosova","author":"RL Smelyansky","year":"2000","unstructured":"Smelyansky, R.L., Chistolinov, M.V., Bakhmurov, A.G., and Zakharov, V.A., On international project in the field of verification of software for embedded systems, in Programmnye sistemy i instrumenty: Tematicheskii sbornik fakul\u2019teta VMiK MGU im. Lomonosova (Software and Hardware: Thematic Collection of the Faculty of Computational Mathematics and Cybernetics, Moscow State University), Korolev, L.N., Ed., Moscow: MAKS Press, 2000, pp. 24\u201330."},{"key":"6187_CR8","first-page":"59","volume-title":"Methods and Means of Information Processing: Proc. 2nd All-Russian Scientific Conf.","author":"DI Gribov","year":"2005","unstructured":"Gribov, D.I. and Smelyansky, R.L., Complex simulation of the on-board equipment of a flying vehicle, in Methods and Means of Information Processing: Proc. 2nd All-Russian Scientific Conf. (Moscow, 2005), Moscow: Mosk. Gos. Univ., 2005, pp. 59\u201374."},{"key":"6187_CR9","first-page":"16","volume-title":"Methods and Means of Information Processing: Proc. 3rd All-Russian Scientific Conf.","author":"VV Balashov","year":"2009","unstructured":"Balashov, V.V., Bakhmurov, A.G., Volkanov, D.Yu., Smelyansky, R.L., Chistolinov, M.V., and Yushchenko, N.V., Hardware-in-the-loop simulation testbed for the design of embedded computing systems, in Methods and Means of Information Processing: Proc. 3rd All-Russian Scientific Conf. (Moscow, 2009), Moscow: Mosk. Gos. Univ.; MAKS Press, 2009, pp. 16\u201325."},{"key":"6187_CR10","first-page":"135","volume-title":"Proc. 3rd All-Russian Scientific and Engineering Conf. \u201cSupercomputer and Multiprocessor Computing Systems (MVS\u20192001)","author":"RL Smelyansky","year":"2002","unstructured":"Smelyansky, R.L. and Bakhmurov, A.G., Application of the HWIL simulation method to the design of on-board equipment of a flying vehicle, in Proc. 3rd All-Russian Scientific and Engineering Conf. \u201cSupercomputer and Multiprocessor Computing Systems (MVS\u20192001) (Taganrog, 2002), Taganrog: TRTU, 2002, pp. 135\u2013140."},{"key":"6187_CR11","unstructured":"Volkanov, D.Yu., Programmirovanie (in press)."},{"key":"6187_CR12","volume-title":"A History of Discrete Event Simulation Programming Languages","author":"RE Nance","year":"1993","unstructured":"Nance, R.E., A History of Discrete Event Simulation Programming Languages, Blacksburg: Virginia Polytech. Inst. State Univ., 1993."},{"key":"6187_CR13","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W., A Discipline of Programming, Englewood Cliffs: Prentice-Hall, 1976."},{"key":"6187_CR14","series-title":"LNCS","first-page":"390","volume-title":"Proc. 5th International Conference TACAS\u201999, (Amsterdam, 1999)","author":"A Bakhmurov","year":"1999","unstructured":"Bakhmurov, A., Kapitonova, A., and Smeliansky, R., DYANA: An Environment for Embedded System Design and Analysis, in Proc. 5th International Conference TACAS\u201999, (Amsterdam, 1999), Amsterdam: Springer, 1999 (LNCS vol. 1579, pp. 390\u2013404)."},{"key":"6187_CR15","volume-title":"Proc. 2nd Russian-Turkish Seminar on New High Information Technologies","author":"AG Bakhmurov","year":"1994","unstructured":"Bakhmurov, A.G. and Smeliansky, R.L., DYANA-the pilot project of investigation of distributed programs and computer systems, Proc. 2nd Russian-Turkish Seminar on New High Information Technologies, Gebre, 1994."},{"key":"6187_CR16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0096-0551(79)90008-0","volume":"4","author":"WE Riddle","year":"1979","unstructured":"Riddle, W.E., An approach to software system behavior description, Comput. Languages, 1979, vol. 4, pp. 29\u201347.","journal-title":"Comput. Languages"},{"key":"6187_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0096-0551(79)90009-2","volume":"4","author":"WE Riddle","year":"1979","unstructured":"Riddle, W.E., An approach to software system modelling and analysis, Comput. Languages, 1979, vol. 4, pp. 49\u201366.","journal-title":"Comput. Languages"},{"key":"6187_CR18","volume-title":"Petri Net Theory and Modeling of Systems","author":"J Peterson","year":"1981","unstructured":"Peterson, J., Petri Net Theory and Modeling of Systems, Englewood Cliffs: Prentice-Hall, 1981."},{"key":"6187_CR19","volume-title":"Designing Concurrent, Distributed, and Real-Time Applications with Uml","author":"H Gomaa","year":"2000","unstructured":"Gomaa, H., Designing Concurrent, Distributed, and Real-Time Applications with Uml, Boston: Addison-Wesley, 2000."},{"key":"6187_CR20","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/WSC.2007.4419588","volume-title":"Proc. 39th Winter Simulation Conference (WSC\u201907)","author":"PJ Sanchez","year":"2007","unstructured":"Sanchez, P.J., Fundamentals of simulation modeling, in Proc. 39th Winter Simulation Conference (WSC\u201907) (Washington, 2007), pp. 54\u201362."},{"key":"6187_CR21","unstructured":"IEEE Std. 1278.1a-1998: Simulation Interoperability Standards Committee of the IEEE Computer Society IEEE Standard for Distributed Interactive Simulation: Application Protocols, 1998."},{"key":"6187_CR22","unstructured":"Simulation Interoperability Standards Committee of the IEEE Computer Society: IEEE Standard for Modeling and Simulation (MS) High Level Architecture (HLA) Federate Interface Specification, 2000."},{"key":"6187_CR23","volume-title":"IEEE AESS Simulation in Aerospace","author":"J B Chaudron","year":"2011","unstructured":"Chaudron, J. B., Saussi\u00e9, D., Siron, P., and Adelantado, M., Real-time aircraft simulation using HLA standard, IEEE AESS Simulation in Aerospace, Toulose, 2011."},{"key":"6187_CR24","volume-title":"International Simulation Multi-Conference (ISMC\u201910)","author":"M Adelantado","year":"2010","unstructured":"Adelantado, M., Siron, P., and Chaudron, J.B., Towards an HLA Run-time infrastructure with hard real-time capabilities, International Simulation Multi-Conference (ISMC\u201910), Ottawa, 2010."},{"key":"6187_CR25","volume-title":"Proc. 11th IEEE\/ACM Symposium on Modeling, Analysis and Simulation of Computer Telecommunication Systems (MASCOTS\u201903)","author":"R M Fujimoto","year":"2003","unstructured":"Fujimoto, R. M., Perumalla, K., Park, A., Wu, H., Ammar, M. H. and Riley, G.F., Large-scale network simulation: How big? How fast?, Proc. 11th IEEE\/ACM Symposium on Modeling, Analysis and Simulation of Computer Telecommunication Systems (MASCOTS\u201903), Orlando, 2003."},{"key":"6187_CR26","first-page":"45","volume-title":"Programmirovanie","author":"YuP Kazakov","year":"1994","unstructured":"Kazakov, Yu.P. and Smelyansky, R.L., Organization of distributed simulation, Programmirovanie, 1994, no. 2, pp. 45\u201364."},{"key":"6187_CR27","volume-title":"European Simulation Interoperability Workshop","author":"B d\u2019Ausbourg","year":"2008","unstructured":"d\u2019Ausbourg, B., Siron, P., and Noulard, E., Running real time distributed simulations under Linux and CERTI, European Simulation Interoperability Workshop, Edinbourgh, 2008."},{"key":"6187_CR28","volume-title":"Joint 2009 Spring Simulation Interoperability Workshop (SIW)","author":"E Noulard","year":"2009","unstructured":"Noulard, E., Rousselot, J.Y., and Siron, P., CERTI, an open source RTI, why and how, Joint 2009 Spring Simulation Interoperability Workshop (SIW), 2009."},{"key":"6187_CR29","first-page":"1","volume-title":"European Simulation Interoperability Workshop","author":"L Malinga","year":"2009","unstructured":"Malinga, L. and Le Roux, W.H., HLA RTI performance evaluation, European Simulation Interoperability Workshop, Istanbul, 2009, pp. 1\u20136."},{"key":"6187_CR30","volume-title":"Proc. 6th Spring\/Summer Young Researchers\u2019 Colloquium on Software Engeneering, SYRCoSE-2012","author":"EV Chemeritskiy","year":"2012","unstructured":"Chemeritskiy, E.V., Towards a HLA-based hardware-in-the-loop simulation runtime, Proc. 6th Spring\/Summer Young Researchers\u2019 Colloquium on Software Engeneering, SYRCoSE-2012, Perm, 2012."},{"key":"6187_CR31","volume-title":"Parallel and Distributed Simulation Systems","author":"RD Fujimoto","year":"2000","unstructured":"Fujimoto, R.D., Parallel and Distributed Simulation Systems, Wiley Interscience, 2000."},{"key":"6187_CR32","volume-title":"21st International Workshop on Principles of Advanced and Distributed Simulation (PADS\u201907)","author":"HJ Song","year":"2007","unstructured":"Song, H.J., Shen, Zh.Q., Miao, Ch.Y., Tan, A.H. and Zhao, G.P., The multi-agent data collection in HLA-based simulation system, 21st International Workshop on Principles of Advanced and Distributed Simulation (PADS\u201907), 2007."},{"key":"6187_CR33","volume-title":"Open Trace Format API Specification Version 1.1","author":"A Knupfer","year":"2006","unstructured":"Knupfer, A., Brunst, H., Malony, A.D., and Shende, S.S., Open Trace Format API Specification Version 1.1, Dresden: Dresden Univ. of Technology, 2006."},{"key":"6187_CR34","volume-title":"Open Trace Format (OTF) Tutorial: Presentation","author":"A Knupfer","year":"2006","unstructured":"Knupfer, A., Brunst, H., Malony, A.D., and Shende, S.S., Open Trace Format (OTF) Tutorial: Presentation, Dresden: Univ. of Dresden, 2006."},{"key":"6187_CR35","volume-title":"Programmirovanie","author":"SO Bochkov","year":"1988","unstructured":"Bochkov, S.O. and Smelyansky, R.L., Program debugging in distributed computing systems, Programmirovanie, 1988, no. 4."},{"key":"6187_CR36","first-page":"137","volume-title":"Programmnye sistemy i instrumenty: Tematicheskii sbornik, 8","author":"DYu Volkanov","year":"2007","unstructured":"Volkanov, D.Yu. and Cherei, M.V., A study of the applicability of fuzzy search algorithms to the analysis of the results of simulation of real-time computer systems, in Programmnye sistemy i instrumenty: Tematicheskii sbornik, 8 (Software and Hardware: Thematic Collection no. 8), Moscow: Mosk. Gos. Univ., 2007, pp. 137\u2013147."},{"key":"6187_CR37","first-page":"157","volume-title":"Programmnye sistemy i instrumenty: Tematicheskii sbornik fakul\u2019teta VMiK MGU im. Lomonosova","author":"MV Yushchenko","year":"2001","unstructured":"Yushchenko, M.V., Estimating the execution time of programs by a static-dynamic method, in Programmnye sistemy i instrumenty: Tematicheskii sbornik fakul\u2019teta VMiK MGU im. Lomonosova (Software and Hardware: Thematic Collection No. 2 of the Faculty of Computational Mathematics and Cybernetics, Moscow State University), Korolev, L.N., Ed., Moscow: Mosk. Gos. Univ., 2001, pp. 157\u2013167."},{"key":"6187_CR38","first-page":"57","volume-title":"Sistemnoe programmirovanie i modeli issledovaniya operatsii","author":"AP Kapitonova","year":"1993","unstructured":"Kapitonova, A.P., Smelyansky, R.L., and Terekhov, I.V., Hardware system for evaluating the laboriousness of computations in programs, in Sistemnoe programmirovanie i modeli issledovaniya operatsii (System Programming and Models for Operations Research), Moscow: Mosk. Gos. Univ., 1993, pp. 57\u201372."},{"key":"6187_CR39","first-page":"92","volume-title":"Programmno-apparatnye sredstva i matematicheskoe obespechenie vychislitel\u2019nykh system","author":"AP Kapitonova","year":"1994","unstructured":"Kapitonova, A.P., Smelyansky, R.L., and Terekhov, I.V., System for evaluating the time characteristics of programs: Architecture and Implementation, in Programmno-apparatnye sredstva i matematicheskoe obespechenie vychislitel\u2019nykh system (Software-Hardware and Mathematical Tools for Computer Systems), Moscow: Mosk. Gos. Univ., 1994, pp. 92\u2013103."},{"key":"6187_CR40","first-page":"52","volume-title":"Programmirovanie","author":"VV Balashov","year":"1999","unstructured":"Balashov, V.V., Kapitonova, A.P., Kostenko, V.A., Smelyansky, R.L., and Yushchenko, N.V., Method and means for estimating the execution time of optimized programs, Programmirovanie, 1999, no. 5, pp. 52\u201361."},{"key":"6187_CR41","first-page":"486","volume-title":"Methods and Means of Information Processing: Proc. 2nd All-Russian Scientific Conf.","author":"KO Savenkov","year":"2003","unstructured":"Savenkov, K.O. and Yushchenko, M.V., Method for describing the behavior of a processor to estimate the execution time of a program, in Methods and Means of Information Processing: Proc. 2nd All-Russian Scientific Conf. (Moscow, 2003), Moscow: Mosk. Gos. Univ., 2003, pp. 486\u2013491."},{"issue":"3","key":"6187_CR42","volume":"7","year":"2008","unstructured":"Wilhelm, R., and Engblom, J., The worst-case execution time problem-overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, 2008, vol. 7, no. 3, article 36.","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"6187_CR43","first-page":"167","volume-title":"Methods and Means of Information Processing: Proc. 2nd All-Russian Scientific Conf.","author":"VV Prus","year":"2005","unstructured":"Prus, V.V., Method for estimating the worst-case execution time for a processor with pipelined architecture, in Methods and Means of Information Processing: Proc. 2nd All-Russian Scientific Conf. (Moscow 2005), Moscow: Mosk. Gos. Univ., 2005, pp. 167\u2013174."},{"key":"6187_CR44","volume-title":"METAMOC: Modular Execution Time Analysis Using Model Checking","author":"AE Dalsgaard","year":"2010","unstructured":"Dalsgaard, A.E., Olesen, M.Ch., Toft, M., Hansen, R.R., and Larsen, K.G., METAMOC: Modular Execution Time Analysis Using Model Checking, 2010."},{"key":"6187_CR45","first-page":"41","volume-title":"Programmirovanie","author":"YuV Bakalov","year":"1996","unstructured":"Bakalov, Yu.V., and Smelyansky, R.L., Behavior specification language for distributed programs, Programmirovanie, 1996, no. 5, pp. 41\u201351."},{"key":"6187_CR46","first-page":"128","volume-title":"Programmnye sistemy i instrumenty: Tematicheskii sbornik, 1","author":"DV Tsar\u2019kov","year":"2000","unstructured":"Tsar\u2019kov, D.V., Application of modularity to the verification of distributed programs, in Programmnye sistemy i instrumenty: Tematicheskii sbornik, 1 (Software and Hardware: Thematic Collection No. 1), Moscow: Mosk. Gos. Univ., 2000, pp. 128\u2013136."},{"key":"6187_CR47","first-page":"161","volume-title":"Proc. Int. Conf. \u201cParallel Computation and Control Problems\u201d (RASO\u20192001)","author":"DV Tsar\u2019kov","year":"2001","unstructured":"Tsar\u2019kov, D.V., System of formal verification of distributed programs in the DYANA simulation environment, in Proc. Int. Conf. \u201cParallel Computation and Control Problems\u201d (RASO\u20192001) (Moscow 2001), Moscow: Inst. Probl. Upr. Trapeznikova RAN, 2001, pp. 161\u2013182."},{"key":"6187_CR48","first-page":"3","volume-title":"Programmirovanie","author":"VA Zakharov","year":"1998","unstructured":"Zakharov, V.A., and Tsar\u2019kov, D.V., Efficient algorithms for the verification of the executability of CTL temporal logic formulas on the model of their application for the verification of parallel programs, Programmirovanie, 1998, no. 4, pp. 3\u201318."},{"key":"6187_CR49","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. Logic of Programs: Workshop","author":"EM Clarke","year":"1981","unstructured":"Clarke, E.M. and Emerson, E.A., \u201cDesign and synthesis of synchronization skeletons for branching time temporal logic, in Proc. Logic of Programs: Workshop, (Yorktown Heights), New York: Springer, 1981. (Lecture Notes in Computer Science 131.)"},{"key":"6187_CR50","volume-title":"Verification of Program Models: Model Checking","author":"EM Clarke Jr.","year":"2002","unstructured":"Clarke, E.M., Jr., Orna, O., and Peled, D., Verification of Program Models: Model Checking, Moscow: MTsNMO, 2002."},{"key":"6187_CR51","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume":"1066","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P. and Yi, W., UPPAAL-a tool suite for automatic verification of real-time systems, Lecture Notes in Computer Science, 1996, vol. 1066, pp. 232\u2013243.","journal-title":"Lecture Notes in Computer Science"},{"key":"6187_CR52","unstructured":"Volkanov, D.Yu., Zakharov, V.A., Zorin, D.A., Konnov, I.V., and Podymov, V.V., Programmirovanie (in press)."},{"issue":"3","key":"6187_CR53","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"},{"key":"6187_CR54","first-page":"564","volume-title":"Proc. 2nd All-Russian Scientific Conf.","author":"VA Kostenko","year":"2005","unstructured":"Kostenko, V.A. and Smelyansky, R.L., Method and algorithms for the design of the structures of computing systems by information on the behavior of programs, in Proc. 2nd All-Russian Scientific Conf. (Moscow, 2005), Moscow: Mosk. Gos. Univ., 2005, pp. 564\u2013571."},{"key":"6187_CR55","volume-title":"Proc. 2nd EUCASS European Conference for. Aerospace Sciences","author":"VV Balashov","year":"2007","unstructured":"Balashov, V.V., Kostenko, V.A., and Smeliansky, R.L., A tool system for automatic scheduling of data exchange in real-time distributed avionics systems, in Proc. 2nd EUCASS European Conference for. Aerospace Sciences, Brussels, 2007."},{"key":"6187_CR56","volume-title":"Proc. Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX 2008","author":"VV Balashov","year":"2008","unstructured":"Balashov, V.V., Bakhmurov, A.G., Chistolinov, M.V., Smeliansky, R.L., Volkanov, D.Yu., and Youshchenko, N.V., A Hardware-in-the-loop simulation environment for real-time systems development and architecture evaluation, in Proc. Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX 2008, Szklarska Poreba, 2008."},{"key":"6187_CR57","first-page":"153","volume-title":"Programmnye sistemy i instrumenty: Tematicheskii sbornik, 9","author":"VV Balashov","year":"2008","unstructured":"Balashov, V.V., Bakhmurov, A.G., Volkanov, D.Yu., Smelyansky, R.L., Chistolinov, M.V., and Yushchenko, N.V., Application of a HWIL testbed to the design of computing systems for a marine navigation complex, in Programmnye sistemy i instrumenty: Tematicheskii sbornik, 9 (Software and Hardware: Thematic Collection No. 9), Moscow: Mosk. Gos. Univ., 2008, pp. 153\u2013165."},{"key":"6187_CR58","first-page":"101","volume-title":"Izv. Ross. Akad. Nauk: Teor. Sist. Upr.","author":"AV Kalashnikov","year":"2008","unstructured":"Kalashnikov, A.V. and Kostenko, V.A., Parallel algorithm for the simulation of annealing for constructing multiprocessor schedules, Izv. Ross. Akad. Nauk: Teor. Sist. Upr., 2008, no. 3, pp. 101\u2013110."},{"key":"6187_CR59","first-page":"163","volume-title":"Programmnye sistemy i instrumenty: Tematicheskii sbornik, 12","author":"DA Zorin","year":"2011","unstructured":"Zorin, D.A., A method for representing and transforming schedules in iterative algorithms for the structural synthesis of real-time computing systems, Programmnye sistemy i instrumenty: Tematicheskii sbornik, 12 (Software and Hardware: Thematic Collection No. 12), Moscow: Mosk. Gos. Univ., 2011, pp. 163\u2013171."},{"key":"6187_CR60","doi-asserted-by":"crossref","unstructured":"de Micheli, G., and Gupta, R.K., Hardware\/software co-design, Proc. IEEE, vol. 85, no. 3, pp. 349\u2013365.","DOI":"10.1109\/5.558708"},{"key":"6187_CR61","volume-title":"Open Systems","author":"RL Smelyansky","year":"2012","unstructured":"Smelyansky, R.L., Software configurable networks, in Open Systems, 2012, no. 09 (http:\/\/www.osp.ru\/os\/2012\/09\/13032491\/)."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813050058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768813050058","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813050058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813050058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:13:49Z","timestamp":1775009629000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768813050058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":61,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["6187"],"URL":"https:\/\/doi.org\/10.1134\/s0361768813050058","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"}}]}}