ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

10
Содержание
том 60 / ОКТЯБРЬ, 2017
СТАТЬЯ

DOI 10.17586/0021-3454- 2017-60-10-993-998

УДК 004.2

ПРОЕКТИРОВАНИЕ ВЫЧИСЛИТЕЛЬНЫХ ПЛАТФОРМ КИБЕРФИЗИЧЕСКИХ СИСТЕМ

Платунов А. Е.
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; профессор


Яналов Р. И.
ООО „ЛМТ“; инженер


Аннотация. Проанализированы вопросы проектирования вычислительных платформ в составе киберфизических систем. Представлены основные прогрессивные методики системного/архитектурного проектирования специализированных средств вычислительной техники и автоматики, которые могут составить основу комплексной методологии проектирования киберфизических систем нового поколения. Даны определения понятий „вычислительная платформа“, „высокоуровневое проектирование“ встраиваемых систем и систем на кристалле. Рассмотрены методологии и технологии „Платформо-ориентированное проектирование“, „Акторное проектирование“, ESL-проектирование, высокоуровневый синтез систем на кристалле, „Контрактно-ориентированное проектирование“ в контексте создания встраиваемых и киберфизических систем. Приведены положения HLD-методологии, созданной и развиваемой на кафедре вычислительной техники Университета ИТМО.
Ключевые слова: киберфизические системы, встраиваемые системы, системы на кристалле, промышленная автоматика, вычислительные платформы, методы проектирования

Список литературы:
  1. Cyber-Physical Systems [Электронный ресурс]: .
  2. Платунов А. Е. Встраиваемые системы управления // Control Engineering Россия. 2013. Т. 43, № 1. C. 16—24. 
  3. Platunov A., Kustarev P. Problems of Abstract Representation of Embedded Systems at High-level Stages Design // Proc. of the Intern. Workshop on Networked embedded and control system technologies: European and Russian R&D cooperation. 2009. P. 100—107.
  4. Platunov A., Nickolaenkov A., Penskoy A. Architectural representation of embedded systems // Mediter. Conf. on Embedded Computing (MECO). 2012. P. 80—83.
  5. Lee E. A., Neuendorffer S., Wirthlin M. J. Actor-oriented design of embedded hardware and software systems // J. of Circuits, Systems and Computers. 2003. Vol. 12. P. 231—260. DOI: 10.1142/S0218126603000751.
  6. Lee E. A. Cyber Physical Systems: Design Challenges // 11th IEEE Int. Symp. Object Component-Oriented Real-Time Distrib. Comput. 2008. P. 363—369.
  7. Sangiovanni-Vincentelli A. Quo vadis, SLD? Reasoning about the trends and challenges of system level design // Proc. IEEE. 2007. Vol. 95, N 3. P. 467—506.
  8. Teich J. Hardware/software codesign: The past, the present, and predicting the future // Proc. IEEE. 2012. Vol. 100. P. 1411—1430. DOI: 10.1109/JPROC.2011.2182009.
  9. Sangiovanni-Vincentelli A., Damm W., Passerone R. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems // Eur. J. Control. 2012. Vol. 18. P. 217—238.
  10. ISO/IEC/IEEE 42010 Systems and software engineering — Architecture description. 2011. DOI: 10.1109/IEEESTD.2011.6129467
  11. Platunov A., Kluchev A., and Penskoi A. HLD Methodology: The Role of Architectural Abstractions in Embedded Systems Design // 14th GeoConf. on Informatics, Geoinformatics and Remote Sensing. 2014. P. 209—218.
  12. Пенской А. В. Архитектурное документирование встроенных систем с многоуровневой конфигурацией // Изв. вузов. Приборостроение. 2015. № 7. P. 527—532.
  13. Platunov A., Nickolaenkov A. Aspects in the design of software-intensive systems // Mediter. Conf. on Embedded Computing (MECO). June 2012. P. 84—87.
  14. A 21st Century Cyber-Physical Systems Education. National Academies Press, Washington, DC, 2016.
  15. Платунов А. Е. Реконфигурируемые встраиваемые системы и системы на кристалле // Изв. вузов. Приборостроение. 2014. Т. 57, № 4. С. 49—52.