Derivation of Parallel and Resilient Programs from Simulink Models

Sergii Ostroumov; Pontus Boström; Marina Walden

doi:10.1109/PDP.2015.102

Derivation of Parallel and Resilient Programs from Simulink Models

Sergii Ostroumov, Pontus Boström, Marina Walden

Information Technology

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

Abstract

Modern embedded applications often require high computational power and, on the other hand, fulfilment of realtime constraints and high level of resilience. Simulink is one widely used tool for model-based development of embedded software. In this paper, we focus on the derivation of parallel programs from Simulink models and real-time resilient execution of derived implementations on a many-core platform. The main contribution is a fault-tolerance (FT) mechanism that prevents data loss when the platform is dynamically reconfigured to mask failures of individual cores. Finally, we evaluate the proposed solutions on an industrial case study using a commercially available NoC-based platform. The evaluation shows that the proposed FT mechanism has a marginal overhead.

Original language	Undefined/Unknown
Title of host publication	Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on
Editors	Lisa O'Conner
Publisher	IEEE
Pages	416–420
ISBN (Print)	978-1-4799-8492-3
DOIs	https://doi.org/10.1109/PDP.2015.102
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication
Event	Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing Duration: 4 Mar 2015 → 6 Mar 2015

Conference

Conference	Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Period	04/03/15 → 06/03/15

Access to Document

10.1109/PDP.2015.102

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Principal Investigator), Olszewska, M. (Co-Investigator), Edmunds, A. (Co-Investigator), Ostroumov, S. (Co-Investigator), Petre, L. (Co-Investigator), Boström, P. (Co-Investigator) & Neovius, M. (Co-Investigator)
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils
Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. (Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Alexeev, P. S. (Co-Investigator), Ostroumov, S. (Co-Investigator), Wiik, J. (Co-Investigator), Olszewska, M. (Co-Investigator) & Dahlvik, M. (Co-Investigator)
01/05/11 → 30/09/14
Project: Industry/Business Finland
DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Alexeev, P. S. (Co-Investigator), Ostroumov, S. (Co-Investigator) & Wiik, J. (Co-Investigator)
01/06/09 → 30/09/14
Project: Industry/Business Finland

Cite this

@inproceedings{af23fa7f0e1e4beb970559fca07365d2,

title = "Derivation of Parallel and Resilient Programs from Simulink Models",

abstract = "Modern embedded applications often require high computational power and, on the other hand, fulfilment of realtime constraints and high level of resilience. Simulink is one widely used tool for model-based development of embedded software. In this paper, we focus on the derivation of parallel programs from Simulink models and real-time resilient execution of derived implementations on a many-core platform. The main contribution is a fault-tolerance (FT) mechanism that prevents data loss when the platform is dynamically reconfigured to mask failures of individual cores. Finally, we evaluate the proposed solutions on an industrial case study using a commercially available NoC-based platform. The evaluation shows that the proposed FT mechanism has a marginal overhead.",

author = "Sergii Ostroumov and Pontus Bostr{\"o}m and Marina Walden",

year = "2015",

doi = "10.1109/PDP.2015.102",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-4799-8492-3",

pages = "416–420",

editor = "Lisa O'Conner",

booktitle = "Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on",

publisher = "IEEE",

note = "Euromicro International Conference on Parallel, Distributed, and Network-Based Processing ; Conference date: 04-03-2015 Through 06-03-2015",

}

Ostroumov, S, Boström, P & Walden, M 2015, Derivation of Parallel and Resilient Programs from Simulink Models. in L O'Conner (ed.), Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. IEEE, pp. 416–420, Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 04/03/15. https://doi.org/10.1109/PDP.2015.102

Derivation of Parallel and Resilient Programs from Simulink Models. / Ostroumov, Sergii; Boström, Pontus; Walden, Marina.
Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. ed. / Lisa O'Conner. IEEE, 2015. p. 416–420.

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

TY - GEN

T1 - Derivation of Parallel and Resilient Programs from Simulink Models

AU - Ostroumov, Sergii

AU - Boström, Pontus

AU - Walden, Marina

PY - 2015

Y1 - 2015

N2 - Modern embedded applications often require high computational power and, on the other hand, fulfilment of realtime constraints and high level of resilience. Simulink is one widely used tool for model-based development of embedded software. In this paper, we focus on the derivation of parallel programs from Simulink models and real-time resilient execution of derived implementations on a many-core platform. The main contribution is a fault-tolerance (FT) mechanism that prevents data loss when the platform is dynamically reconfigured to mask failures of individual cores. Finally, we evaluate the proposed solutions on an industrial case study using a commercially available NoC-based platform. The evaluation shows that the proposed FT mechanism has a marginal overhead.

AB - Modern embedded applications often require high computational power and, on the other hand, fulfilment of realtime constraints and high level of resilience. Simulink is one widely used tool for model-based development of embedded software. In this paper, we focus on the derivation of parallel programs from Simulink models and real-time resilient execution of derived implementations on a many-core platform. The main contribution is a fault-tolerance (FT) mechanism that prevents data loss when the platform is dynamically reconfigured to mask failures of individual cores. Finally, we evaluate the proposed solutions on an industrial case study using a commercially available NoC-based platform. The evaluation shows that the proposed FT mechanism has a marginal overhead.

U2 - 10.1109/PDP.2015.102

DO - 10.1109/PDP.2015.102

M3 - Publicerad konferensartikel

SN - 978-1-4799-8492-3

SP - 416

EP - 420

BT - Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on

A2 - O'Conner, Lisa

PB - IEEE

T2 - Euromicro International Conference on Parallel, Distributed, and Network-Based Processing

Y2 - 4 March 2015 through 6 March 2015

ER -

Derivation of Parallel and Resilient Programs from Simulink Models

Abstract

Conference

Access to Document

Projects

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)

Cite this