Modell-vezérelt keretrendszer nyomonkövethetőségi modellek automatikus kezeléséhez

Napjainkban egyre szélesebb körben elterjedté válik a modellvezérelt szoftverfejlesztési megközelítés használata a biztonságkritikus rendszerek fejlesztése során, köszönhetően olyan újonnan megjelenő szabványoknak (pl. DO-178C) amelyek explicite építenek ezekre a módszerekre. Közös ezekben a szabványokban, hogy megkövetelik a fejlesztési folyamat összes fázisán keresztülívelő nyomonkövethetőséget, a rendszerrel szemben támasztott követelményektől kezdve, egészen a megvalósított forráskódig.

A hallgató feladata egy olyan keretrendszer megvalósítása, amely a nyílt OSLC szabvány interfészeit megvalósítva képes egy különálló nyomonkövethetőségi modellt épteni akár több különböző platformon elérhető modell között.