Vessedia
VESSEDIA (Verification Engineering of Safety and Security Critical Industrial Applications) on projekti, jonka tarkoituksena on parantaa tieto- ja viestintätekniikan ja erityisesti esineiden internetin (IoT) turvallisuutta ja tietoturvaa. Syvemmin hankkeen tavoitteena on muodollisten menetelmien(Formal Methods) helpompi hyödyntäminen turvallisuuden ja luotettavuuden lisäämisessä eri sovellusalueiden ohjelmistosovelluksissa.
VESSEDIA-konsortio pyrkii ratkaisemaan näitä haasteita esimerkiksi:
• kehittämällä menetelmän, jonka avulla lähdekoodin analysointivälineet voidaan ottaa käyttöön tehokkaammin
• parannetun työkalupaketin (Frama-C) tarjoaminen kehittäjien helppoon ja tehokkaaseen käyttöön
• esittelemällä uusien työkalupakettien ominaisuuksia tavanomaisissa IoT-sovelluksissa, kuten IoT-käyttöjärjestelmässä (Contiki)
• kehittämällä globaalisti käyttökelpoinen standardointisuunnitelma uusien työkalupakettien yleistämiseksi käyttöön laajemmalle sovelluskentälle
• osallistumalla yhteisten kriteerien sertifiointiprosessiin sekä kehittämällä ja määrittelemällä eurooppalaisella teknologialla varustettujen ohjelmistotuotteiden validointia koskevan merkinnän "Verified in Europe"
VESSEDIAn konsortio koostuu joukosta merkittäviä eurooppalaisia ict-teollisuuden ja ict-tutkimuksen toimijoita, innovatiivisia pk-yrityksiä sekä sertifiointiasiantuntijoita.
Turun ammattikorkeakoululla on johtava asema maailmanlaajuisesti sovellettavan standardointisuunnitelman kehittämisessä. Osa prosessia on myös kouluttaminen ja tulosten levittäminen. Turun ammattikorkeakoulun tehtävänä on myös analysoida VESSEDIAn tulosten taloudellista perusteita.
![Horizon 2020 logo Horizon 2020 logo](/media/filer_public_thumbnails/filer_public/2015/10/16/only_horizon2020_logo_and_text.jpg__400x82_q85_subsampling-2.jpg)
![vessedia.png vessedia.png](/media/filer_public_thumbnails/filer_public/56/23/5623a141-9ae6-4e17-8ff3-cc51a091c920/vessedia.png__400x200_q85_subsampling-2.png)