//
Arhiiv

ohutusmeetmed

This tag is associated with 1 post

Forms/format 2010: Formal methods for automation and safety in railway and automotive systems. Springer, 2011

Tegemist on konverentsikogumikuga, mis annab ülevaate formaalsetest meetoditest automaatika- ja ohutussüsteemide puhul raudtee ja autotehnika valdkonnas. Formaalsed meetodid võimaldavad lisaks korrektsusele ja terviklikkuse kontrollile tõestada süsteemi süntaktilist ja semantilist spetsifikatsiooni ning simuleerida süsteemi toimimist. Raamatu esimene osa käsitleb ohutust ja turvalisust ning nende rakendamist transpordivaldkonnas. Teine osa annab ülevaate seaduslikest aspektidest ning süsteemide simuleerimise ja … Continue reading

Varasemad postitused