1. Разработать формальную модель информационных обменов для шины MIL-STD-1553. 2. Разработать формальную модель информационных обменов в кольце с арбитражем (без ограничений стандарта FC-AE-1553)
А чем Ваши формальные модели отличаются от уже существующих?