Advertisement

Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems

  • Fotios GioulekasEmail author
  • Peter Poplavko
  • Panagiotis Katsaros
  • Saddek Bensalem
  • Pedro Palomo
Correction
  • 22 Downloads

1 Correction to: International Journal on Software Tools for Technology Transfer  https://doi.org/10.1007/s10009-019-00521-7

Updated Fig. 7 (pi is the job’s process, ki is the job’s invocation count, Ai is the invocation time, Di is the absolute deadline and Ci is the WCET).
Fig. 7

The Task Graph generated for the FPPN network example shown in Fig. 3

Notes

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  • Fotios Gioulekas
    • 1
    Email author
  • Peter Poplavko
    • 2
  • Panagiotis Katsaros
    • 1
  • Saddek Bensalem
    • 3
  • Pedro Palomo
    • 4
  1. 1.Department of InformaticsAristotle University of ThessalonikiThessalonikiGreece
  2. 2.Mentor®. A Siemens BusinessMontbonnotFrance
  3. 3.VERIMAGUniversité Grenoble Alpes (UGA)GrenobleFrance
  4. 4.Deimos-Space®MadridSpain

Personalised recommendations