C&SA | Contents

Volume 56 >>> № 4 JULY — AUGUST 2020

UDC 51.681.3

S. Kryvyi¹, E. Grinenko²

¹ Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

² National Aviation University, Kyiv, Ukraine

ECOSYSTEMS OF SOFTWARE ENGINEERING

Abstract. A formal model of an ecosystem, focused on software engineering, is proposed. Two approaches to the analysis of properties of this model, which are called network and automata approaches, are described. In particular case, methods for searching of optimal plan for task performances in ecosystem, identification of risk situations, possibility of paralell executions of tasks are considered.

Keywords: ecosystem, transition system, timed automata, Petri Net, sсheduling.

FULL TEXT

REFERENCES

Sidorov N.A. Ecology software. Software Security Engineering. 2010. N 1. P. 53–61.

Baader F., Calvanese D., McGuinness D.L., Nardi D., Patel-Schneider P.F. The description logic handbook. Cambridge: University Press, 2007. 601 p.

Kryvyi S.L., Pogorilyy S.D., Boyko Y.V. Network model of IT-infrastructure resource management. 2019 IEEE International Conference on Advanced Trends in Information Theory (ATIT), Kyiv, Ukraine, 2019. P. 149–153.

Telenyk S., Rolik A., Bukasov M., Halushko D. Models and methods of resource management VPS hosting. Technical Тransaction. Automatic Control. Politechnika Krakowska. 2013. Vol. 4-AC. P. 41–52.

Kryvyy S.L., Pogorilyy S.D., Glybovets M.M., Boyko Yu.V., Sidorova N.N. IT infrastructure design. Kibernetika i sistemnyj analiz. 2018. Vol. 54, N 6. P. 141–158.

Lee D.Y., DiCesare F. Petri net-based heuristic sheduling for flexible manufacturing. In: Petri Nets in Flexible and Agile Automation. The Springer International Series in Engineering and Computer Science. Boston: Springer, 1995. Vol. 310. P. 149–187.

Alur R., Dill D.L. A theory of timed automata. Theoretical Computer Science. 1994. Vol. 126. P. 183–235.

Penczek W., Polrola A. Advanced in verification of timed Petri nets and timed automata. A temporal logic approach. Berlin; Heidelberg: Springer-Verlag, 2006. 257 p.

Alur R., Henzinger T., Ho P. Automata symbolic verification of embedded systems. IEEE Trans. on Software Eng. 1996. Vol. 22, N 3. P. 74–88.

Gimatti A., Clarce E., Giuchiglia E., Giuchiglia F., Pistore M., Rovere M., Sebastiani R., Tacchella A. NuSMV2: An open-source toll for symbolic model checking. Proc. of the 14th Intern. Conf. on Computer Aided Verification (CAV’02). LNCS. 2002. Vol. 2404. P. 359–364.

Beyer D. Rabbit: Verification of real-time systems. Proc. of the Workshop on Real-Time Tolls (RT-TOOLS’01). 2003. P. 13–21.