Besplatan seminar: Verifikacija embedovanog koda Polyspace alatima

Iskustva u verifikaciji embedovanog koda korišćenjem Polyspace-a iz perspektive korisnika
U Novom Sadu će se 22. okrobra u Hotelu „Novi Sad“ održati besplatan tehnički seminar u organizaciji komapnije „Gamax“ na kojoj ćete moći da saznate puno o alatima za verifikaciju embedovanog koda za sisteme kod kojih je bezbednost kritični uslov. Prezenteri će sa posetiocima podeliti sopstvena iskustva u radu sa Polyspace alatima za analizu i verifikaciju embedovanog koda.

Seminar se izvodi na engleskom jeziku, okupljanje je od 8:30, a sam predavanja počinju u 9:00.

Polyspace® proizvodi pomažu inžinjerima prilikom izvođenja statičkih analiza, što im omogućava da detektuju i potvrde odsustvo grešaka tipa: overflow, divide-by-zero, out-of-bounds array access kao i drugih run-time grešaka u izvornom kodu.

Korišćenjem naprednih formalnih metoda, kao što su apstraktna interpretacija, Polyspace proizvodi su kompletno rešenje za statičku analizu koda – tražeći greške u pravilima kodiranja, identifikujući bagove i ocenjujući kvalitet koda, i na taj način verifikuju vaš ručno ili automatski generisan kod i njegovu ispravnost u svin run-time uslovima.

Glavne teme (predavanja se odvijaju na engleskom):

Evaluating the leading software products of the static code analyzer market
Static code analysis of safety-critical embedded systems
Introducing a rail industrial application (automotive and aerospace applications are also similar)
Safety Integrity Level
SW Verification, Validation, Certification.

Razlozi zbog kojih treba da posetite seminar:

Želite da steknete iskustvo sa „safety critical“ sistemima
Želite da saznate kako se embedovan kod verifikuje, proverava i sertifikuje u skladu sa industrijskim bezbednosnim standardima
Želite da saznate šta je sve moguće uraditi sa Polyspace alatima
Želite da dodjete u kontakt sa iskusnim korisnicima u regionu
Želite da se sretnete sa vašim kolegama i povećate svoju profesionalnu mrežu

Ko treba da prisustvuje?