Honeywell & Masarykova univerzita v Brně

Rozměr: px

Začít zobrazení ze stránky:

Download "Honeywell & Masarykova univerzita v Brně"

Radim Bednář
před 8 lety
Počet zobrazení:

pro vytvoření a údržbu nástrojových řetězců (tool-chains), které se využívají pro tvorbu složitých embedded systémů.

1 Honeywell & Masarykova univerzita v Brně Představení projektu ifest a dosavadních výsledků jeho řešení Ing. Jan Beran, Ph.D., Advanced Technology Europe (Platform Systems), Honeywell International Představení projektu ifest Industrial Framework for Embedded Systems Tools Cíl projektu Návrh a vytvoření integračního rámce pro vytvoření a údržbu nástrojových řetězců (tool-chains), které se využívají pro tvorbu složitých embedded systémů. Metody řešení Vytvoření otevřeného standardizovaného rámce pro integraci nástrojů, Vytvoření univerzálního formátu předávaných dat Rozšíření nástrojů o patřičné integrační rozhraní, Kritéria úspěchu 20% úspora doby vývoje embedded systémů 20% úspora nákladů na vývoj embedded systémů 20% snížení vyskytů defektů v embedded systémů March 28, 2011 Slide 2

2 Partneři projektu Univerzity, výzkumná centra, průmysloví partneři Průmysloví partneři Univerzity March 28, 2011 Slide 3 Postup řešení Využití meta-modelů k integraci nástrojů Legenda Aktivita 1 Aktivita 2 Transformační scénář Rozhraní Transformace Aktivace nástroj A nástroj B nástroj C nástroj D nástroj E nástroj F A B C D E F A B C D E F Requirements Design & Implementation ifest Tool Integration Framework Validation & Verification March 28, 2011 Slide 4

Rozhraní Transformace Aktivace nástroj A nástroj B nástroj C nástroj D nástroj E nástroj F A B C D E F A B C D E F

3 Spolupráce Masarykovy univerzity a Honeywellu Co nabízíme, co očekáváme Honeywell Inovace v oblasti aplikací s vysokou mírou bezpečnosti (letecký průmysl pro evropský trh) Verifikační nástroj HiLiTE (prakticky využívaný pro verifikaci leteckého softwaru s nevyšším stupněm kritičnosti) Masarykova univerzita Výzkum v oblasti formálních verifikačních metod pro HW a SW Verifikační nástroj DiVinE (distribuovaný nástroj pro formální verifikaci distribuovaných diskrétních systémů s vysokou přidanou hodnotou) Získání konkureční výhody na trhu (produktovém, s nástroji, atd.) Umožnit využití nástroje DiVinE (MU) ve vývoji embedded produktů March 28, 2011 Slide 5 Struktura projektu Validace a Verifikace Zpracování požadavků ifest Tool Integration Framework Integrační platforma March 28, 2011 Slide 6

(distribuovaný nástroj pro formální verifikaci distribuovaných diskrétních systémů s vysokou přidanou hodnotou) Získání konkureční výhody na trhu (produktovém, s nástroji, atd.

4 Společný přístup k řešení projektu dosavadní výsledky Work Package 3 (Requirements Engineering & Analysis) Spolupráce na tvorbě meta-modelu pro doménu zprácovávání požadavků Tento meta-model bude sloužit k integraci nástrojů pracujících s požadavky (prerekvizita úspěšného řešení projektu) Návrh tvorby matematické reprezentace funkčních požadavků na embedded systémy pro účely verifikace Typologická analýza požadavků v reálných aplikacích Analýza schopností vývojářů docílit matematické reprezentace Návrh kroků, vedoucích k úspěšné tvorbě matematického zápisu Využití Linear Time Logic (LTL) a Computation Tree Logic (CTL) k reprezentaci požadavků Cíl: pro automatickou extrakci formálních požadavků aplikovatelný v praxi March 28, 2011 Slide 7 Společný přístup k řešení projektu dosavadní výsledky Work Package 5 (Validation & Verification) Spolupráce na tvorbě meta-modelu pro doménu validace a verifikace Tento meta-model bude sloužit k integraci nástrojů pracujících s meziprodukty při vývoji embedded systému i s finálními embedded systémy (prerekvizita úspěšného řešení projektu) Díky tomu bude možno využívat verifikační a testovací nástroje i v raných fázích vývoje embedded zařízení úspora času/peněz Spolupráce na integraci nástrojů DiVinE a HiLiTE do vývojového procesu embedded zařízení Analýza společných a komplementárních funkcí těchto nástrojů Definice integrační architektury nástrojů do ifest platformy Prvotní pokusy výměny dat mezi nástroji a platformou Cíl: Snadná integrace těchto a potenciálně dašíc nástrojů March 28, 2011 Slide 8

Typologická analýza požadavků v reálných aplikacích Analýza schopností vývojářů docílit matematické reprezentace Návrh kroků, vedoucích k úspěšné tvorbě matematického zápisu Využití Linear Time Logic

5 Další spolupráce plynoucí z účasti na projektu ifest Vzájemná výměna pohledů na oblast verifikačních metod a nástrojů (střet akademického a aplikovaného přístupu) Spolupráce prostřednictvím interní práce doktorandů na pracovišti Advanced Technology Europe Honeywell (plánováno) Příprava studentů Masarykovy univerzity na budoucí pozice na pracovištích Honeywellu Zvýšení inovačního potenciálu nástroje DiVinE prostřednictvím praktického nasazení nástroje na aplikacích z praxe Možnost užší spolupráce díky konzorciální smlouvě (PCA) projektu ifest dodatečná NDA smlouva v přípravě March 28, 2011 Slide 9 March 28, 2011 Slide 10

univerzity na budoucí pozice na pracovištích Honeywellu Zvýšení inovačního potenciálu nástroje DiVinE prostřednictvím praktického nasazení nástroje na

Podobné dokumenty

Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-SOC: 2 METODY VERIFIKACE SYSTÉMŮ NA ČIPU II doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii