Bechir Zalila

Arhitekturnoe modelirowanie dlq sistem TR2E

Vklad w dinamicheskoe konfigurirowanie, otkazoustojchiwost', optimizaciü i formal'nuü werifikaciü

• Broschiertes Buch

Produktbeschreibung

V ätoj dissertacii my opisywaem osnownoj wklad nashej issledowatel'skoj deqtel'nosti. Jeta deqtel'nost' qwlqetsq chast'ü temy "Arhitektury programmnogo obespecheniq wo wstroennom raspredelennom kontexte real'nogo wremeni" (TR2E). Opisany chetyre osnownyh naprawleniq: dinamicheskaq rekonfiguraciq, otkazoustojchiwost', mnogocelewaq optimizaciq i formal'naq werifikaciq sistem TR2E. Vse äti materialy osnowany na qzykah opisaniq arhitektury (ADL) w kachestwe osnownogo älementa modelirowaniq, blagodarq ochen' moschnym wozmozhnostqm wyrazheniq ADL, kotorye pozwolqüt opisat' obschuü arhitekturu sistemy do ispol'zowaniq metodow preobrazowaniq modeli i generacii koda dlq wypolneniq razlichnyh dejstwij, swqzannyh s kazhdym iz ätih materialow. My shiroko ispol'zuem äti metody dlq maximal'noj awtomatizacii i sokrascheniq ob#ema koda, napisannogo razrabotchikom wruchnuü.

Produktdetails

• Verlag: Sciencia Scripts
• Seitenzahl: 92
• Erscheinungstermin: 22. Februar 2024
• Russisch
• Abmessung: 220mm x 150mm x 7mm
• Gewicht: 155g
• ISBN-13: 9786207187805
• ISBN-10: 6207187806
• Artikelnr.: 70026110

Autorenporträt

Bechir Zalila es profesor ayudante universitario en la Ecole Nationale d'Ingénieurs de Sfax (Universidad de Sfax, Túnez) desde 2011. Defendió su Habilitación el 28 de mayo de 2022.Sus actividades docentes e investigadoras se centran en los sistemas distribuidos en tiempo real aplicados a los sistemas embebidos.