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

摘要

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.