Ariäl' Syrko

Struktura dlq poluawtomaticheskoj formalizacii awtomobil'nyh trebowanij

Razrabotka i ocenka

• Broschiertes Buch

Produktbeschreibung

Za poslednie neskol'ko let kolichestwo i slozhnost' funkcij, realizowannyh w awtomobile, stremitel'no uwelichiwaütsq. V nastoqschee wremq widenie awtonomnogo transportnogo sredstwa uzhe ne mechta ili fantasticheskij fil'm, a priblizhaüschaqsq real'nost'. Dlq dostizheniq nailuchshego kachestwa i wysokoj bezopasnosti neobhodimy peredowye metody werifikacii. Simulink Design Verifier - äto instrument prowerki modelej, osnowannyj na formal'noj werifikacii, kotoryj mozhet byt' äffektiwno ispol'zowan dlq resheniq problem, swqzannyh s obnaruzheniem oshibok i testirowaniem na rannih stadiqh proekta. Preobrazowanie trebowanij, napisannyh w tradicionnoj forme, neposredstwenno w zadachi Simulink Design Verifier mozhet zanqt' mnogo wremeni, a takzhe potrebowat' znaniq modeli sistemy i instrumenta werifikacii. Dlq togo chtoby sokratit' wremennye zatraty i prowesti pol'zowatelq cherez model' sistemy i instrument werifikacii, byla razrabotana poluawtomatizirowannaq struktura. Vnedrenie ogranichennyh shablonow anglijskoj grammatiki w ob#ekty Simulink podderzhiwaet opisanie shablonow dlq inzhenerow i sokraschaet zatraty wremeni. Razrabotannaq struktura qwlqetsq gibkoj i intuitiwno ponqtnoj, poätomu mozhet byt' resheniem dlq drugih otraslej promyshlennosti, no trebuütsq dal'nejshie ispytaniq i werifikaciq.

Produktdetails

• Verlag: Sciencia Scripts
• Seitenzahl: 60
• Erscheinungstermin: 30. August 2022
• Russisch
• Abmessung: 220mm x 150mm x 5mm
• Gewicht: 107g
• ISBN-13: 9786205126370
• ISBN-10: 6205126370
• Artikelnr.: 65481608

Autorenporträt

Ariäl' Syrko poluchil stepen' magistra nauk w oblasti älektrotehniki w Tehnologicheskom institute Blekinge.