Biztonságkritikus szoftver fejlesztés
This work is licensed under a Creative Commons Attribution 4.0 International License.
Absztrakt
A szoftver kritikus sikertényező. Manapság nincs olyan bonyolultabb műszaki alkotás, amelyben nincs szoftver támogatás. Ez a kijelentés a közlekedésben résztvevő járművekre fokozottan igaz, akármelyik területet is nézzük. Ezek a szoftver elemek megjelennek minden területen a szórakoztató rendszerektől az intelligens forgalomirányítások keresztül a kritikus fedélzeti rendszerekig. Minél több biztonságkritikus feladatot bízunk ezekre a fedélzeti rendszerekre, annál kevesebb feladat hárul a folyamatokban résztvevő emberekre, illetve olyan funkciókat is meg tudunk valósítani, amelyek korábban elképzelhetetlenek voltak. Sajnos a rendszerek növekvő bonyolultsága növeli a hibák előfordulásának lehetőségét. Ebben a cikkben azt mutatjuk be, hogy milyen szempontokat és szabályokat kell betartani, ha olyan beágyazott rendszerek szoftvereit kell előállítani, amelyek kritikus biztonsági feladatokat látnak el.