FORMS/FORMAT 2010 - 9783642427169

Geležinkelių ir automobilių automatikos ir saugos sistemų sudėtingumą vis labiau dominuoja formalaus aprašymo priemonės, metodai ir įrankiai. Formalūs metodai, be teisingumo ir vientisumo patikrų, ypač su sauga susijusių sistemų, suteikia galimybę modeliuoti, įrodyti, imituoti ir tikrinti sistemos specifikacijas bei generuoti sistemos įgyvendinimus. CENELEC ir IEC standartų formaliųjų technikų reikalavimai, ypač susiję su saugos analizės tvarkymu, turi būti nagrinėjami FORMS/FORMAT 2010. Daugiausia dėmesio skiriama temoms, su kuriomis susiduria formalūs geležinkelių taikomųjų priemonių ir pažangiųjų transporto sistemų metodai, pvz. taip pat automobilių reikmėms. Turi būti parodyti įgytos išvados, patirtis ir sunkumai, susiję su dalyko tvarkymu, taip pat aprašymo priemonės ir įrankiai.