Konfigurirowanie i razwertywanie prilozhenij TR2E s pomosch'ü ADL

Sozdanie raspredelennyh wstraiwaemyh sistem real'nogo wremeni (TR2E) - äto trudoemkaq i dorogostoqschaq operaciq razrabotki. Bolee togo, prilozheniq real'nogo wremeni dolzhny udowletworqt' zhestkim ogranicheniqm dlq obespecheniq ih korrektnoj raboty. Snizit' stoimost' razrabotki takih prilozhenij prizwano ispol'zowanie qzykow opisaniq arhitektury. K ätomu semejstwu qzykow otnositsq AADL (Architecture Analysis & Design Language). V nem predlozheno ponqtie "komponent", chetko opredelennaq semantika kotorogo mozhet byt' ispol'zowana dlq opisaniq neskol'kih aspektow sistemy TR2E.V dannoj rabote ispol'zuütsq funkcional'nye wozmozhnosti AADL dlq opredeleniq tochnyh trebowanij k prilozheniü TR2E s cel'ü ego awtomaticheskogo sozdaniq. Fakticheski, predlagaemyj nami process proizwodstwa awtomaticheski generiruet kod dlq integracii komponentow prilozheniq w platformu ispolneniq, awtomaticheski generiruet znachitel'nuü chast' komponentow promezhutochnogo PO, adaptirowannyh k prilozheniü, i awtomaticheski razwertywaet prilozhenie i komponenty promezhutochnogo PO, chtoby poluchit' sistemu, w znachitel'noj stepeni orientirowannuü na prilozhenie.