Skip to main content
Erschienen in: Real-Time Systems 4/2018

01.03.2018

A design flow for supporting component-based software development in multiprocessor real-time systems

verfasst von: Alessandro Biondi, Giorgio Buttazzo, Marko Bertogna

Erschienen in: Real-Time Systems | Ausgabe 4/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Component-based software development established as an effective technique to cope with the increasing complexity of modern computing systems. In the context of real-time systems, the M-BROE framework has been recently proposed to efficiently support component-based development of real-time applications on multiprocessor platforms in the presence of shared resources. The framework relies on a two-stage approach where software components are first partitioned upon a virtual multiprocessor platform and are later integrated upon the physical platform by means of component interfaces that abstract from the internal details of the applications. This work presents a complete design flow for the M-BROE framework. Starting from a model of software components, a first method is proposed to partition applications to virtual processors and perform a synthesis of multiple component interfaces. Then, a second method is proposed to support the integration of the components by allocating virtual processors to physical processors. Both methods take resource sharing into account. Experimental results are also presented to evaluate the proposed methodology.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Abeni L, Buttazzo G (2004) Resource reservations in dynamic real-time systems. Real-Time Syst 27(2):123–165CrossRef Abeni L, Buttazzo G (2004) Resource reservations in dynamic real-time systems. Real-Time Syst 27(2):123–165CrossRef
Zurück zum Zitat Al-bayati Z, Sun Y, Zeng H, Natale M D, Zhu Q, Meyer B (2015) Task placement and selection of data consistency mechanisms for real-time multicore applications. In: Proc. of the 21st IEEE real-time and embedded technology and application symposium (RTAS 2015), Seattle, WA, USA Al-bayati Z, Sun Y, Zeng H, Natale M D, Zhu Q, Meyer B (2015) Task placement and selection of data consistency mechanisms for real-time multicore applications. In: Proc. of the 21st IEEE real-time and embedded technology and application symposium (RTAS 2015), Seattle, WA, USA
Zurück zum Zitat Baruah S (2006) Resource sharing in EDF-scheduled systems: a closer look. In: Proceedings of the 27th IEEE real-time systems symposium (RTSS’06), Rio de Janeiro, Brazil, 5–8 Dec Baruah S (2006) Resource sharing in EDF-scheduled systems: a closer look. In: Proceedings of the 27th IEEE real-time systems symposium (RTSS’06), Rio de Janeiro, Brazil, 5–8 Dec
Zurück zum Zitat Baruah S K (2004) Partitioning real-time tasks among heterogeneous multiprocessors. In: Proceedings of the International Conference on Parallel Processing (ICPP 2004), Montreal, Quebec, Canada, Aug 15-18 Baruah S K (2004) Partitioning real-time tasks among heterogeneous multiprocessors. In: Proceedings of the International Conference on Parallel Processing (ICPP 2004), Montreal, Quebec, Canada, Aug 15-18
Zurück zum Zitat Baruah S, Bini E (2008) Partitioned scheduling of sporadic task systems: an ILP-based approach. In: Proc. of the conference on design and architectures for signal and image processing, Bruxelles, Belgium, 24–26 Nov Baruah S, Bini E (2008) Partitioned scheduling of sporadic task systems: an ILP-based approach. In: Proc. of the conference on design and architectures for signal and image processing, Bruxelles, Belgium, 24–26 Nov
Zurück zum Zitat Baruah S, Rosier L, Howell R (1990) Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. J Real-Time Syst 2CrossRef Baruah S, Rosier L, Howell R (1990) Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. J Real-Time Syst 2CrossRef
Zurück zum Zitat Behnam M, Nolte T, Sjödin M, Shin I (2010) Overrun methods and resource holding times for hierarchical scheduling of semi-independent real-time systems. IEEE Trans Ind Inform 6(1):93–104CrossRef Behnam M, Nolte T, Sjödin M, Shin I (2010) Overrun methods and resource holding times for hierarchical scheduling of semi-independent real-time systems. IEEE Trans Ind Inform 6(1):93–104CrossRef
Zurück zum Zitat Behnam M, Shin I, Nolte T, Nolin M (2007) SIRAP: a synchronization protocol for hierarchical resource sharing in real-time open systems. In: Proc. of the 7th ACM & IEEE international conference on embedded software (EMSOFT 2007), Salzburg, Austria, 1–3 Oct Behnam M, Shin I, Nolte T, Nolin M (2007) SIRAP: a synchronization protocol for hierarchical resource sharing in real-time open systems. In: Proc. of the 7th ACM & IEEE international conference on embedded software (EMSOFT 2007), Salzburg, Austria, 1–3 Oct
Zurück zum Zitat Bertogna M, Fisher N, Baruah S (2009) Resource holding times: computation and optimization. Real-Time Syst 41(2):87–117CrossRef Bertogna M, Fisher N, Baruah S (2009) Resource holding times: computation and optimization. Real-Time Syst 41(2):87–117CrossRef
Zurück zum Zitat Bertogna M, Fisher N, Baruah S (2009) Resource-sharing servers for open environments. IEEE Trans Ind Inform 5(3):202–219CrossRef Bertogna M, Fisher N, Baruah S (2009) Resource-sharing servers for open environments. IEEE Trans Ind Inform 5(3):202–219CrossRef
Zurück zum Zitat Bini E, Buttazzo GC (2005) Measuring the performance of schedulability tests. Real-Time Syst 30(1–2):129–154CrossRef Bini E, Buttazzo GC (2005) Measuring the performance of schedulability tests. Real-Time Syst 30(1–2):129–154CrossRef
Zurück zum Zitat Biondi A, Brandenburg B (2016) Lightweight real-time synchronization under P-EDF on symmetric and asymmetric multiprocessors. In: Proceedings of the 28th euromicro conference on real-time systems (ECRTS 16) Biondi A, Brandenburg B (2016) Lightweight real-time synchronization under P-EDF on symmetric and asymmetric multiprocessors. In: Proceedings of the 28th euromicro conference on real-time systems (ECRTS 16)
Zurück zum Zitat Biondi A, Melani A, Bertogna M (2014a) Hard constant bandwidth server: comprehensive formulation and critical scenarios. In: Proceedings of the 9th IEEE international symposium on industrial embedded systems (SIES 2014), Pisa, Italy, 18–20 June Biondi A, Melani A, Bertogna M (2014a) Hard constant bandwidth server: comprehensive formulation and critical scenarios. In: Proceedings of the 9th IEEE international symposium on industrial embedded systems (SIES 2014), Pisa, Italy, 18–20 June
Zurück zum Zitat Biondi A, Melani A, Bertogna M, Buttazzo G (2014b) Optimal design for reservation servers under shared resources. In: Proceedings of the 26th euromicro conference on real-time systems (ECRTS 2014), Madrid, Spain, 9–11 July Biondi A, Melani A, Bertogna M, Buttazzo G (2014b) Optimal design for reservation servers under shared resources. In: Proceedings of the 26th euromicro conference on real-time systems (ECRTS 2014), Madrid, Spain, 9–11 July
Zurück zum Zitat Biondi A, Buttazzo G, Bertogna M (2015a) Supporting component-based development in partitioned multiprocessor real-time systems. In: Proceedings of the 27th euromicro conference on real-time systems (ECRTS 2015), Lund, Sweden, 8–10 July Biondi A, Buttazzo G, Bertogna M (2015a) Supporting component-based development in partitioned multiprocessor real-time systems. In: Proceedings of the 27th euromicro conference on real-time systems (ECRTS 2015), Lund, Sweden, 8–10 July
Zurück zum Zitat Biondi A, Buttazzo GC, Bertogna M (2015b) Schedulability analysis of hierarchical real-time systems under shared resources. IEEE Trans Comput 65(5):1593–1605MathSciNetCrossRef Biondi A, Buttazzo GC, Bertogna M (2015b) Schedulability analysis of hierarchical real-time systems under shared resources. IEEE Trans Comput 65(5):1593–1605MathSciNetCrossRef
Zurück zum Zitat Biondi A, Buttazzo G, Bertogna M (2016) Partitioning and interface synthesis in hierarchical multiprocessor real-time systems. In: Proceedings of the 24th international conference on real-time networks and systems (RTNS 2016) Biondi A, Buttazzo G, Bertogna M (2016) Partitioning and interface synthesis in hierarchical multiprocessor real-time systems. In: Proceedings of the 24th international conference on real-time networks and systems (RTNS 2016)
Zurück zum Zitat Buttazzo G, Bini E, Wu Y (2011) Partitioning real-time applications over multicore reservations. IEEE Trans Ind Inf 7(2):302–315CrossRef Buttazzo G, Bini E, Wu Y (2011) Partitioning real-time applications over multicore reservations. IEEE Trans Ind Inf 7(2):302–315CrossRef
Zurück zum Zitat Davis RI, Burns A (2006) Resource sharing in hierarchical fixed priority pre-emptive systems. In: Proc. of the IEEE real-time systems symposium (RTSS 2006), Rio de Janeiro, Brazil, pp 257–268, 5–8 Dec Davis RI, Burns A (2006) Resource sharing in hierarchical fixed priority pre-emptive systems. In: Proc. of the IEEE real-time systems symposium (RTSS 2006), Rio de Janeiro, Brazil, pp 257–268, 5–8 Dec
Zurück zum Zitat Fisher N, Baker T, Baruah S (2006) Algorithms for determining the demand-based load of a sporadic task system. In: Proceedings of the international conference on real-time computing systems and applications (RTCSA), Sydney, Australia, August Fisher N, Baker T, Baruah S (2006) Algorithms for determining the demand-based load of a sporadic task system. In: Proceedings of the international conference on real-time computing systems and applications (RTCSA), Sydney, Australia, August
Zurück zum Zitat Gai P, Lipari G, Natale M D (2001) Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip. In: Proceedings of IEEE real-time systems symposium Gai P, Lipari G, Natale M D (2001) Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip. In: Proceedings of IEEE real-time systems symposium
Zurück zum Zitat Khalilzad N, Behnam M, Nolte T (2015) On component-based software development for multiprocessor real-time systems. In: Proc. 21st IEEE international conference on embedded and real-time computing systems and applications, August Khalilzad N, Behnam M, Nolte T (2015) On component-based software development for multiprocessor real-time systems. In: Proc. 21st IEEE international conference on embedded and real-time computing systems and applications, August
Zurück zum Zitat Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J Assoc Comput Mach 20(1):46–61MathSciNetCrossRef Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J Assoc Comput Mach 20(1):46–61MathSciNetCrossRef
Zurück zum Zitat Mercer CW, Savage S, Tokuda H (1994) Processor capacity reserves for multimedia operating systems. In: Proceedings of IEEE international conference on multimedia computing and system, May Mercer CW, Savage S, Tokuda H (1994) Processor capacity reserves for multimedia operating systems. In: Proceedings of IEEE international conference on multimedia computing and system, May
Zurück zum Zitat Natale MD, Vincentelli AS (2010) Moving from federated to integrated architectures in automotive: the role of standards, methods and tools. Proc IEEE 98(4):603–620CrossRef Natale MD, Vincentelli AS (2010) Moving from federated to integrated architectures in automotive: the role of standards, methods and tools. Proc IEEE 98(4):603–620CrossRef
Zurück zum Zitat Thiele L (2014) Model-based design of real-time systems. In: Keynote speeach given at the 26th euromicro conference on real-time systems (ECRTS 2014), Madrid, Spain, 10 July Thiele L (2014) Model-based design of real-time systems. In: Keynote speeach given at the 26th euromicro conference on real-time systems (ECRTS 2014), Madrid, Spain, 10 July
Zurück zum Zitat Wieder A, Brandenburg B (2013) Efficient partitioning of sporadic real-time tasks with shared resources and spin locks. In: Proc. of the 8th IEEE international symposium on industrial embedded systems (SIES 2013), June Wieder A, Brandenburg B (2013) Efficient partitioning of sporadic real-time tasks with shared resources and spin locks. In: Proc. of the 8th IEEE international symposium on industrial embedded systems (SIES 2013), June
Zurück zum Zitat Wieder A, Brandenburg B (2013) On spin locks in AUTOSAR: blocking analysis of FIFO, unordered, and priority-ordered spin locks. In: Proceedings of the 34th IEEE real-time systems symposium (RTSS’2013), pp 45–56, December Wieder A, Brandenburg B (2013) On spin locks in AUTOSAR: blocking analysis of FIFO, unordered, and priority-ordered spin locks. In: Proceedings of the 34th IEEE real-time systems symposium (RTSS’2013), pp 45–56, December
Metadaten
Titel
A design flow for supporting component-based software development in multiprocessor real-time systems
verfasst von
Alessandro Biondi
Giorgio Buttazzo
Marko Bertogna
Publikationsdatum
01.03.2018
Verlag
Springer US
Erschienen in
Real-Time Systems / Ausgabe 4/2018
Print ISSN: 0922-6443
Elektronische ISSN: 1573-1383
DOI
https://doi.org/10.1007/s11241-018-9301-3

Weitere Artikel der Ausgabe 4/2018

Real-Time Systems 4/2018 Zur Ausgabe

Premium Partner