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.

中文翻译：

---

用于测试模块化计算系统配置的实时约束的工具系统

摘要

集成模块化航空电子系统证明了测试模块化计算系统（MCSes）实时约束的问题。制定了用于测试这些约束的软件要求。描述了一种基于带有暂停计时器的定时自动机的数学装置对MCSes建模的方法，并介绍了实现该方法的工具系统。对进入已开发工具系统的参数化MCS模型进行了实验研究。该模型已在俄罗斯工业中使用的CAD IMA Scheduler进行了测试。