Skip to main content
SpringerLink
Log in

Tool System for Testing Real-Time Constraints for Modular Computational System Configurations

  • Published:
Moscow University Computational Mathematics and Cybernetics Aims and scope Submit manuscript

Abstract

The problem of testing real-time constraints for modular computational systems (MCSes) is exemplified by systems of integrated modular avionics. The requirements to the software for testing these constraints are formulated. An approach to modeling MCSes based on the mathematical apparatus of timed automata with suspended timers is described, and a tool system that implements this approach is presented. An experimental study is performed of the parameterized MCS model entering the developed tool system. The model is tested with the CAD IMA Scheduler used in Russian industry.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

REFERENCES

  1. Avionics Application software standard interface: ARINC Specification 653 (Aeronautical Radio, Annapolis, MD, 1997).

  2. V. V. Balashov, V. A. Balakhanov, and V. A. Kostenko, ‘‘Scheduling of computational tasks in switched network-based IMA systems,’’ in Proc. Int. Conf. on Engineering and Applied Sciences Optimization (OPTI 2014), Athens, Greece (NTUA, 2014), pp. 1001–1014.

  3. A. Tretyakov, ‘‘Automation of scheduling for periodic real-time systems,’’ Trudy Inst. Sist. Program. RAN 22, 375–400 (2012).

    Article  Google Scholar 

  4. T. Zhou, H. Xionq, and Z. Zhang, ‘‘Hierarchical resource allocation for integrated modular avionics systems,’’ J. Syst. Eng. Electron. 22 (5), 780–787 (2011).

    Article  Google Scholar 

  5. H. Lu, Q. Zhou, Z. Fei, and R. Zhou, ‘‘Scheduling based on interruption analysis and PSO for strictly periodic and preemptive partitions in integrated modular avionics,’’ IEEE Access 6, 13523–13540 (2018).

    Article  Google Scholar 

  6. B. Annighöfer and F. Thielecke, ‘‘A systems architecting framework for optimal distributed integrated modular avionics architectures,’’ CEAS Aeronaut. J. 6 (3), 485–496 (2015).

  7. M. Sghairi, A. de Bonneval, et al., ‘‘Challenges in building fault – tolerant flight control system for a civil aircraft,’’ IAENG Int. J. Comput. Sci. 35 (4), IJCS_35_4_07, 1–5 (2008).

  8. D. Wang, J. Han, D. Ma, and X. Zhao, ‘‘Studying on ARINC653 partition run-time scheduling and simulation,’’ WASET Int. J. Comput. Syst. Eng. 6 (11), 1482–1486 (2012).

    Google Scholar 

  9. Q. Zhou, H. Lu, H. Qin, et al., ‘‘TS-preemption threshold and priority optimization for the process scheduling in integrated modular avionics,’’ in Bio-Inspired Computing: Theories and Applications, BIC-TA 2017, Ed. by C. He, H. Mo, L. Pan, and Y. Zhao, Communications in Computer and Information Science (Springer, Singapore, 2017), Vol. 791, pp. 9–23.

    Google Scholar 

  10. J. Chen, C. Du, and P. Han, ‘‘Scheduling independent partitions in integrated modular avionics systems,’’ PLoS One 11 (12), e0168064, 1–18 (2016).

  11. F. Singhoff, A. Plantec, P. Dissaux, and J. Legrand, ‘‘Investigating the usability of real-time scheduling theory with the Cheddar project,’’ Real-Time Syst. 43 (3), 259–295 (2009).

    Article  Google Scholar 

  12. J. P. Craveiro, R. O. Silveira, and J. Rufino, ‘‘hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator,’’ in Proc. 3d Int. Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy (ECRTS, 2012), pp. 9–14.

  13. R. L. Smeliansky, ‘‘Model of distributed computing system operation with time,’’ Program. Comput. Soft. 39 (5), 233–241 (2013).

    Article  MathSciNet  Google Scholar 

  14. V. A. Antonenko, E. V. Chemeritskiy, A. B. Glonina, et al., ‘‘DYANA: HLA-based distributed real-time embedded systems simulation tool,’’ in Proc. 2013 Winter Simulation Conf., Simulation: Making Decisions in a Complex World (WSC’13), Washington, DC (IEEE, 2013), pp. 4012–4013.

  15. D. V. Buzdalov, S. V. Zelenov, et al., ‘‘Tools for system design of integrated modular avionics, ’’ Trudy Inst. Sist. Program. RAN 26 (1), 201–230 (2014).

    Article  Google Scholar 

  16. L. Wang, Y. Zhou, M. Wang, and J. Hu, ‘‘A tool for IMA system configuration verification and case study,’’ in Advances in Intelligent Systems and Interactive Applications, IISA 2017, Ed. by F. Xhafa, S. Patnaik, and A. Y. Zomaya, Advances in Intelligent Systems and Computing (Springer, Cham, 2017), Vol. 686, pp. 254–260.

  17. P. Dissaux, O. Marc, S. Rubini, et al., ‘‘The SMART project: multi-agent scheduling simulation of real-time architectures,’’ in Embedded Real Time Software and Systems, 7th European Congress (ERTS \({}^{2}\)2014), Toulouse, France (SEE, 2014), pp. 1–9.

  18. F. Cassez and K. Larsen, ‘‘The impressive power of stopwatches,’’ in CONCUR 2000 — Concurrency Theory, Ed. by C. Palamidessi, Lecture Notes in Computer Science (Springer, Berlin, p2000), Vol. 1877, pp. 138–152.

  19. A. Glonina and A. Bahmurov, ‘‘Stopwatch automata-based model for efficient schedulability analysis of modular computer systems,’’ in Parallel Computing Technologies, PaCT 2017, Ed. by V. Malyshkin, Lecture Notes in Computer Science (Springer, Cham, 2017), Vol. 10421, pp. 289–300.

    Google Scholar 

  20. A. B. Glonina and V. V. Balashov, ‘‘On the correctness of real-time modular computer systems modeling with stopwatch automata networks,’’ Autom. Control Comput. Sci. 52 (7), 817–827 (2018).

    Article  Google Scholar 

  21. E. André, ‘‘Observer patterns for real-time systems,’’ in Proc. 2013 18th Int. Conf. on Engineering of Complex Computer Systems (ICECCS 2013), Singapore (IEEE, 2013), pp. 125–134.

  22. UPPAAL Home. http://uppaal.org/.

  23. Cheetah3, The Python-powered template engine. http://cheetahtemplate.org/.

  24. V. V. Balashov, V. A. Kostenko, et al., ‘‘Tool system and algorithms for scheduling of computations in integrated modular onboard embedded systems,’’ IFAC-PapersOnLine 49 (25), 505–510 (2016).

    Article  Google Scholar 

  25. V. Balashov and E. Antipina, ‘‘Distribution of workload in IMA systems by solving a modified multiple knapsack problem,’’ in EngOpt 2018 Proc. 6th Intern. Conf. on Engineering Optimization, Ed. by H. C. Rodrigues, et al. (Springer, Cham, 2018), pp. 1166–1177.

Download references

Funding

This work was supported by the Russian Foundation for Basic Research, project no. 19-07-00614.

Author information

Authors and Affiliations

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

    A. B. Glonina

Authors
  1. A. B. Glonina
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. B. Glonina.

Additional information

Translated by E. Oborin

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Glonina, A.B. Tool System for Testing Real-Time Constraints for Modular Computational System Configurations. MoscowUniv.Comput.Math.Cybern. 44, 120–132 (2020). https://doi.org/10.3103/S0278641920030036

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0278641920030036

Keywords:

Search

Navigation