publication . Other literature type . Conference object . 2018

Metrics: A Measurement Environment For Multi-Core Time Critical Systems

Girbal, Sylvain; Le Rhun, Jimmy; Saoud, Hadi;
Open Access
  • Published: 18 Jul 2018
  • Publisher: Zenodo
Abstract
International audience; With the upcoming shift from single-core to multi-core COTS processor for safety critical products such as avionics, railway or space computer subsystems, the safety critical industry is facing a trade-off in term of performance versus predictability.In multi-core processors, concurrent accesses to shared hardware resources are generating inter-task or inter-application timing interference, breaking the timing isolation principles required by the standards for such critical software. Several solutions have been proposed in the literature to control or regulate these timing interferences, but most of these solutions require to perform some...
Subjects
free text keywords: timing interference, control solutions, regulation solutions, METrICS, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
Related Organizations
Funded by
EC| SAFURE
Project
SAFURE
SAFety and secURity by design for interconnected mixed-critical cyber-physical systems
  • Funder: European Commission (EC)
  • Project Code: 644080
  • Funding stream: H2020 | RIA
Download fromView all 4 versions
Zenodo
Other literature type . 2018
Provider: Datacite
Zenodo
Other literature type . 2018
Provider: Datacite
ZENODO
Conference object . 2018
Provider: ZENODO
Hyper Article en Ligne
Conference object . 2018
29 references, page 1 of 2

[1] SYSGO AG. PikeOS 4.2: RTOS with hypervisor-functionality, March 2017.

[2] Gene M. Amdahl. Validity of the single processor approach to achieving large scale computing capabilities. In Proceedings of the Spring Joint Computer Conference, pages 483-485, Atlantic City, April 1967. ACM. [OpenAIRE]

[3] ARM Limited. Fixed Virtual Platforms: FVP Reference Guide, Nov 2015.

[4] ARM Limited. Versatile Express: 64 Bit Juno r2 ARM Development Platform, Nov 2015.

[5] Thomas G. Baker. Lessons learned integrating COTS into systems. In Proceedings of the First International Conference on COTS-Based Software Systems, ICCBSS '02, pages 21-30, 2002.

[6] Greg Bartlett. QorIQ P4080 Communications Processor design in 45nm SOI. In IC Design and Technology, 2009. ICICDT '09. IEEE International Conference on, pages viii-viii, 2009.

[7] Fabrice Bellard. QEMU, a fast and portable dynamic translator. In USENIX Annual Technical Conference, pages 41-46, 2005.

[8] Michael Bostock, Vadim Ogievetsky, and Jeffrey Heer. D3 datadriven documents. IEEE Transactions on Visualization and Computer Graphics, 17(12):2301-2309, December 2011.

[9] Guy Durrieu, Madeleine Fauge`re, Sylvain Girbal, Daniel Gracia Pe´rez, Claire Pagetti, and Wolfgang Puffitsch. Predictable flight management system implementation on a multicore processor. In Embedded Real Time Software and Systems, ERTS '14, 2014.

[10] Alan Eustace and Amitabh Srivastava. Atom: A flexible interface for building high performance program analysis tools. In Proceedings of the USENIX 1995 Technical Conference Proceedings, TCON'95, pages 25-25, Berkeley, CA, USA, 1995. USENIX Association.

[11] Jay Fenlason and Richard Stallman. GNU gprof. November 1998.

[12] Stuart Fisher. Certifying Applications in a Multi-Core Environment: The World's First Multi-Core Certification to SIL 4, 2013.

Trace32: RTOS debugger for linux.

[13] Lauterbach GmbH Germany. February 2017.

[14] Sylvain Girbal, Xavier Jean, Jimmy Le Rhun, Daniel Gracia Pe´rez, and Marc Gatti. Deterministic Platform Software for hard real-time systems using multi-core COTS. In Proceedings of the 34th Digital Avionics Systems Conference, DASC'2015, 2015.

29 references, page 1 of 2
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Other literature type . Conference object . 2018

Metrics: A Measurement Environment For Multi-Core Time Critical Systems

Girbal, Sylvain; Le Rhun, Jimmy; Saoud, Hadi;