C&SA | Contents

Volume 56 >>> № 6 NOVEMBER — DECEMBER 2020

UDC 004.415.2:621.337.1

A.B. Godlevsky¹, M.K. Morokhovets²

¹ V.M. Glushkov Institute of Cybernetics, National Academy
of Sciences of Ukraine, Kyiv, Ukraine

² V.M. Glushkov Institute of Cybernetics, National Academy
of Sciences of Ukraine, Kyiv, Ukraine

CYBER-PHYSICAL SYSTEMS: LINGUISTIC ASPECT

Abstract. An approach to the design of control systems for engineering objects isn&bsp;proposed. Its peculiarity is a linguistically driven design. The methodology for control systems design developed on the base of this approach is given. It is intended for use at the design stage preceding the construction of a formal model.

Keywords: control system, linguistically-driven design, methodology for control systems design, cyber-physical system.

FULL TEXT

REFERENCES

Lee E.A., Seshia S.A. Introduction to embedded systems: A cyber-physical systems approach. Sec. Ed. Cambridge, Mass.: MIT Press, 2017. 568 p.

Letichevsky A.A., Letichevsky A.A. Jr., Skobelev V.G., Volkov V.A. Cyber-physical systems. Kibernetika i sistemnyj analiz. 2017. Vol. 53, N 6. P. 3–19.

Gause D.C., Weinberg G.M. Exploring requirements: Quality before design. Dorset House Pub., 1989. 299 p.

Howard M., LeBlanc D., Viega J. 24 deadly sins of software security. McGraw-Hill, 2009. 432 p.

Finkel S. How to write good requirements/user stories in Scrum. URL: https://www.agileaces.net/write-good-requirements-user-stories-scrum.

Alford M.W., Lawson J.T. Software requirements engineering methodology (Development). TRW Defense and Space Systems Group. 1979.

Software Requirements Engineering (2nd ed.). Thayer R.H., Dorfman M. (Eds.). US: IEEE Computer Society Press, 1997. 552 p.

Kolchin A.V., Letichevsky A.A., Potienko S.V., Peschanenko V.S. Review of modern systems and methods for verification of formal models. Problemy programuvannya. 2012, N 4. P. 75–88.

Kolchin A., Potiyenko S., Weigert T. Challenges for automated model-based test scenario generation. In: Damaeviius R., Vasiljeviene G. (Eds). Information and Software Technologies – 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings. Springer: Communications in Computer and Information Science. 2019. Vol. 1078. P. 182–194.

Gotel O., Finkelstein A. An analysis of the requirements traceability problem. In: ICRE IEEE Computer Society. 1994. Р. 94–101.

Hallerstede S., Jasrtam M., Ladenberger L. A method and tool for tracing requirements into specifications. Science of Computer Programming. 2014. Vol. 82. P. 2–21.

Godlevsky A.B., Mishchenko N.M., Morokhovets M.K., Felizhanko O.D., Shchegoleva N.N. Development methodology and means of formalization of functional specifications of systems and devices. Kibernetika i sistemnyj analiz. 2016. Vol. 52, N 5. P. 25-42.

Mishchenko N.M., Morokhovets M.K., Felizhanko O.D., Shtelik E.V., Shchegoleva N.N. New functional capabilities of the natural language specifications processing system and the environment for its functioning. Kibernetika i sistemnyj analiz. 2018. Vol. 54, N 6. P. 37-46.

Cockburn A. Agile software development. Boston: Addison-Wesley, 2001. 256 p.

Agile Alliance. URL: http://www.agilemanifesto.org.

Adzic G. Specification by example. How successful teams deliver the right software. New York: Manning Publications, 2011. 295 p.

Cockburn A. Writing effective use cases. Addison-Wesley, 2000. 304 p.

Jeffries R. Essential XP: Card, conversation, and confirmation. URL: https://ronjeffries.com/xprog/ articles/expcardconversationconfirmation/.

Ralph P. The sensemaking-coevolution-implementation theory of software desigsn. Science of Computer Programming. 2015. Vol. 101. P. 21-41.

The Scrum product backlog – International Scum Institute. URL: https://www.Scrum-institute.org/ The_Scrum_Product_Backlog.php.