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 rabotaet docentom w Nacional'noj shkole inzhenerow Sfaxa (Uniwersitet Sfaxa, Tunis) s 2011 goda. On zaschitil habilitaciü 28 maq 2022 goda.Ego prepodawatel'skaq i issledowatel'skaq deqtel'nost' sosredotochena na raspredelennyh sistemah real'nogo wremeni, primenqemyh wo wstraiwaemyh sistemah.