A biztonságkritikus fejlesztésben alkalmazott módszertanok
Copyright (c) 2025 Schuster György
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Absztrakt
Amióta a számítógépeket irányítástechnikai feladatok elvégzésére használjuk, az a célunk, hogy mind hardveres, mind szoftveres szempontból a működésbiztonságuk a kívánt mértékeknek megfelelő legyen. Azt könnyen beláthatjuk, hogy egy nehezen meghatározható szint felett a szoftverek bonyolultsága már annyira magas, hogy azokat lehetetlen átlátni és követni, és mint azt több előző cikkben is megírtuk, kellő mértékben tesztelni. Ebben az írásban rövid történeti összefoglalás után a manapság használt fejlesztési módszertanokkal foglalkozunk, kiemeljük célszerű alkalmazási területüket és főbb jellemzőiket. Mintapéldákat mutatunk be, hogy az egyes tárgyalt módszertanokat hol és hogyan alkalmazhatjuk a repülésben.
Kulcsszavak:
Hogyan kell idézni
Hivatkozások
Adacore, Introduction to Ada. [é. n.]. Online: https://learn.adacore.com/courses/intro-to-ada/chapters/introduction.html
Adacore, Object-oriented programming. [é. n.]. Online: https://learn.adacore.com/courses/intro-to-ada/chapters/object_oriented_programming.html
Airbus Training Flight Crew Training Manual, FLIGHT CONTROLS. Online: https://www.smartcockpit.com/docs/A320-Flight_Controls.pdf
AviationHunt Team, „ATA 27: Airbus A320 (Technical Notes),” Aviationhunt.com, 2024. március 12. Online: https://www.aviationhunt.com/airbus-a320-ata-27/#google_vignette
D. Briere, C. Favre, P. Traverse, „Electrical Flight Controls, From Airbus A320/330/340 to Future Military Transport Aircraft: A Family of Fault-Tolerant Systems,” in The Avionics Handbook, C. Spitzer szerk., Boca Raton, CRC Press LLC, 2001. Online: https://helitavia.com/avionics/TheAvionicsHandbook_Cap_12.pdf
IVAO Documentation Library, Traffic Collision Avoidance System – TCAS. [é. n.]. Online: https://wiki.ivao.aero/en/home/training/documentation/Traffic_collision_avoidance_system-TCAS
L. Erdődi, A. Jøsang, „Exploitation vs. Prevention: The Ongoing Saga of Software Vulnerabilities,” Acta Polytechnica Hungarica, 17. évf. 7. sz. pp. 199–218. 2020. Online: https://doi.org/10.12700/APH.17.7.2020.7.11
M. Olsson, C++20 Quick Syntax Reference A Pocket Guide to the Language, APIs, and Library. Fourth Edition, New York, Apress, 2020. Online: https://doi.org/10.1007/978-1-4842-5995-5
S. Misra, „Evaluation Criteria for Object-oriented Metrics,” Acta Polytechnica Hungarica, 8. évf. 5. sz. 2011. pp. 109–136. Online: http://acta.uni-obuda.hu/Misra_31.pdf
U.S. Department of Transportation, Federal Aviation Administration, Advisory Circular. 2014. Online: https://www.faa.gov/documentlibrary/media/advisory_circular/ac_20-151b.pdf
U.S. Department of Transportation, Federal Aviation Adminstration, Introduction to TCAS II Version 7.1. 2011. Online: https://www.faa.gov/documentlibrary/media/advisory_circular/tcas%20ii%20v7.1%20intro%20booklet.pdf
Wikipedia, ENIAC. [é. n.]. Online: https://hu.wikipedia.org/wiki/ENIAC"
Wikipedia, Procedural Programming. [é. n.]. Online: https://en.wikipedia.org/wiki/Procedural_programming
Wikipedia, Structured Programming. [é. n.]. Online: https://en.wikipedia.org/wiki/Structured_programming
Wikipedia, Traffic Collision Avoidance System. [é. n.]. Online: https://en.wikipedia.org/wiki/Traffic_collision_avoidance_system
Meleg Á. G., Az igazi programozó. 2015. október 17. Online: https://www.scribd.com/doc/285592411/Az-Igazi-Programozo