Static analysis for safe software upgrade

Ferenczi, Dániel, Tóth, Melinda (2023) Static analysis for safe software upgrade Annales Mathematicae et Informaticae. 58. pp. 9-19. ISSN 1787-6117 (Online)

pdf AMI_58_from9to19.pdf Download (493kB) [error in script]

Absztrakt (kivonat)

Having applications accessible without downtime is no longer an exclusive requirement of mission-critical applications or traditional domains like communications. Running applications also require changes in the source code and upgrading live systems. Different approaches exist depending on the used technology. Systems implemented in Erlang can take the advantage of the underlying BEAM virtual machine and can be upgraded easily. However, source code has to be developed carefully once an upgrade is needed to not introduce run-time errors during the upgrade. We are developing a method to statically check the source code of Erlang applications for constructs that may lead to upgrading issues.

Mű típusa:	Folyóiratcikk - Journal article
Szerző:	Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Ferenczi, Dániel NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Tóth, Melinda NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző
Megjegyzés:	Application Domain Specific Highly Reliable IT Solutions project has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the Thematic Excellence Programme TKP2020-NKA-06 (National Challenges Subprogramme) funding scheme.
Kapcsolódó URL-ek:	Befoglaló kötet
Kulcsszavak:	Erlang, static analysis, software upgrade, hot code load
Folyóirat alcíme:	Selected papers of the 12th International Conference on Applied Informatics
Nyelv:	angol
Kötetszám:	58.
DOI azonosító:	10.33039/ami.2023.08.010
ISSN:	1787-6117 (Online)
Felhasználó:	Tibor Gál
Dátum:	24 Aug 2023 06:27
Utolsó módosítás:	10 Nov 2023 13:51
URI:	http://publikacio.uni-eszterhazy.hu/id/eprint/7711

Műveletek (bejelentkezés szükséges)

Tétel nézet