References

  1. GR-CPCI-LEON4-N2X: Quad-Core LEON4 Next Generation Microprocessor Evaluation Board, http://www.gaisler.com/index.php/products/boards/gr-cpci-leon4-n2x.
  2. T. Abdellatif, J. Combaz & J. Sifakis (2010): Model-based implementation of real-time applications. In: EMSOFT '10, pp. 229–238, doi:10.1145/1879021.1879052.
  3. G. Brau, J. Hugues & N. Navet (2018): Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. Science of Computer Programming 156, pp. 1 – 20, doi:10.1016/j.scico.2017.12.007.
  4. J. Eker, J. W. Janneck, E. A. Lee, Jie Liu, Xiaojun Liu, J. Ludvig, S. Neuendorffer, S. Sachs & Yuhong Xiong (2003): Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE 91(1), pp. 127–144, doi:10.1109/JPROC.2002.805829.
  5. P. Feiler, D. Gluch & J. Hudak (2006): The Architecture Analysis & Design Language (AADL): An Introduction. Technical Report CMU/SEI-2006-TN-011. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. Available at http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7879.
  6. F. Gioulekas, P. Poplavko, R. Kahil, P. Katsaros, M. Bozga, S. Bensalem & P. Palomo (2017): Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 401–407, doi:10.1007/978-3-319-66197-1_28.
  7. F. Gioulekas, P. Poplavko, P. Katsaros, S. Bensalem & P. Palomo (2018): A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. In: Alessandra Russo & Andy Schürr: Fundamental Approaches to Software Engineering. Springer International Publishing, Cham, pp. 94–110, doi:10.1007/978-3-319-89363-1_6.
  8. S. Ha, S. Kim, C. Lee, Y. Yi, S. Kwon & Y. Joo (2008): PeaCE: A Hardware-software Codesign Environment for Multimedia Embedded Systems. ACM Trans. Des. Autom. Electron. Syst. 12(3), pp. 24:1–24:25, doi:10.1145/1255456.1255461.
  9. N. Halbwachs (2010): Synchronous Programming of Reactive Systems. Springer-Verlag, Berlin, Heidelberg.
  10. N. Halbwachs & P. Raymond (1999): Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 1–12, doi:10.1007/3-540-46674-6_1.
  11. J. Hugues, B. Zalila, L. Pautet & F. Kordon (2008): From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. ACM Trans. Embed. Comput. Syst. 7(4), pp. 42:1–42:25, doi:10.1145/1376804.1376810.
  12. A. Kanduri, A. M. Rahmani, P. Liljeberg, K. Wan, K. L. Man & J. Plosila (2013): A multicore approach to model-based analysis and design of Cyber-Physical Systems. In: 2013 International SoC Design Conference (ISOCC), pp. 278–281, doi:10.1109/ISOCC.2013.6864027.
  13. A. Nouri, P. Poplavko, L. Angelis, A. Zerzelidis, S. Bensalem & P. Katsaros (2018): Maximal software execution time: a regression-based approach. Innovations in Systems and Software Engineering, doi:10.1007/s11334-018-0314-9.
  14. M. Perrotin, E. Conquet, J. Delange, A. Schiele & T. Tsiodras (2012): TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. In: I. Ober & I. Ober: SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 26–37, doi:10.1007/978-3-642-25264-8_4.
  15. P. Poplavko, R. Kahil, D. Socci, S. Bensalem & M. Bozga (2016): Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, pp. 605–621, doi:10.1007/978-3-319-47166-2_42.
  16. P. Poplavko, A. Nouri, L. Angelis, A. Zerzelidis, S. Bensalem & P. Katsaros (2017): Regression-Based Statistical Bounds on Software Execution Time. In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 48–63, doi:10.1007/978-3-319-66176-6_4.
  17. P. Poplavko, D. Socci, P. Bourgos, S. Bensalem & M. Bozga (2015): Models for deterministic execution of real-time multiprocessor applications. In: 2015 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 1665–1670, doi:10.7873/DATE.2015.0302.
  18. I. Radojevic & Z. Salcic (2011): Embedded Systems Design Based on Formal Models of Computation, 1st edition. Springer Publishing Company, Incorporated, doi:10.1007/978-94-007-1594-3.
  19. K. Schneider, J. Brandt & E. Vecchie (2006): Efficient code generation from synchronous programs. In: Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings., pp. 165–174, doi:10.1109/MEMCOD.2006.1695922.
  20. J. Sifakis (2013): Rigorous System Design. Foundations and Trends¬Æ in Electronic Design Automation 6(4), pp. 293–362, doi:10.1561/1000000034.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org