Fejlesztésben alkalmazott szoftvereszközök minősítése
Copyright (c) 2023 Schuster György
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Absztrakt
A szoftverek fejlesztéséhez sok esetben segédeszközöket célszerű vagy kell használnunk. Ezek a segédeszközök az esetek 98%-ában speciális szoftvereszközök. A szoftvereszköz tehát egy speciális program, amelyet egy másik program fejlesztéséhez, teszteléséhez, adatainak előállításához, esetleg dokumentáció készítéséhez használunk. Ezeket az eszközöket az egész életciklus folyamán alkalmazzuk, így jelentős szerepük van az elkészült rendszer minőségében és minősítésében. A repülésben már az 1980-as évek óta jelen vannak, és alkalmazásuk az elmúlt években robbanásszerűen megnőtt. Ez nemcsak a fedélzeti rendszereket érinti, hanem minden olyan területet is, amelynek biztonsági követelményei vannak. Amennyiben valamely szoftvereszközt biztonságkritikus fejlesztésben kívánunk alkalmazni, akkor ezeknek az eszközöknek is megfelelő minősítéssel kell rendelkezniük. Ez a tanulmány ezeknek az eszközöknek a minősítésével foglalkozik.
Kulcsszavak:
Hogyan kell idézni
Hivatkozások
L. A. (Schad) Johnson, DO-178B, „Software Considerations in Airborne Systems and Equipment”. University of Glasgow School of Computing Science, (é. n.). Online: https://www.dcs.gla.ac.uk/~johnson/teaching/safety/reports/schad.html
L. Rierson, Developing Safety-Critical Software. A Practical Guide for Aviation Software and DO-178C Compliance. Boca Raton, CRC Press, 2013. Chapt. 12, 13. Online: https://doi.org/10.1201/9781315218168
M. Ibrahim, U. Durak, „State of the Art in Software Tool Qualification with DO-330,” in Proceedings of the Software Engineering 2021
Satellite Events, S. Götz, L. Linsbauer, I. Schaefer, A. Wortmann (szerk.), Bonn, Gesellschaft für Informatik, 2021. Online: http://ceur-ws.org/Vol-2814/paper-A4-4.pdf
A. Methni, E. Ohayon, and F. Thurieau, „ASTERIOS Checker: A Verification Tool for Certifying Airborne Software,” in 10th European Congress on Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France. Online: https://hal.archives-ouvertes.fr/hal-02508852/document
J. Liu, X. Zhang, Y. Zhao, „Tool Qualification Requirements Comparison and Analyses Between RTCA/DO-178B and RTCA/DO-178C+ DO-330,” Journal of Physics: Conference Series, Vol. 1827. No. 1. pp. 012191. Online: https://doi.org/10.1088/1742-6596/1827/1/012191
ISO 26262, Road vehicles – functional safety, Part 3 – 8, ISO Std., 2018. Online: https://bit.ly/3HgDYoz
European Standards, BS EN 50126 Railway Applications – The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) – Part 1. Online: https://bit.ly/3D1LSzM
J. Marques, A. Marques da Cunha: „COTS Tool Qualification using RTCA DO-330: Common Pitfalls,” in 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC). 2017. pp. 1–6. Online: https://doi.org/10.1109/DASC.2017.8102031