Biztonságkritikus PLC fejlesztése – ARM Cortex-en futó operációs rendszer fejlesztése

Konzulens:
Markovits Tibor Gergely
Tárgy:
Önálló laboratórium - Szoftverfejlesztés és rendszertervezés specializáció, BSc Info.
Önálló laboratórium - Irányítórendszerek ágazat, BSc Vill.
Önálló laboratórium 1 - Irányítórendszerek főspecializáció, MSc Vill.
Önálló laboratórium 2 - Irányítórendszerek főspecializáció, MSc Vill.
Önálló laboratórium 1 - Irányító és látórendszerek MSc. főspec.
Önálló laboratórium 2 - Irányító és látórendszerek MSc. főspec.
Hallgatói létszám:
2
Folytatás:
Szakdolgozat / Diplomaterv
TDK dolgozat
Leírás:



Részleg:

Digitális célrendszerek kutatócsoport, IIT

 

Projekt leírás:

A projekt célja egy nagy megbízhatóságú generikus PLC, a SILMA-S fejlesztése, mely olyan biztonságkritikus környezetekben használható fel, mint például a vasúti alkalmazások vagy az atomenergetika. A SILMA-S generikus PLC a minőségirányítás érdekében teljes mértékben saját fejlesztésű megoldásokat tartalmaz, mint például a hardver kártyák, FPGA-ba szintetizált ARM Cortex-M soft core processzormagok, egyedi perifériák, operációs rendszer és egyéb szoftvermodulok.

 

Feladatok:

A fejlesztés során a fenti témában a következő feladatok várnak rád:

·      ARM Cortex-en futó biztonságkritikus taszkokat futtató operációs rendszer írása kizárólag C és Assembly nyelven, melynek részei:

·      a kernel karbantartása és továbbfejlesztése,

·      rendszer taszkok fejlesztése,

·      a SILMA mikroarchitektúra szoftveres kiegészítése,

·      IPStack karbantartása és továbbfejlesztése,

·      a fentiek integrálása és tesztelése a SILMA-S hardveren.

 

Érdemes figyelembe venned:

Előnyös, ha következőkkel rendelkezel:

·      erős C tudás, és nem riadsz vissza az Assembly kódtól,

·      hallottál már a következőkről: privilegizált üzemmód, Memory Protection Unit, kontextusváltás, DMA, stackframe (veremkeret), kivételkezelés,

·      ismered a következő interfészeket: UART, SPI, CAN, Ethernet  

·      angol nyelvtudás az ARM processzorok adatlapjainak és a szabványok megértéséhez.

 

A projekt keretén belül az alábbi kompetenciákat szerezheted meg:

·      ARM Developer Studio (Eclipse alapú) fejlesztőkörnyezet haladó szintű használata,

·      debuggolási technikák megismerése beágyazott környezetben,

·      ARM Cortex processzorcsalád megismerése az ARM Academic Acces program jóvoltából,

·      megismerheted ez IEC 61508-as szabványokra alapuló, biztonságkritikus rendszerek fejlesztésének eljárásait,

·      a MISRA C nyelvi megkötések használata.


Ha megtetszett a téma, akkor jelentkezz e-mail-ben időpont egyeztetés céljából és egy személyes beszélgetés keretén belül még több információval tudunk ellátni, illetve egyeztetni tudjuk a konkrét feladatokat.


Ha ez a téma nem nyerte el a tetszésedet, de a SILMA-S projekt érdekel, nézd meg a további témákat is:

·      A moduláris rendszer kártyáinak hardveres fejlesztése Altium Designer segítségével

·      FPGA és CPLD alapú mikrokontroller fejlesztése ARM Cortex processzormagokkal és egyedi perifériákkal

·      A SILMA-S kártyáin futó alkalmazásszoftverek fejlesztése C nyelven

·      DevOps feladatok ellátása a SILMA-S fejlesztése során