Skip to main content
Springer Nature Link
Log in

Integrated environment for the analysis and design of distributed real-time embedded computing systems

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

Problems of analysis and design of embedded real-time systems for controlling complex engineering systems are considered by an example of a DYANA simulation environment and its development at the Laboratory of Computing Systems (LCS), Faculty of Computational Mathematics and Cybernetics, Moscow State University. Special attention is paid to the verification of the conformity of the designed system to the requirements formulated at the early stages of design. The key features of this environment are as follows: the use of a formal model of operation for distributed systems, and the analysis of various aspects of the behavior of a system, both quantitative and logical, by a unified description of systems. The application of the DYANA environment in research and engineering projects over the last 28 years is considered. A comparison with other domestic and foreign results in the field of simulation of real-time distributed embedded computing systems is presented.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. 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 

  2. 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 

  3. 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 

  4. 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 

  5. 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 

  6. 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 

  7. 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 

  8. 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 

  9. 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 

  10. 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 

  11. Volkanov, D.Yu., Programmirovanie (in press).

  12. Nance, R.E., A History of Discrete Event Simulation Programming Languages, Blacksburg: Virginia Polytech. Inst. State Univ., 1993.

    Google Scholar 

  13. Dijkstra, E.W., A Discipline of Programming, Englewood Cliffs: Prentice-Hall, 1976.

    MATH  Google Scholar 

  14. 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 

  15. 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 

  16. Riddle, W.E., An approach to software system behavior description, Comput. Languages, 1979, vol. 4, pp. 29–47.

    Article  MATH  Google Scholar 

  17. Riddle, W.E., An approach to software system modelling and analysis, Comput. Languages, 1979, vol. 4, pp. 49–66.

    Article  MATH  Google Scholar 

  18. Peterson, J., Petri Net Theory and Modeling of Systems, Englewood Cliffs: Prentice-Hall, 1981.

    Google Scholar 

  19. Gomaa, H., Designing Concurrent, Distributed, and Real-Time Applications with Uml, Boston: Addison-Wesley, 2000.

    Google Scholar 

  20. Sanchez, P.J., Fundamentals of simulation modeling, in Proc. 39th Winter Simulation Conference (WSC’07) (Washington, 2007), pp. 54–62.

    Google Scholar 

  21. IEEE Std. 1278.1a-1998: Simulation Interoperability Standards Committee of the IEEE Computer Society IEEE Standard for Distributed Interactive Simulation: Application Protocols, 1998.

  22. Simulation Interoperability Standards Committee of the IEEE Computer Society: IEEE Standard for Modeling and Simulation (MS) High Level Architecture (HLA) Federate Interface Specification, 2000.

  23. 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 

  24. 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 

  25. 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 

  26. Kazakov, Yu.P. and Smelyansky, R.L., Organization of distributed simulation, Programmirovanie, 1994, no. 2, pp. 45–64.

    Google Scholar 

  27. 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 

  28. 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 

  29. Malinga, L. and Le Roux, W.H., HLA RTI performance evaluation, European Simulation Interoperability Workshop, Istanbul, 2009, pp. 1–6.

    Google Scholar 

  30. 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 

  31. Fujimoto, R.D., Parallel and Distributed Simulation Systems, Wiley Interscience, 2000.

    Google Scholar 

  32. 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 

  33. 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 

  34. Knupfer, A., Brunst, H., Malony, A.D., and Shende, S.S., Open Trace Format (OTF) Tutorial: Presentation, Dresden: Univ. of Dresden, 2006.

    Google Scholar 

  35. Bochkov, S.O. and Smelyansky, R.L., Program debugging in distributed computing systems, Programmirovanie, 1988, no. 4.

    Google Scholar 

  36. 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 

  37. 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 

  38. 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 

  39. 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 

  40. 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 

  41. 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 

  42. 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 

  43. 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 

  44. 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 

  45. Bakalov, Yu.V., and Smelyansky, R.L., Behavior specification language for distributed programs, Programmirovanie, 1996, no. 5, pp. 41–51.

    Google Scholar 

  46. 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 

  47. 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 

  48. 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 

  49. 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 

  50. Clarke, E.M., Jr., Orna, O., and Peled, D., Verification of Program Models: Model Checking, Moscow: MTsNMO, 2002.

    Google Scholar 

  51. 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 

  52. Volkanov, D.Yu., Zakharov, V.A., Zorin, D.A., Konnov, I.V., and Podymov, V.V., Programmirovanie (in press).

  53. 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.

    Article  MathSciNet  MATH  Google Scholar 

  54. 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 

  55. 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 

  56. 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 

  57. 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 

  58. 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 

  59. 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 

  60. de Micheli, G., and Gupta, R.K., Hardware/software co-design, Proc. IEEE, vol. 85, no. 3, pp. 349–365.

  61. Smelyansky, R.L., Software configurable networks, in Open Systems, 2012, no. 09 (http://www.osp.ru/os/2012/09/13032491/).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Computational Mathematics and Cybernetics, Moscow State University, Moscow, 119992, Russia

    R. L. Smelyansky, A. G. Bakhmurov, D. Yu. Volkanov & E. V. Chemeritskii

Authors
  1. R. L. Smelyansky
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. A. G. Bakhmurov
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. D. Yu. Volkanov
    View author publications

    You can also search for this author inPubMed Google Scholar

  4. E. V. Chemeritskii
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to R. L. Smelyansky.

Additional information

Original Russian Text © R.L. Smelyansky, A.G. Bakhmurov, D.Yu. Volkanov, E.V. Chemeritskii, 2013, published in Programmirovanie, 2013, Vol. 39, No. 5.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Smelyansky, R.L., Bakhmurov, A.G., Volkanov, D.Y. et al. Integrated environment for the analysis and design of distributed real-time embedded computing systems. Program Comput Soft 39, 242–254 (2013). https://doi.org/10.1134/S0361768813050058

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768813050058

Keywords