The ROSACE case study: From Simulink specification to multi/many-core execution

Real-Time Technology and Applications - Proceedings

Volumn 2014-October, Issue October, 2014, Pages 309-318

  Pagetti, Claire ^a   Saussié, David ^b   Gratia, Romain ^a   Noulard, Eric ^a   Siron, Pierre ^a  

^a ONERA   (France)

^b ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ENGINEERS; FLIGHT CONTROLLERS; MATLAB /SIMULINK; OPEN SOURCE LICENSE; OPEN SOURCES; PERIODIC CONFIGURATION; SIMULINK;

CONTROLLERS;

EID: 84937561882     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2014.6926012     Document Type: Conference Paper

References (43)

1. The Mathworks, Simulink: User's Guide, The Mathworks, 2009.
2. M. Gatti, "Development and certification of avionics platforms on multi-core processors," in Tutorial Mixed-Criticality Systems: Design and Certification Challenges, Embedded Systems Week, Montreal, Canada, 2013.
3. J.-C. Laperche, "Multi/many-core in avionics systems," in 4th Workshop TORRENTS, Toulouse, France, 2013.
4. C. Bérard, J. M. Biannic, and D. Saussié, Commande multivariable - Application au pilotage d'un avion. Dunod, 2012.
5. C. Pagetti, J. Forget, F. Boniol, M. Cordovilla, and D. Lesens, "Multi-task implementation of multi-periodic synchronous programs," Discrete Event Dynamic Systems, vol. 21, no. 3, pp. 307-338, 2011.
6. M. Cordovilla, F. Boniol, J. Forget, E. Noulard, and C. Pagetti, "Developing critical embedded systems on multicore architectures: the prelude-schedmcore toolset," in19th International Conference on Real-Time and Network Systems (RTNS'11), 2011, pp. 107-116.
7. E. Betti, S. Bak, R. Pellizzoni, M. Caccamo, and L. Sha, "Real-time i/o management system with COTS peripherals," IEEE Trans. Computers, vol. 62, no. 1, pp. 45-58, 2013.
8. Tilera Corp., "Tile processor architecture - Overview for the TILEPro Series," Tech. Rep. UG120, 2013.
9. B. L. Stevens and F. L. Lewis, Aircraft control and simulation, 2nd ed. Hoboken, NJ : Wiley, 2003.
10. W. J. Rugh and J. S. Shamma, "Research on gain-scheduling," Automatica, vol. 36, no. 10, pp. 1401-1425, 2000.
11. D. Saussié, L. Saydy, O. Akhrif, and C. Bérard, "Gain scheduling with guardian maps for longitudinal flight control," AIAA Journal of Guidance, Control and Dynamics, vol. 34, no. 4, pp. 1045-1059, 2011.
12. C. Gervais, J.-B. Chaudron, P. Siron, R. Leconte, and D. Saussié, "Real-time distributed aircraft simulation through HLA," in 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2012), 2012.
13. nd ed. Prentice Hall, 1994.
14. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone, "The synchronous languages 12 years later," Proceedings of the IEEE, vol. 91, no. 1, pp. 64-83, 2003.
15. C. Sofronis, S. Tripakis, and P. Caspi, "A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling," inProc. of the 6th International Conference on Embedded Software (EMSOFT'06), Seoul, South Korea, Oct. 2006, pp. 21-33.
16. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous data-flow programming language LUSTRE," Proceedings of the IEEE, vol. 79, no. 9, pp. 1305-1320, 1991.
17. A. Curic, "Implementing Lustre programs on distributed platforms with real-time constraints," Ph.D. dissertation, Université Joseph Fourier, Grenoble, 2005.
18. M. Pouzet, Lucid Synchrone, version 3. Tutorial and reference manual, Université Paris-Sud, LRI, 2006.
19. Tilera Corp., "Architecture Overview TILE-Gx," Tech. Rep. UG130, 2013.
20. -, "Tilera Documentation: Gx MDE Programming Overview," Tech. Rep. UG 505, 2013.
21. S. Brosky and S. Rotolo, "Shielded processors: guaranteeing sub-millisecond response in standard linux," in Parallel and Distributed Processing Symposium, 2003. Proceedings. International, 2003.
22. W. Puffitsch, E. Noulard, and C. Pagetti, "Mapping a multi-rate synchronous language to a many-core processor," in 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013), 2013, pp. 293-302.
23. R. Wilhelm and al., "The worst-case execution-time problem - overview of methods and survey of tools," ACM Trans. Embedded Comput. Syst., vol. 7, no. 3, 2008.
24. C. Ballabriga, H. Cassé, C. Rochange, and P. Sainrat, "Otawa: An open toolbox for adaptive wcet analysis," in 8th IFIP WG 10.2 International Workshop Software Technologies for Embedded and Ubiquitous Systems (SEUS 2010), 2010, pp. 35-46.
25. F. Boniol, H. Cassé, E. Noulard, and C. Pagetti, "Deterministic execution model on cots hardware," in25th International Conference Architecture of Computing Systems (ARCS'12), ser. Lecture Notes in Computer Science, vol. 7179. Springer, 2012, pp. 98-110.
26. A. Cervin, "Integrated control and real-time scheduling," Ph.D. dissertation, Dept. of Automatic Control, Lund University, Sweden, Apr. 2003.
27. O. Sename, D. Simon, and M. E. M. Ben Gaïd, "A LPV approach to control and real-time scheduling codesign: application to a robot-arm control," in Proceedings of the 47th IEEE Conference on Decision and Control (CDC'08), Cancun Mexique, 2008, pp. 4891-4897.
28. P. J. Andrianiaina, D. Simon, A. Seuret, J.-M. Crayssac, and J.-C. Laperche, "Weakening Real-time Constraints for Embedded Control Systems," INRIA, Rapport de recherche RR-7831, 2011.
29. S. Baruah, "Semantics-preserving implementation of multirate mixed-criticality synchronous programs," in20th International Conference on Real-Time and Network Systems (RTNS'12), 2012, pp. 11-19.
30. M. Otter, B. Thiele, and H. Elmquvist, "A library for synchronous control systems in modelica," in9th International Modelica Conference, 2012.
31. S. P. Jean-Louis Camus, Olivier Graff, "A verifiable architecture for multitask, multi-rate synchronous software," in 4th Embedded Real-Time Software Congress (ERTS'08), 2008.
32. M. D. Natale and H. Zeng, "Task implementation of synchronous finite state machines," in 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), 2012, pp. 206-211.
33. N. Izerrouken, O. S. Y. Kai, M. Pantel, and X. Thirioux, "Use of formal methods for building qualified code generator for safer automotive systems," in 1st Workshop on Critical Automotive Applications: Robustness & Safety (EDCC-CARS'10). ACM, 2010, pp. 53-56.
34. T. Wang, A. Dieumegard, E. Feron, R. Jobredeaux, M. Pantel, and P.-L. Garoche, "Autocoding of Computer-controlled Systems with Control Semantics for Formal Verification (regular paper)," in Safe and Secure Systems and Software Symposium (S5), 2012.
35. S. Tripakis, C. Sofronis, P. Caspi, and A. Curic, "Translating discrete-time Simulink to Lustre," ACM Trans. Embedded Comput. Syst., vol. 4, no. 4, pp. 779-818, 2005.
36. N. Marian and Y. Ma, Translation of Simulink Models to Component-based Software Models. 'Forlag uden navn', 2007, pp. 274-280.
37. R. Lublinerman and S. Tripakis, "Modular code generation from triggered and timed block diagrams," in Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 02008). IEEE Computer Society, 2008, pp. 147-158.
38. A. Bouakaz and J.-P. Talpin, "Buffer minimization in earliest-deadline first scheduling of dataflow graphs," in SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES'13), 2013, pp. 133-142.
39. S. Bliudze, M. Jan, and X. Fornari, "From model-based to real-time execution of safety-critical applications: Coupling scade with oasis," in Embedded Real Time Software and Systems (ERTS'012), 2012.
40. O. Kotaba, M. Paulitsch, S. Petters, H. Theiling, and J. Nowotsch, "Multicore in real-time systems - temporal isolation challenges due to shared resources," in Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT'13), 2013.
41. A. Abel, F. Benz, J. Doerfert, B. Dörr, S. Hahn, F. Haupenthal, M. Jacobs, A. H. Moin, J. Reineke, B. Schommer, and R. Wilhelm, "Impact of resource sharing on performance and performance prediction: A survey," in 24th International Conference on Concurrency Theory (CONCUR'13), 2013, pp. 25-43.
42. R. Wyss, F. Boniol, J. Forget, and C. Pagetti, "A synchronous language with partial delay specification for real-time systems programming," in 10th Asian Symposium Programming Languages and Systems (APLAS 2012), 2012, pp. 223-238.
43. Z. Al-bayati, H. Zeng, M. D. Natale, and Z. Gu, "Multitask implementation of synchronous reactive models with earliest deadline first scheduling," in 8th IEEE International Symposium on Industrial Embedded Systems (SIES 2013), 2013, pp. 168-177.