GR-CPCI-LEON4-N2X: Quad-Core LEON4 Next Generation Microprocessor Evaluation Board, http://www.gaisler.com/index.php/products/boards/gr-cpci-leon4-n2x.
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.
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.
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.
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.
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.
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.
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.
N. Halbwachs (2010):
Synchronous Programming of Reactive Systems.
Springer-Verlag,
Berlin, Heidelberg.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
J. Sifakis (2013):
Rigorous System Design.
Foundations and Trends® in Electronic Design Automation 6(4),
pp. 293–362,
doi:10.1561/1000000034.