Integrated environment for the analysis and design of distributed real-time embedded computing systems (original) (raw)
References
Basiladze, S.G., Smelyansky, R.L., Karavaev, A.I., Emel’yanov, M.V., Kosov, V.F. and Eloev, O.Z., Experimental multiprocessor system STEND, in Moduli ø programmnoe obespechenie system avtomatizatsii eksperimental’nykh 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–129. Google Scholar
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–57. Google Scholar
Smelyansky, R.L., Operation model of distributed computing systems, Vestn. Mosk. Univ., Ser. 15: Vychisl. Mat. Kibern., 1990, no. 3, pp. 3–21. Google Scholar
Smelyansky, R.L., Operation theory of distributed computating systems, Trudy mezhdunarodnoi konferentsii “Parallel’nye vychisleniya i zadachi upravleniya” (PACO’2001) (Proc. Int. Conf. “Parallel Computation and Control Problems” (RASO’2001), (Moscow, 2001), Moscow: Inst. Probl. Upr. Trapeznikova RAN, 2001, pp. 161–182. Google Scholar
Molonov, V.G., and Smelyansky, R.L., A complex approach to the simulation of distributed computing systems, Programmirovanie, 1988, no. 1, pp. 57–65. Google Scholar
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–144. Google Scholar
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’teta 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–30. Google Scholar
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–74. Google Scholar
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–25. Google Scholar
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. “Supercomputer and Multiprocessor Computing Systems (MVS’2001) (Taganrog, 2002), Taganrog: TRTU, 2002, pp. 135–140. Google Scholar
Volkanov, D.Yu., Programmirovanie (in press).
Nance, R.E., A History of Discrete Event Simulation Programming Languages, Blacksburg: Virginia Polytech. Inst. State Univ., 1993. Google Scholar
Dijkstra, E.W., A Discipline of Programming, Englewood Cliffs: Prentice-Hall, 1976. MATH Google Scholar
Bakhmurov, A., Kapitonova, A., and Smeliansky, R., DYANA: An Environment for Embedded System Design and Analysis, in Proc. 5th International Conference TACAS’99, (Amsterdam, 1999), Amsterdam: Springer, 1999 (LNCS vol. 1579, pp. 390–404). Google Scholar
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. Google Scholar
Riddle, W.E., An approach to software system behavior description, Comput. Languages, 1979, vol. 4, pp. 29–47. ArticleMATH Google Scholar
Riddle, W.E., An approach to software system modelling and analysis, Comput. Languages, 1979, vol. 4, pp. 49–66. ArticleMATH Google Scholar
Peterson, J., Petri Net Theory and Modeling of Systems, Englewood Cliffs: Prentice-Hall, 1981. Google Scholar
Gomaa, H., Designing Concurrent, Distributed, and Real-Time Applications with Uml, Boston: Addison-Wesley, 2000. Google Scholar
Sanchez, P.J., Fundamentals of simulation modeling, in Proc. 39th Winter Simulation Conference (WSC’07) (Washington, 2007), pp. 54–62. Google Scholar
IEEE Std. 1278.1a-1998: Simulation Interoperability Standards Committee of the IEEE Computer Society IEEE Standard for Distributed Interactive Simulation: Application Protocols, 1998.
Simulation Interoperability Standards Committee of the IEEE Computer Society: IEEE Standard for Modeling and Simulation (MS) High Level Architecture (HLA) Federate Interface Specification, 2000.
Chaudron, J. B., Saussié, D., Siron, P., and Adelantado, M., Real-time aircraft simulation using HLA standard, IEEE AESS Simulation in Aerospace, Toulose, 2011. Google Scholar
Adelantado, M., Siron, P., and Chaudron, J.B., Towards an HLA Run-time infrastructure with hard real-time capabilities, International Simulation Multi-Conference (ISMC’10), Ottawa, 2010. Google Scholar
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’03), Orlando, 2003. Google Scholar
Kazakov, Yu.P. and Smelyansky, R.L., Organization of distributed simulation, Programmirovanie, 1994, no. 2, pp. 45–64. Google Scholar
d’Ausbourg, B., Siron, P., and Noulard, E., Running real time distributed simulations under Linux and CERTI, European Simulation Interoperability Workshop, Edinbourgh, 2008. Google Scholar
Noulard, E., Rousselot, J.Y., and Siron, P., CERTI, an open source RTI, why and how, Joint 2009 Spring Simulation Interoperability Workshop (SIW), 2009. Google Scholar
Malinga, L. and Le Roux, W.H., HLA RTI performance evaluation, European Simulation Interoperability Workshop, Istanbul, 2009, pp. 1–6. Google Scholar
Chemeritskiy, E.V., Towards a HLA-based hardware-in-the-loop simulation runtime, Proc. 6th Spring/Summer Young Researchers’ Colloquium on Software Engeneering, SYRCoSE-2012, Perm, 2012. Google Scholar
Fujimoto, R.D., Parallel and Distributed Simulation Systems, Wiley Interscience, 2000. Google Scholar
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’07), 2007. Google Scholar
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. Google Scholar
Knupfer, A., Brunst, H., Malony, A.D., and Shende, S.S., Open Trace Format (OTF) Tutorial: Presentation, Dresden: Univ. of Dresden, 2006. Google Scholar
Bochkov, S.O. and Smelyansky, R.L., Program debugging in distributed computing systems, Programmirovanie, 1988, no. 4. Google Scholar
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–147. Google Scholar
Yushchenko, M.V., Estimating the execution time of programs by a static-dynamic method, in Programmnye sistemy i instrumenty: Tematicheskii sbornik fakul’teta 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–167. Google Scholar
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–72. Google Scholar
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’nykh system (Software-Hardware and Mathematical Tools for Computer Systems), Moscow: Mosk. Gos. Univ., 1994, pp. 92–103. Google Scholar
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–61. Google Scholar
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–491. Google Scholar
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. Google Scholar
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–174. Google Scholar
Dalsgaard, A.E., Olesen, M.Ch., Toft, M., Hansen, R.R., and Larsen, K.G., METAMOC: Modular Execution Time Analysis Using Model Checking, 2010. Google Scholar
Bakalov, Yu.V., and Smelyansky, R.L., Behavior specification language for distributed programs, Programmirovanie, 1996, no. 5, pp. 41–51. Google Scholar
Tsar’kov, 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–136. Google Scholar
Tsar’kov, D.V., System of formal verification of distributed programs in the DYANA simulation environment, in Proc. Int. Conf. “Parallel Computation and Control Problems” (RASO’2001) (Moscow 2001), Moscow: Inst. Probl. Upr. Trapeznikova RAN, 2001, pp. 161–182. Google Scholar
Zakharov, V.A., and Tsar’kov, 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–18. Google Scholar
Clarke, E.M. and Emerson, E.A., “Design 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.) Google Scholar
Clarke, E.M., Jr., Orna, O., and Peled, D., Verification of Program Models: Model Checking, Moscow: MTsNMO, 2002. Google Scholar
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–243. Article Google Scholar
Volkanov, D.Yu., Zakharov, V.A., Zorin, D.A., Konnov, I.V., and Podymov, V.V., Programmirovanie (in press).
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–173. ArticleMathSciNetMATH Google Scholar
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–571. Google Scholar
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. Google Scholar
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. Google Scholar
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–165. Google Scholar
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–110. Google Scholar
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–171. Google Scholar
de Micheli, G., and Gupta, R.K., Hardware/software co-design, Proc. IEEE, vol. 85, no. 3, pp. 349–365.