skip to main content
research-article

GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms

Published:09 October 2019Publication History
First page image

References

  1. Tarek F. Abdelzaher and Kang G. Shin. 1999. Combined task and message scheduling in distributed real-time systems. IEEE Trans. Parallel Distrib. Syst. 10, 11 (1999), 1179--1191.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Aeronautical Radio Inc. 1997. Avionics Application Software Standard Interface--ARINC Specification 653. https://www.aviation-ia.com/products/653p0-2-avionics-application-software-standard-interface-part-0-overview-arinc-653.Google ScholarGoogle Scholar
  3. P. Ashok Kumar and B. Thanasekhar. 2014. Fault tolerance in multi-core processors using flexible redundant threading. Int. J. Adv. Comput. Eng. Netw. 2, 7 (July 2014), 92--96.Google ScholarGoogle Scholar
  4. Simon Barner, Alexander Diewald, Jörn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugère, and Daniel Gracia Pérez. 2017. DREAMS Toolchain: Model-driven engineering of mixed-criticality systems. In Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’17). 259--269.Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, and Victor Jégu. 2008. A framework for distributing real-time functions. In Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’08). 155--169.Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Shekhar Borkar. 2005. Designing reliable systems from unreliable components: The challenges of transistor variability and degradation. IEEE Micro 25 (2005), 10--16.Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Vicent Brocal, Miguel Masmano, Ismael Ripoll, Alfons Crespo, Patricia Balbastre, and Jean-Jacques Metge. 2010. Xoncrete. In Proceedings of the 5th Conference on Embedded Real Time Software and Systems (ERTS’10). Retrieved from: http://www.fentiss.com/documents/xoncrete_overview.pdf.Google ScholarGoogle Scholar
  8. Alan Burns, Tom Fleming, and Sanjoy K. Baruah. 2015. Cyclic executives, multi-core platforms and mixed criticality applications. In Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS’15). 3--12.Google ScholarGoogle Scholar
  9. J. Calandrino, H. Leontyev, A. Block, U. Devi, and J. Anderson. 2006. LITMUSRT: A testbed for empirically comparing real-time multiprocessor schedulers. In Proceedings of the 27th IEEE International Real-Time Systems Symposium (RTSS’06). 111--126.Google ScholarGoogle Scholar
  10. Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, and Robert De Simone. 2014. Static mapping of real-time applications onto massively parallel processor arrays. In Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD’14). 112--121.Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. C.-W. Chang, J.-J. Chen, T.-W. Guo, and H. Falk. 2013. Real-time partitioned scheduling on multi-core systems with local and global memories. In Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC’13). IEEE, 467--472.Google ScholarGoogle Scholar
  12. E. G. Coffman Jr, M. R. Garey, and D. S. Johnson. 1996. Approximation algorithms for bin packing: A survey. In Approximation Algorithms for NP-hard Problems. PWS Publishing Co., 46--93.Google ScholarGoogle Scholar
  13. Silviu S. Craciunas and Ramon Serna Oliver. 2016. Combined task- and network-level scheduling for distributed time-triggered systems. Real-Time Syst. 52, 2 (2016), 161--200.Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. B. P. Dave. 1999. CRUSADE: Hardware/software co-synthesis of dynamically reconfigurable heterogeneous real-time distributed embedded systems. In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition. IEEE, 97--104.Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. V. David, C. Fraboul, J. Y. Rousselot, and P. Siron. 1992. Partitioning and mapping communication graphs on a modular reconfigurable parallel architecture. In Proceedings of the 2nd Joint International Conference on Vector and Parallel Processing (CONPAR’92—VAPP V) (Lecture Notes in Computer Science), L. Bougé, M. Cosnard, Y. Robert, and D. Trystram (Eds.), Vol. 634. Springer, 43--48.Google ScholarGoogle Scholar
  16. M. D. Derk and L. S. DeBrunner. 1994. Reconfiguration graph grammar for massively parallel, fault tolerant computers. In Proceedings of the 5th International Workshop on Graph Grammars and Their Application to Computer Science (Lecture Notes in Computer Science), J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg (Eds.), Vol. 1073. Springer, 185--195.Google ScholarGoogle Scholar
  17. DREAMS consortium. 2013--2017. DREAMS: Distributed REal-time Architecture for Mixed Criticality Systems. Retrieved from: http://dreams-project.eu.Google ScholarGoogle Scholar
  18. DREAMS consortium. 2016. DREAMS Final Integration. Retrieved from: http://www.uni-siegen.de/dreams/publications/2016-12-20-newsletter.pdf.Google ScholarGoogle Scholar
  19. Guy Durrieu, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez, Claire Pagetti, and Wolfgang Puffitsch. 2014. Predictable flight management system implementation on a multicore processor. In Proceedings of the 7th Conference on Embedded Real Time Software and Systems (ERTS’14).Google ScholarGoogle Scholar
  20. Guy Durrieu, Gerhard Fohler, Gautam Gala, Sylvain Girbal, Daniel Gracia Pérez, Claire Pagetti, and Simara Pérez Zurita. 2016. DREAMS about reconfiguration and adaptation in avionics. In Proceedings of the 8th Conference on Embedded Real Time Software and Systems (ERTS’16).Google ScholarGoogle Scholar
  21. Cecilia Ekelin. 2004. An Optimization Framework for Scheduling of Embedded Real-Time Systems. Ph.D. Dissertation. Chalmers University of Technology, Sweden.Google ScholarGoogle Scholar
  22. Claudia Ermel and Karsten Ehrig. 2007. Visualization, simulation and analysis of reconfigurable systems. In Proceedings of the 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE’07) (Lecture Notes in Computer Science), A. Schürr, M. Nagl, and A. Zündorf (Eds.), Vol. 5088. Springer, 265--280.Google ScholarGoogle Scholar
  23. M. Fan, Q. Han, G. Quan, and S. Ren. 2014. Multi-core partitioned scheduling for fixed-priority periodic real-time tasks with enhanced RBound. In Proceedings of the 15th International Symposium on Quality Electronic Design. IEEE, 284--291.Google ScholarGoogle Scholar
  24. C. J. Fidge. 1998. Real-time schedulability tests for preemptive multitasking. Real-Time Systems 14, 1 (Jan. 1998), 61--93.Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Gerhard Fohler, Gautam Gala, Daniel Gracia Pérez, and Claire Pagetti. 2018. Evaluation of DREAMS resource management solutions on a mixed-critical demonstrator. In Proceedings of the 9th European Congress on Embedded Real Time Software and Systems (ERTS’18).Google ScholarGoogle Scholar
  26. Radio Technical Commission for Aeronautics (RTCA) and EURopean Organisation for Civil Aviation Equipment (EUROCAE). 2007. DO-297: Software, Electronic, Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations. https://standards.globalspec.com/std/2018378/RTCA%20DO-297.Google ScholarGoogle Scholar
  27. Freescale. 2014. T4240 QorIQ: Integrated Multicore Communications Processor Family Reference Manual. https://www.nxp.com/docs/en/user-guide/T4240RDBUG.pdf.Google ScholarGoogle Scholar
  28. Aymen Gammoudi, Daniel Chillet, Mohamed Khalgui, and Adel Benzina. 2018. Mapping of periodic tasks in reconfigurable heterogeneous multi-core platforms. In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE’18). 99--110.Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, and Robert de Simone. 2015. On the scalability of constraint solving for static/off-line real-time scheduling. In Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’15). 108--123.Google ScholarGoogle ScholarCross RefCross Ref
  30. Fabien Hermenier, Adrien Lèbre, and Jean-Marc Menaud. 2009. Cluster-Wide Context Switch of Virtualized Jobs. Research Report 6929. INRIA.Google ScholarGoogle Scholar
  31. Pierre-Emmanuel Hladik, Hadrien Cambazard, Anne-Marie Déplanche, and Narendra Jussien. 2008. Solving a real-time allocation problem with constraint programming. J. Syst. Softw. 81, 1 (Jan. 2008), 132--149.Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. IBM 2017. IBM ILOG CPLEX Optimization Studio. Retrieved from: http://www03.ibm.com/software/products/en/ibmilogcpleoptistud/.Google ScholarGoogle Scholar
  33. D. Isovic and G. Fohler. 2004. Quality aware MPEG-2 stream adaptation in resource constrained systems. In Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS’04). 23--32.Google ScholarGoogle Scholar
  34. A. Kandhalu, K. Lakshmanan, J. Kim, and R. Rajkumar. 2012. pCOMPATS: Period-compatible task allocation and splitting on multi-core processors. In Proceedings of the IEEE 18th Real Time and Embedded Technology and Applications Symposium. IEEE, 307--316.Google ScholarGoogle Scholar
  35. H. Kooti, E. Bozorgzadeh, S. Liao, and L. Bao. 2010. Transition-aware real-time task scheduling for reconfigurable embedded systems. In Proceedings of the Design, Automation 8 Test in Europe Conference 8 Exhibition (DATE’10). IEEE, 232--237.Google ScholarGoogle Scholar
  36. Angeliki Kritikakou, Claire Pagetti, Christine Rochange, Matthieu Roy, Madeleine Faugère, Sylvain Girbal, and Daniel Gracia Pérez. 2014. Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. In Proceedings of the 22th International Conference on Real-Time and Network Systems (RTNS’14). 139--148.Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. J. H. Lala and R. E. Harper. 1994. Architectural principles for safety-critical real-time applications. Proc. IEEE 82, 1 (Jan. 1994), 25--40.Google ScholarGoogle ScholarCross RefCross Ref
  38. S. Lauzac, R. Melhem, and D. Mossé. 1998. An efficient RMS admission control and its application to multiprocessor scheduling. In Proceedings of the 1st Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing. IEEE, 511--518.Google ScholarGoogle Scholar
  39. Yann-Hang Lee, Daeyoung Kim, Mohamed Younis, and Jeff Zhou. 2000. Scheduling tool and algorithm for integrated modular avionics systems. In Proceedings of the 19th Digital Avionics Systems Conference (DASC’00).Google ScholarGoogle ScholarCross RefCross Ref
  40. C. L. Liu and J. W. Layland. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. JACM 20, 1 (1973), 40--61.Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. J. Liu and M. Yang. 2010. Task scheduling of real-time systems on multi-core embedded processor. In Proceedings of the IEEE International Conference on Intelligent Systems and Knowledge Engineering. IEEE, 580--583.Google ScholarGoogle Scholar
  42. Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jean-Jacques Metge, and Paul Arberet. 2009. XTRATUM: An open source hypervisor for TSP embedded systems in aerospace. In Proceedings of DASIA 2009. Data Systems in Aerospace.Google ScholarGoogle Scholar
  43. H. Mushtaq, Z. Al-Ars, and K. Bertels. 2013. Fault tolerance on multicore processors using deterministic multithreading. In Proceedings of the 8th IEEE Design and Test Symposium.Google ScholarGoogle Scholar
  44. Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, and David Lesens. 2011. Multi-task implementation of multi-periodic synchronous programs. Disc. Event Dyn. Syst. 21, 3 (2011), 307--338.Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. Claire Pagetti, David Saussié, Romain Gratia, Eric Noulard, and Pierre Siron. 2014. The ROSACE case study: From Simulink specification to multi/many-core execution. In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’14).Google ScholarGoogle ScholarCross RefCross Ref
  46. Dar-Tzen Peng, Kang G. Shin, and Tarek F. Abdelzaher. 1997. Assignment and scheduling communicating periodic tasks in distributed real-time systems. IEEE Trans. Softw. Eng. 23, 12 (1997), 745--758.Google ScholarGoogle ScholarDigital LibraryDigital Library
  47. Quentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, and Benoît Triquet. 2016. Mapping hard real-time applications on many-core processors. In Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS’16). 235--244.Google ScholarGoogle ScholarDigital LibraryDigital Library
  48. Wolfgang Puffitsch, Éric Noulard, and Claire Pagetti. 2015. Off-line mapping of multi-rate dependent task sets to many-core platforms. Real-Time Syst. 51, 5 (2015), 526--565. DOI:https://doi.org/10.1007/s11241-015-9232-1Google ScholarGoogle ScholarDigital LibraryDigital Library
  49. Klaus Schild and Jörg Würtz. 2000. Scheduling of time-triggered real-time systems. Constraints 5, 4 (Oct. 2000), 335--357.Google ScholarGoogle ScholarDigital LibraryDigital Library
  50. Christoph Steiger, Herbert Walder, Marco Platzner, and Lothar Thiele. 2003. Online scheduling and placement of real-time tasks to partially reconfigurable devices. In Proceedings of the 24th IEEE International Real-Time Systems Symposium (RTSS’03). IEEE Computer Society, Washington, DC, USA, 224--235.Google ScholarGoogle ScholarDigital LibraryDigital Library
  51. Wilfried Steiner. 2010. An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks. In Proceedings of the 31st Real-Time Systems Symposium (RTSS’10). 375--384.Google ScholarGoogle ScholarDigital LibraryDigital Library
  52. Ali Abbas Jaffari Syed. 2018. Model-Based Design and Adaptive Scheduling of Distributed Real-Time Systems. Doctoral Thesis. Technische Universität Kaiserslautern, Germany.Google ScholarGoogle Scholar
  53. TTTech. 2011. TTEthernet Time-Triggered Ethernet (SAE AS 6802). https://www.sae.org/standards/content/as6802/.Google ScholarGoogle Scholar
  54. V. Vargas, P. Ramos, J.-F. Méhaut, and R. Velazco. 2018. NMR-MPar: A fault-tolerance approach for multi-core and many-core processors. Appl. Sci. 8, 3 (March 2018).Google ScholarGoogle ScholarCross RefCross Ref
  55. M. Wermelinger and J. L. Fiadeiro. 1999. Algebraic software architecture reconfiguration. In Proceedings of the 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE’99) (ACM SIGSOFT Software Engineering Notes), Vol. 24 Issue 6. ACM New York, NY, 393--409.Google ScholarGoogle Scholar
  56. M. Wermelinger, A. Lopes, and J. L. Fiadeiro. 2001. A graph based architectural (Re)configuration language. In Proceedings of the 8th European Software Engineering Conference Held Jointly with the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE’01) (ACM SIGSOFT Software Engineering Notes), Vol. 26 Issue 5. ACM New York, NY 21--32.Google ScholarGoogle Scholar
  57. J. Xu. 1993. Multiprocessor scheduling of processes with release times, deadlines, precedence, and exclusion relations. IEEE Trans. Softw. Eng. 19, 2 (Feb. 1993), 139--154.Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        HTML Format

        View this article in HTML Format .

        View HTML Format
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!