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 hozzáillő 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, 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.