Author:
Antonante Pasquale,Valverde-Alcalá Juan,Basagiannis Stylianos,Di Natale Marco
Publisher
Springer International Publishing
Reference24 articles.
1. Markus, L., Conte, T.: Embedded multicore processors and systems. IEEE Micro 29, 7–9 (2009)
2. Basagiannis, S.: Software certification of airborne cyber-physical systems under DO-178C. In: 2016 IEEE International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), Vienna, pp. 1–6, April 2016
3. Paun, V.-A., Monsuez, B., Baufreton, P.: On the determinism of multi-core processors. In: Proceedings of 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA). OpenAccess Series in Informatics, (OASIcs), vol. 31, pp. 32–46 (2013)
4. Ernst, R., Di Natale, M.: Mixed criticality systems - a history of misconceptions? IEEE Des. Test 33(5), 65–74 (2016)
5. Jean X., Faura D., Gatti M., Pautet L., Robert, T.: Ensuring robust partitioning in multicore platforms for IMA systems. In: 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), pp. 7A4-1–7A4-9, October 2012