[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Problems of instrumental support for the development of distributed embedded real-time systems

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

Abstract

Distributed embedded real-time systems (DRTESs) are classified among objects that are complex in their development and crucial in their use. The problems of Instrumental Support and automation of development of DRTESs are still actual, even after more than 40 years of research. This paper refine the notion of DRTES. The shortcomings of traditional approaches to the design of DRTESs are considered and a model-oriented approach to the design is formulated. A concept of the instrumental environment supporting this approach has been proposed. Basic problems to be addressed when building such an environment are formulated. The current state of the art in solving these problems is described.

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
£29.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 includes VAT (United Kingdom)

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. Tsypkin, Ya.Z., Osnovy teorii avtomaticheskikh sistem (Foundations of the Theory of Automatic Systems), Moscow: Nauka, 1977.

    Google Scholar 

  2. Novikov, D.A., Teoriya upravleniya organizatsionnymi sistemami (Theory of Control of Organizational Systems), Moscow: Fizmatlit, 2007.

    Google Scholar 

  3. Supervisory control and data acquisition (SCADA) systems, NCS TIB 04-01, October 2004.

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

  5. RTCA/DO-178B, Software considerations in airborne systems and equipment certification, December 1, 1992.

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

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

  8. http://www.autosar.org/

  9. http://www.misra.org.uk/

  10. 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—for-railway-control-and-protection-systems/?gclid= CN-ZsbyR27QCFY94cAod31AADA

  11. http://www.mathworks.com/products/simulink

  12. http://www.esterel-technologies.com/products/scadesuite

  13. 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’skaya firma RAN, 1997, pp. 228–256.

    Google Scholar 

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

    Google Scholar 

  15. http://www.ellidiss.com/stood.asp

  16. http://ellidiss.office-on-the.net/trac/public

  17. http://www.topcased.org

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

    Article  Google Scholar 

  19. Wolf, W.H., Hardware-software codesign of embedded systems, Proc. IEEE, 1994, vol. 82, no. 7, pp. 967–989.

    Article  Google Scholar 

  20. Platunov, A.N. and Postnikov, N.P., Vysokourovnevoe proektirovanie vstraivaemykh sistem (High-Level Design of Embedded Systems), Part 1, St. Petersburg: NIU ITMO, 2011.

    Google Scholar 

  21. 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; Lect. Notes Comput. Sci., 1999, vol. 1579, pp. 390–404.

  22. Technical information on the ADvantage framework. http://www.adi.com/products-sim.htm

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

    Google Scholar 

  24. Technical information on ProSys-RT. http://www.prosys-rt.de

  25. Cosateq plays key role in development of SSJ100 electronic bird (press release). http://www.airframer.com/news-story.html?release=1898

  26. Technical information on dSPACE tools. http://www.dspace.de/ww/en/gmb/home/products/systems.cfm

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

    Google Scholar 

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

    Google Scholar 

  29. http://sine.ni.com/np/app/main/p/docid/nav-104/lang/ru/

  30. http://www.windriver.com/products/simics/

  31. Engblom, J., Why Simics won’t run Super Mario. http://blogs.windriver.com/tools/2011/10/why-simicswont-run-super-mario-.html#iid=5882

  32. http://www.mentor.com/products/sm/model-development/bridgepoint/

  33. http://www.mentor.com/products/sm/system-integration-simulation-analysis/systemvision/

  34. 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. “Methods and Tools of Information Processing,” Moscow: MSU, 2009, pp. 16–25.

    Google Scholar 

  35. 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–253.

    Article  Google Scholar 

  36. http://www.ballardtech.com/products.aspx/CoPilot/

  37. http://www.ddc-web.com/Products/51/Default.aspx

  38. http://www.techsat.com/products/software/ads2.html

  39. 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’2011), 2011.

    Google Scholar 

  40. http://www.wyle.com/ServicesSolutions/TestEvaluation/Qualification-CertificationT-E/TelemetryEquipment/DataRecorders/Pages/imuxg2-T5.aspx

  41. http://www.tripac.com/rapid-rma

  42. http://beru.univ-brest.fr/~singhoff/cheddar/

  43. Cheddar update and research roadmap. https://wiki.sei.cmu.edu/aadl/images/a/a8/Cheddar-paris-aadlmeeting-june-2011.pdf

  44. http://mast.unican.es/

  45. 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–1004.

    Article  Google Scholar 

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

    Google Scholar 

  47. 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. “Methods and Tools of Information Processing,” Moscow: MSU, 2005, pp. 564–571.

    Google Scholar 

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

    Google Scholar 

  49. 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. “Parallel Computing and Control Problems” (RASO2008), Moscow: Trapeznikov Inst. of Control Problems RAS: 2008, pp. 1385–1404.

    Google Scholar 

  50. 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–167.

    Google Scholar 

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

    Article  Google Scholar 

  52. Alur, R., Courcoubetis, C., and Dill, D.L., Model-checking in dense real-time, Inf. Comput., 1993, vol. 104, no. 1, pp. 2–34.

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

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

  55. http://www.sisostds.org

  56. http://www.omgwiki.org/MBSE/doku.php?id=mbse:modsim

  57. Savenkov, K.O. and Smeliansky, R.L., Scaling down discrete-event simulation models, Programming Comput. Software, 2006, vol. 32, no. 6, pp. 308–316.

    Article  MATH  Google Scholar 

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

Download references

Author information

Authors and Affiliations

  1. Department of Computational Mathematics and Cybernetics, Moscow State University, Moscow, 119991, Russia

    A. G. Bakhmurov & R. L. Smelyansky

Authors
  1. A. G. Bakhmurov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. L. Smelyansky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. G. Bakhmurov.

Additional information

Original Russian Text © A.G. Bakhmurov, R.L. Smelyansky, 2013, published in Programmirovanie, 2013, Vol. 39, No. 5.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bakhmurov, A.G., Smelyansky, R.L. Problems of instrumental support for the development of distributed embedded real-time systems. Program Comput Soft 39, 221–232 (2013). https://doi.org/10.1134/S0361768813050022

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords