Firmware fejlesztés

Kiváló minőségű, biztonsággal kapcsolatos vagy biztonságkritikus szoftverek fejlesztése megköveteli a biztonsági szabványok (pl. IEC 61508, ISO 26262, DO-178C stb.) betartását és szigorú minőségbiztosítási intézkedések alkalmazását.

A szoftverfejlesztés egy iteratív eljárás, amely megfelelő fejlesztési módszertanra (például Agile, V-Model stb.) támaszkodik, és a megfelelő követelmények összegyűjtésével kezdődik. A követelmények nem csak az ellenőrzéshez és az érvényesítéshez, hanem a szoftver architektúra specifikációjához is nélkülözhetetlenek. Véleményünk szerint erősen ajánlott a lehető legtöbbet megtervezni – például egy architektúra dokumentum létrehozásával – mielőtt bármilyen kód megírásra kerülne. Egy valós projektben a követelmények és az architektúra specifikációk olyan fejlesztési dokumentumok, amelyeket gyakran változtatnak. Ez egy természetes folyamat, ennek ellenére néha nagyon megterhelő lehet.

Szakértelmünkre az alábbi témakörökben számíthat:

Követelményspecifikáció

Segíteni tudunk a beágyazott szoftverek követelményspecifikációinak elkészítésében, különösen olyan projekteknél, amelyeknek meg kell felelniük a biztonsági szabványoknak az alábbiak szerint:

    • IEC 61508
    • ISO 26262
    • IEC 62061
    • ISO 13849

Architektúraspecifikáció

„A szoftverarchitektúra olyan tervezési döntések összessége, amelyek helytelen meghozatala a projekt törlését okozhatja.” (Eoin Woods)

Véleményünk szerint egy megfelelő szoftverarchitektúra-specifikációnak dokumentálnia kell legalább a következőket:

    • a szoftverrendszer felépítése ideális esetben több absztrakciós szinten történik
    • a szoftverkomponensek közötti kölcsönhatás
    • a szoftverkomponensek közötti interfészek leírása
    • a tervezési döntések (beleértve a kockázatokat is) és az indoklás
    • a minőségi célok
    • az érdekelt felek és a felelősségek

Megvalósítás

Tapasztaltak vagyunk a biztonsággal kapcsolatos beágyazott rendszerek kiváló minőségű C kódjainak írásában. Korábban az alábbiak szerint segítettük ügyfeleinket a szoftvermodulok megvalósításában:

    • idővezérelt rendszerek
    • C-könyvtárak (más néven HAL-ok) a hardverkomponensek, például MCU-perifériák, memóriák, kijelzők, érzékelők stb. elérésére
    • kommunikációs protokollok
    • különféle ellenőrzési és felügyeleti feladatok

Projektjeink többségében a 32 bites mikrokontrollereket részesítjük előnyben, de bizonyos esetekben, különösen egyszerű feladatoknál általában 8 vagy 16 bites eszközöket alkalmazunk.

Azokban a szoftverprojektekben, ahol az erőforrásaink már nem elegendőek, megbízható partnerünkre, a SafeTTy-Systems Ltd.-re támaszkodunk, akivel évek óta hatékonyan dolgozunk együtt.

Tesztelés

Az ASRP-Systems jelenleg nem kínál szoftvertesztelési szolgáltatásokat, de olyan esetekben, amikor független szoftvertesztelésre van szükség, szívesen irányítjuk Önt vagy szervezetét valamelyik partnerünkhöz, aki rendelkezik megfelelő tapasztalattal és erőforrásokkal.

Tanácsadás és felülvizsgálat

A fenti tevékenységekhez kapcsolódóan tanácsadási és felülvizsgálati szolgáltatások formájában is szívesen segítünk. Forduljon hozzánk bizalommal.