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ů
© ARTEMIS JU project # 100203 March 28, 2011 | Slide 2
Partneři projektu Univerzity, výzkumná centra, průmysloví partneři Průmysloví partneři
Univerzity
© ARTEMIS JU project # 100203 March 28, 2011 | Slide 3
Postup řešení Využití meta-modelů k integraci nástrojů Legenda Aktivita 1
Rozhraní
Aktivita 2
Transformace Transformační scénář iFEST kompatibilní nástroj A
iFEST kompatibilní nástroj B
Aktivace iFEST kompatibilní nástroj C
iFEST komp. nástroj D
iFEST komp. nástroj E
iFEST komp. nástroj F
Nástroj A
Nástroj B
Nástroj C
Nástroj D
Nástroj E
Nástroj F
Nástroj A MM
Nástroj B MM
Nástroj C MM
Nástroj D MM
Nástroj E MM
Nástroj F MM
Requirements metamodel
Design & Implementation metamodel
Validation & Verification metamodel
iFEST Tool Integration Framework
© ARTEMIS JU project # 100203 March 28, 2011 | Slide 4
Spolupráce Masarykovy univerzity a Honeywellu Co nabízíme, co očekáváme Honeywell
Masarykova univerzita
Inovace v oblasti aplikací s vysokou mírou bezpečnosti (letecký průmysl pro evropský trh)
Výzkum v oblasti formálních verifikačních metod pro HW a SW
Verifikační nástroj HiLiTE (prakticky využívaný pro verifikaci leteckého softwaru s nevyšším stupněm kritičnosti)
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ů
© ARTEMIS JU project # 100203 March 28, 2011 | Slide 5
Struktura projektu
Validace a Verifikace Zpracování požadavků iFEST Tool Integration Framework
Integrační platforma
© ARTEMIS JU project # 100203 March 28, 2011 | Slide 6
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: Nástroj pro automatickou extrakci formálních požadavků aplikovatelný v praxi
© ARTEMIS JU project # 100203 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ů
© ARTEMIS JU project # 100203 March 28, 2011 | Slide 8
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ě
© ARTEMIS JU project # 100203 March 28, 2011 | Slide 9
© ARTEMIS JU project # 100203 March 28, 2011 | Slide 10