Automated generation of time-predictable executables on multi-core

ACM International Conference Proceeding Series

Volumn , Issue , 2018, Pages 104-113

  Pagetti, Claire ^a   Forget, Julien ^b   Falk, Heiko ^c   Oehlert, Dominic ^c   Luppold, Arno ^c  

^a ONERA   (France)

^b UNIV LILLE   (France)

^c HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Compilation; Synchronous languages; Time predictable; WCET

Indexed keywords

FLIGHT CONTROL SYSTEMS; HARDWARE; HIGH LEVEL LANGUAGES; SPECIFICATIONS;

AUTOMATED CODE GENERATION; AUTOMATED GENERATION; COMPILATION; DEVELOPMENT PROCESS; SYNCHRONOUS LANGUAGES; TIME PREDICTABILITIES; TIME-PREDICTABLE; WCET;

REAL TIME SYSTEMS;

EID: 85056707901     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/3273905.3273907     Document Type: Conference Paper

References (49)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986. Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
2. AMALTHEA. [n. d.]. An open platform project for embedded multicore systems. Available: http://www.amalthea-project.org.
3. Sidharta Andalam, Partha Roop, and Alain Girault. 2010. Predictable multithread-ing of embedded applications using PRET-C. In Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on. IEEE, 159–168.
4. Clément Ballabriga, Hugues Cassé, Christine Rochange, and Pascal Sainrat. 2010. OTAWA: An Open Toolbox for Adaptive WCET Analysis. In 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Vol. LNCS-6399. 35–46.
5. Matthias Becker, Dakshina Dasari, Borislav Nicolic, Benny Åkesson, Vincent Nélis, and Thomas Nolte. 2016. Contention-Free Execution of Automotive Applications on a Clustered Many-Core Platform. In 28th Euromicro Conference on Real-Time Systems (ECRTS’16).
6. Ricardo Bedin França, Sandrine Blazy, Denis Favre-Felix, Xavier Leroy, Marc Pantel, and Jean Souyris. 2012. Formally verified optimizing compilation in ACG-based flight control software. In ERTS2 2012: Embedded Real Time Software and Systems. Toulouse, France.
7. Albert Benveniste and Gérard Berry. 2001. The synchronous approach to reactive and real-time systems. In Readings in hardware/software co-design. Kluwer Academic Publishers.
8. Frédéric Boniol, Hugues Cassé, Eric Noulard, and Claire Pagetti. 2012. Deterministic Execution Model on COTS Hardware. In Proceedings of the 25th International Conference on Architecture of Computing Systems (ARCS’12). 98–110.
9. Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, and John Plaice. 1987. Lustre: A Declarative Language for Programming Synchronous Systems. In POPL. 178–188.
10. CAST (Certification Authorities Software Team). 2016. Position Paper on Multicore Processors - CAST-32A. Retrieved from https://www.faa.gov/aircraft/air_cert/design_approvals/air_software/cast/cast_papers/media/cast-32A.pdf.
11. Silviu S. Craciunas and Ramon Serna Oliver. 2016. Combined task- and network-level scheduling for distributed time-triggered systems. Real-Time Systems 52, 2 (2016), 161–200.
12. Arno Luppold Dominic Oehlert and Heiko Falk. 2017. Bus-aware Static Instruction SPM Allocation for Multicore Hard Real-Time Systems. In In Proceedings of the 29th Euromicro Conference on Real-Time Systems (ECRTS). Dubrovnik, Croatia. Accepted for publication.
13. 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).
14. Stephen A Edwards and Edward A Lee. 2007. The case for the precision timed (PRET) machine. In Proceedings of the 44th annual Design Automation Conference. ACM, 264–265.
15. Esterel Technologies, Inc. 2012. SCADE Language - Reference Manual.
16. Esterel Technologies, Inc. 2012. SCADE Suite KCG C & ADA Code Generator. http://www.esterel-technologies.com/products/scade-suite/automatic-code-generation/scade-suite-kcg-ada-code-generator/.
17. Heiko Falk and Paul Lokuciejewski. 2010. A compiler framework for the reduction of worst-case execution times. Real-Time Systems 46, 2 (2010), 251–300.
18. C Ferdinand, R Heckmann, T Le Sergent, D Lopes, B Martin, X Fornari, and F Martin. 2008. Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables. In Embedded Real Time Software and Systems (ERTS2’12).
19. Julien Forget, Frédéric Boniol, David Lesens, and Claire Pagetti. 2008. A multi-periodic synchronous data-flow language. In Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE’08).
20. Julien Forget, Frédéric Boniol, and Claire Pagetti. 2017. WATERS Industrial Challenge 2017 with Prelude. In 8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems WATERS’17.
21. Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, and Xavier Thirioux. 2014. Testing-Based Compiler Validation for Synchronous Languages. In 6th International Symposium of NASA Formal Methods (NFM’14). 246–251.
22. AbsInt Angewandte Informatik GmbH. 2016. Worst-Case Execution Time Analyzer aiT. https://www.absint.com/ait/.
23. Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, and Robert de Simone. 2015. On the Scalability of Constraint Solving for Static/OffLine Real-Time Scheduling. In 13th International Conference Formal Modeling and Analysis of Timed Systems (FORMATS’15). 108–123.
24. Amaury Graillat, Matthieu Moy, Pascal Raymond, and Benoît Dupont De Dinechin. 2018. Parallel Code Generation of Synchronous Programs for a Many-core Architecture. In Design, Automation and Test in Europe (DATE’18). Dresden, Germany.
25. Arne Hamann, Dakshina Dasari, Simon Kramer, Michael Pressler, Falk Wurst, and Dick Ziegenbein. 2017. WATERS Industrial Challenge 2017.
26. Arne Hamann, Dick Ziegenbein, Simon Kramer, and Martin Lukasiewycz. 2016. Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 1–1.
27. IBM ILOG. 2014. CPLEX Optimization Studio. http://www.ibm.com/software/integration/ optimization/cplex-optimization-studio/.
28. Timon Kelter. 2014. WCET Analysis and Optimization for Multi-Core Real-Time Systems. Ph.D. Dissertation. Technischen Universität Dortmund an der Fakultät für Informatik.
29. Philippe Laborie and Jérôme Rogerie. 2008. Reasoning with Conditional Time-intervals. In 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS’08).
30. Philippe Laborie, Jérôme Rogerie, Paul Shaw, and Petr Vilím. 2009. Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources. In 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS’09).
31. Xavier Leroy. 2006. Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’06). 42–54.
32. Laurence H. Mutuel, Xavier Jean, Vincent Brindejonc, Anthony Roger, Thomas Megel, and E. Alepins. 2017. Assurance of Multicore Processors in Airborne Systems. Retrieved from http://www.tc.faa.gov/its/worldpac/techrpt/tc16-51.pdf.
33. Dominic Oehlert, Arno Luppold, and Heiko Falk. 2016. Practical Challenges of ILP-based SPM Allocation Optimizations. In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES’16). 86–89.
34. Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, and David Lesens. 2011. Multi-task Implementation of Multi-periodic Synchronous Programs. Discrete Event Dynamic Systems 21, 3 (2011), 307–338.
35. 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 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’14).
36. Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, and Russell Kegley. 2011. A Predictable Execution Model for COTS-based Embedded Systems. In 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011).
37. 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.
38. Wolfgang Puffitsch, Éric Noulard, and Claire Pagetti. 2015. Off-line mapping of multi-rate dependent task sets to many-core platforms. Real-Time Systems 51, 5 (2015), 526–565.
39. Pascal Raymond. 1991. Efficient Compilation of a Declarative Synchronous Language:the Lustre-V3 Code Generator. Ph.D. Dissertation. Grenoble Institute of Technology, France.
40. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, and Fabienne Carrier. 2013. Timing analysis enhancement for synchronous program. In 21st International Conference on Real-Time Networks and Systems (RTNS’13). 141–150.
41. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, and Mihail Asavoae. 2015. Timing analysis enhancement for synchronous program. Real-Time Systems 51, 2 (2015), 192–220.
42. Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, and Sebastian Alt-meyer. 2016. Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. In Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS’16). 67–76.
43. RTCA, Inc. 2008. DO-178 ED-12B - Software Considerations in Airborne Systems and Equipment Certification.
44. SAE. 2010. Aerospace Recommended Practices ARP4754a - Development of Civil Aircraft and Systems. SAE.
45. Christos Sofronis, Stavros Tripakis, and Paul Caspi. 2006. A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. In EMSOFT’06: Proceedings of the 6th ACM & IEEE International conference on Embedded software. 21–33.
46. Jean Souyris, Virginie Wiels, David Delmas, and Hervé Delseny. 2009. Formal Verification of Avionics Software Products. In Proceedings of Formal Methods (FM’2009). 532–546.
47. Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat, and Per Stenström. 2008. The Worst-case Execution-time Problem - Overview of Methods and Survey of Tools. ACM Transactions Embedded Computing Systems 7, 3 (May 2008), 36:1–36:53.
48. Reinhard Wilhelm and Jan Reineke. 2012. Embedded systems: Many cores - Many problems. In 7th IEEE International Symposium on Industrial Embedded Systems (SIES’12). 176–180.
49. Eugene Yip, Alain Girault, Partha S Roop, and Morteza Biglari-Abhari. 2016. The ForeC synchronous deterministic parallel programming language for mul-ticores. In Embedded Multicore/Many-core Systems-on-Chip (MCSoC), 2016 IEEE 10th International Symposium on. IEEE, 297–304.