A fejlesztésben használt szoftvermodellek alkalmazása és minősítése
  • Metaadatok
Tartalom: http://hdl.handle.net/20.500.12944/21065
Archívum: Közszolgálati Tudásportál
Gyűjtemény: Folyóiratok, folyóiratcikkek
Repüléstudományi Közlemények
Cím:
A fejlesztésben használt szoftvermodellek alkalmazása és minősítése
Létrehozó:
Schuster, György
Téma:
modellalapú fejlesztés
modellek minősítése
model-based development
model certification
Műszaki tudományok
Műszaki tudományok/Katonai műszaki tudományok
Tartalmi leírás:
A feladatok komplexitásának növekedésével a fejlesztőknek különböző eszközöket kell használni. Erről egy előző publikációban már részletesen beszéltünk. Ebben a cikkben egy speciális területet érintünk, amely napjainkban egyre inkább előtérbe kerül, ez a modellek alkalmazásának kérdése. A modellek alkalmazása biztonságkritikus rendszerekben azonban felveti a modellek megbízha- tóságának kérdését, illetve ezeknek a szoftvereszközöknek a minősítési kérdéseit.
As the complexity of tasks increases, developers have to use different tools. We also talked about this in detail in a previous publication. In this article, we will discuss a special area that is increasingly coming nowadays, which is the application of models. However, their application in safety-critical systems development raises the question of the reliability of the applied models and the questions of the certification of these special software tools.
Típus:
info:eu-repo/semantics/other
Formátum:
application/pdf
Azonosító:
nke:1789-770X
nke:10.32560/rk.2023.1.5
nke:34398719
nke:10069970
nke:Repüléstudományi Közlemények
nke:35
nke:1
nke:REPÜLÉSTUD KÖZL
Létrehozó:
info:eu-repo/semantics/openAccess