Přejít k obsahu


Prezentace na výročním zasedání CANUT

Citace:
AUSBERGER, T., BALDA, P. Prezentace na výročním zasedání CANUT. FEL ZČU, 2016.
Druh: PŘEDNÁŠKA, POSTER
Jazyk publikace: cze
Rok vydání: 2016
Autoři: Bc. Tomáš Ausberger , Ing. Pavel Balda Ph.D.
Abstrakt CZ: Během prezentace byly představeny normy aplikovatelné na bezpečnostně kritické aplikace v jaderné energetice. Byly vysvětleny pojmy Verifikace a Validace dle normy IEC 60880. Následně byly představeny klasické metody Verifikace software založené na dynamické analýze a moderní principy Verifikace založené na statické analýze. Byly představeny základní principy metody Model checking, která nahrazuje analytickou statickou analýzu moderním přístupem s procházením stavů.
Klíčová slova

Zpět

Patička