Ferenczi, Dániel and Tóth, Melinda (2023) Static analysis for safe software upgrade. Annales Mathematicae et Informaticae, 58.. pp. 9-19. ISSN 17876117
|
Text
AMI_58_from9to19.pdf - Published Version Download (493kB) | Preview |
Abstract
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.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | Erlang, static analysis, software upgrade, hot code load |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| Depositing User: | Tibor Gál |
| Date Deposited: | 13 Nov 2023 14:42 |
| Last Modified: | 13 Nov 2023 14:42 |
| URI: | http://real.mtak.hu/id/eprint/179773 |
Actions (login required)
 |
Edit Item |
