Project Details

Validace spustitelného kódu pro systémy průmyslové automatizace pomocí zpětného překladu

Project Period: 1. 1. 2013 – 31. 12. 2013

Project Type: grant

Code: FEKT/FIT-J-13-2000

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

Type
grant
Abstract

Metodologie testování průmyslových aplikací, které mají přímý vliv na bezpečnost a zdraví člověka, je v současnosti již na vysoké úrovni. Chyba však může být do aplikace zanesena i překladačem, zvláště při vysoké míře použitých optimalizací. Je proto nezbytné efektivně validovat i spustitelný kód sloužící pro řízení těchto systémů. Projekt si klade za cíl vytvořit automatizované řešení, které ověří míru shody vygenerovaného a původního kódu. Řešení je založeno na technice rekonfigurovatelného zpětného překladu (dekompilaci).

Team members
Ďurfina Lukáš, Ing., Ph.D. – research leader
Bradáč Zdeněk, doc. Ing., Ph.D. (UAMT)
Kolář Dušan, doc. Dr. Ing. (DIFS)
Křoustek Jakub, Ing., Ph.D.
Šír Michal, Ing.
Publications

2013

Back to top