1. Introduction
Modern onboard distributed real-time embedded systems (RTES) consist of multiple devices connected by data transfer network which contain dozens of channels. On the phase of RTES integration, following problems arise that require tool support:
verification of compliance of the RTES devices to the technical specification, including requirements to data exchange through external interfaces of the devices;
validation of devices’ communications through onboard data transfer network;
integrated testing and debugging of RTES software, including distributed software on several devices;
dependability assessment of the RTES architecture, including estimation of throughput margin on data transfer channels and resilience of RTES hardware and software to data exchange failures;
scheduling of data exchange through channels and validation of the constructed schedules.