Tool system for testing real-time constraints for modular computational system configurations.

*(English. Russian original)*Zbl 07277580
Mosc. Univ. Comput. Math. Cybern. 44, No. 3, 120-132 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 3, 16-29 (2020).

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

##### MSC:

68M | Computer system organization |

##### Keywords:

networks of timed automata; integrated modular avionics; computation scheduling; verification
PDF
BibTeX
XML
Cite

\textit{A. B. Glonina}, Mosc. Univ. Comput. Math. Cybern. 44, No. 3, 120--132 (2020; Zbl 07277580); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 3, 16--29 (2020)

Full Text:
DOI

##### 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] | Tretyakov, A., Automation of scheduling for periodic real-time systems, Trudy Inst. Sist. Program. RAN, 22, 375-400 (2012) |

[4] | Zhou, T.; Xionq, H.; Zhang, Z., Hierarchical resource allocation for integrated modular avionics systems, J. Syst. Eng. Electron., 22, 780-787 (2011) |

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

[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] | Wang, D.; Han, J.; Ma, D.; Zhao, X., Studying on ARINC653 partition run-time scheduling and simulation, WASET Int. J. Comput. Syst. Eng., 6, 1482-1486 (2012) |

[9] | Zhou, Q.; Lu, H.; Qin, H.; Communications in Computer and Information Science, Bio-Inspired Computing: Theories and Applications, BIC-TA 2017 (2017), Singapore: Springer, Singapore |

[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] | Singhoff, F.; Plantec, A.; Dissaux, P.; Legrand, J., Investigating the usability of real-time scheduling theory with the Cheddar project, Real-Time Syst., 43, 259-295 (2009) · Zbl 1184.68139 |

[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] | Smeliansky, R. L., Model of distributed computing system operation with time, Program. Comput. Soft., 39, 233-241 (2013) · Zbl 1311.68033 |

[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] | Buzdalov, D. V.; Zelenov, S. V., Tools for system design of integrated modular avionics, Trudy Inst. Sist. Program. RAN, 26, 201-230 (2014) |

[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 \({}^22014)\), 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. · Zbl 0999.68112 |

[19] | Glonina, A.; Bahmurov, A., Parallel Computing Technologies, PaCT 2017 (2017), Cham: Springer, Cham |

[20] | Glonina, A. B.; Balashov, V. V., On the correctness of real-time modular computer systems modeling with stopwatch automata networks, Autom. Control Comput. Sci., 52, 817-827 (2018) |

[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] | Balashov, V. V.; Kostenko, V. A., Tool system and algorithms for scheduling of computations in integrated modular onboard embedded systems, IFAC-PapersOnLine, 49, 505-510 (2016) |

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

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.