УДК 004.415.2:621.337.1
КІБЕРФІЗИЧНІ СИСТЕМИ: ЛІНГВІСТИЧНИЙ АСПЕКТ
Анотація. Запропоновано підхід до проєктування систем керування технічними об’єктами,
особливістю якого є лінгвістично кероване проєкту-вання. Подано розроблену на базі цього підходу
методику проєктування систем керування, призначену для застосування на стадії проєктування,
що передує побудові формальної моделі.
Ключові слова: система керування, лінгвістично кероване проєктування, методика проєктування систем керування, кіберфізична система.
ПОВНИЙ ТЕКСТ
Годлевский Александр Богуславович,
кандидат физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
a.godl49@gmail.com
Мороховец Марина Константиновна,
кандидат физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
marina.morokhovets@gmail.com
СПИСОК ЛІТЕРАТУРИ
- Lee E.A., Seshia S.A. Introduction to embedded systems: A cyber-physical systems approach. Sec. Ed. Cambridge, Mass.: MIT Press, 2017. 568 p.
- Летичевский А.А., Летичевский А.А. мл., Скобелев В.Г., Волков В.А. Кибер-физические системы. Кибернетика и системный анализ. 2017. Т. 53, № 6. С. 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.
- Колчин А.В., Летичевский А.А., Потиенко С.В., Песчаненко В.С. Обзор современных систем и методов верификации формальных моделей. Проблеми програмування. 2012, № 4. С. 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.
- Годлевский А.Б., Мищенко Н.М., Мороховец М.К., Фелижанко О.Д., Щёголева Н.Н. Методика разработки и средства формализации функциональных спецификаций систем и устройств. Кибернетика и системный анализ. 2016. Т. 52, № 5. С. 25-42.
- Мищенко Н.М., Мороховец М.К., Фелижанко О.Д., Штелик Е.В., Щёголева Н.Н. Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда её функционирования. Кибернетика и системный анализ. 2018. Т. 54, № 6. С. 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.
