Automatic parallelization of simulink models for multi-core architectures

Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

This paper addresses the problem of parallelizing existing single-rate Simulink models for embedded control applications on multi-core architectures considering communication cost between blocks on different CPU cores. Utilizing the block diagram of the Simulink model, we derive the dependency graph between the different blocks. In order to solve the scheduling problem, we describe a Mixed Integer Linear Programming (MILP) formulation for optimally mapping the Simulink blocks to different CPU cores. Since the number of variables and constraints for MILP solver grows exponentially when model size increases, solving this problem in a reasonable time becomes harder. For addressing this issue, we introduce a set of techniques for reducing the number of constraints in the MILP formulation. By using the proposed techniques, the MILP solver finds solutions that are closer to the optimal solution within a given time bound. We study the scalability and efficiency of our consisting approach with synthetic benchmarks of randomly generated directed acyclic graphs. We also use the 'Fault-Tolerant Fuel Control System' demo from Simulink and a Diesel engine controller from Toyota as case studies for demonstrating applicability of our approach to real world problems.

Original languageEnglish (US)
Title of host publicationProceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages964-971
Number of pages8
ISBN (Print)9781479989362
DOIs
StatePublished - Nov 23 2015
Event17th IEEE International Conference on High Performance Computing and Communications, IEEE 7th International Symposium on Cyberspace Safety and Security and IEEE 12th International Conference on Embedded Software and Systems, HPCC-ICESS-CSS 2015 - New York, United States
Duration: Aug 24 2015Aug 26 2015

Other

Other17th IEEE International Conference on High Performance Computing and Communications, IEEE 7th International Symposium on Cyberspace Safety and Security and IEEE 12th International Conference on Embedded Software and Systems, HPCC-ICESS-CSS 2015
CountryUnited States
CityNew York
Period8/24/158/26/15

Fingerprint

Linear programming
Program processors
Diesel engines
Scalability
Scheduling
Control systems
Controllers
Communication
Costs

Keywords

  • Embedded systems
  • Model based development
  • Multiprocessing
  • Optimization
  • Simulink
  • Task allocation

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Computer Networks and Communications

Cite this

Tuncali, C. E., Fainekos, G., & Lee, Y-H. (2015). Automatic parallelization of simulink models for multi-core architectures. In Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015 (pp. 964-971). [7336295] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/HPCC-CSS-ICESS.2015.232

Automatic parallelization of simulink models for multi-core architectures. / Tuncali, Cumhur Erkan; Fainekos, Georgios; Lee, Yann-Hang.

Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 964-971 7336295.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tuncali, CE, Fainekos, G & Lee, Y-H 2015, Automatic parallelization of simulink models for multi-core architectures. in Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015., 7336295, Institute of Electrical and Electronics Engineers Inc., pp. 964-971, 17th IEEE International Conference on High Performance Computing and Communications, IEEE 7th International Symposium on Cyberspace Safety and Security and IEEE 12th International Conference on Embedded Software and Systems, HPCC-ICESS-CSS 2015, New York, United States, 8/24/15. https://doi.org/10.1109/HPCC-CSS-ICESS.2015.232
Tuncali CE, Fainekos G, Lee Y-H. Automatic parallelization of simulink models for multi-core architectures. In Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015. Institute of Electrical and Electronics Engineers Inc. 2015. p. 964-971. 7336295 https://doi.org/10.1109/HPCC-CSS-ICESS.2015.232
Tuncali, Cumhur Erkan ; Fainekos, Georgios ; Lee, Yann-Hang. / Automatic parallelization of simulink models for multi-core architectures. Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. pp. 964-971
@inproceedings{b988dd11a72440c9b37de7da11c812f6,
title = "Automatic parallelization of simulink models for multi-core architectures",
abstract = "This paper addresses the problem of parallelizing existing single-rate Simulink models for embedded control applications on multi-core architectures considering communication cost between blocks on different CPU cores. Utilizing the block diagram of the Simulink model, we derive the dependency graph between the different blocks. In order to solve the scheduling problem, we describe a Mixed Integer Linear Programming (MILP) formulation for optimally mapping the Simulink blocks to different CPU cores. Since the number of variables and constraints for MILP solver grows exponentially when model size increases, solving this problem in a reasonable time becomes harder. For addressing this issue, we introduce a set of techniques for reducing the number of constraints in the MILP formulation. By using the proposed techniques, the MILP solver finds solutions that are closer to the optimal solution within a given time bound. We study the scalability and efficiency of our consisting approach with synthetic benchmarks of randomly generated directed acyclic graphs. We also use the 'Fault-Tolerant Fuel Control System' demo from Simulink and a Diesel engine controller from Toyota as case studies for demonstrating applicability of our approach to real world problems.",
keywords = "Embedded systems, Model based development, Multiprocessing, Optimization, Simulink, Task allocation",
author = "Tuncali, {Cumhur Erkan} and Georgios Fainekos and Yann-Hang Lee",
year = "2015",
month = "11",
day = "23",
doi = "10.1109/HPCC-CSS-ICESS.2015.232",
language = "English (US)",
isbn = "9781479989362",
pages = "964--971",
booktitle = "Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Automatic parallelization of simulink models for multi-core architectures

AU - Tuncali, Cumhur Erkan

AU - Fainekos, Georgios

AU - Lee, Yann-Hang

PY - 2015/11/23

Y1 - 2015/11/23

N2 - This paper addresses the problem of parallelizing existing single-rate Simulink models for embedded control applications on multi-core architectures considering communication cost between blocks on different CPU cores. Utilizing the block diagram of the Simulink model, we derive the dependency graph between the different blocks. In order to solve the scheduling problem, we describe a Mixed Integer Linear Programming (MILP) formulation for optimally mapping the Simulink blocks to different CPU cores. Since the number of variables and constraints for MILP solver grows exponentially when model size increases, solving this problem in a reasonable time becomes harder. For addressing this issue, we introduce a set of techniques for reducing the number of constraints in the MILP formulation. By using the proposed techniques, the MILP solver finds solutions that are closer to the optimal solution within a given time bound. We study the scalability and efficiency of our consisting approach with synthetic benchmarks of randomly generated directed acyclic graphs. We also use the 'Fault-Tolerant Fuel Control System' demo from Simulink and a Diesel engine controller from Toyota as case studies for demonstrating applicability of our approach to real world problems.

AB - This paper addresses the problem of parallelizing existing single-rate Simulink models for embedded control applications on multi-core architectures considering communication cost between blocks on different CPU cores. Utilizing the block diagram of the Simulink model, we derive the dependency graph between the different blocks. In order to solve the scheduling problem, we describe a Mixed Integer Linear Programming (MILP) formulation for optimally mapping the Simulink blocks to different CPU cores. Since the number of variables and constraints for MILP solver grows exponentially when model size increases, solving this problem in a reasonable time becomes harder. For addressing this issue, we introduce a set of techniques for reducing the number of constraints in the MILP formulation. By using the proposed techniques, the MILP solver finds solutions that are closer to the optimal solution within a given time bound. We study the scalability and efficiency of our consisting approach with synthetic benchmarks of randomly generated directed acyclic graphs. We also use the 'Fault-Tolerant Fuel Control System' demo from Simulink and a Diesel engine controller from Toyota as case studies for demonstrating applicability of our approach to real world problems.

KW - Embedded systems

KW - Model based development

KW - Multiprocessing

KW - Optimization

KW - Simulink

KW - Task allocation

UR - http://www.scopus.com/inward/record.url?scp=84961738567&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84961738567&partnerID=8YFLogxK

U2 - 10.1109/HPCC-CSS-ICESS.2015.232

DO - 10.1109/HPCC-CSS-ICESS.2015.232

M3 - Conference contribution

SN - 9781479989362

SP - 964

EP - 971

BT - Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015

PB - Institute of Electrical and Electronics Engineers Inc.

ER -