No abstract

Existing HW/SW platforms for safety-critical systems suffer from limited performance and/or from lack of flexibility due to building on specific proprietary components. This jeopardizes their wide deployment across domains. While some research has been done to overcome these limitations, they have had limited success owing to missing flexibility and extensibility. Flexibility and extensibility are the cornerstones of industry adoption: industries dealing in capital goods need technologies on which they can rely on during decades (e.g. avionics, space, automotive). SELENE aims at covering this gap by proposing a new family of safety-critical computing platforms, which builds upon open source components such as the RISC-V instruction set architecture, GNU/Linux, and the Jailhouse hypervisor. SELENE will develop an advanced computing platform that is able to: (1) adapt the system to the specific requirements of different application domains, to changing environmental conditions, and to internal conditions of the system itself; (2) allow the integration of applications of different criticalities and performance demands in the same platform, guaranteeing functional and temporal isolation properties; (3) achieve flexible diverse redundancy by exploiting the inherent redundant capabilities of the multicore; and (4) efficiently execute compute-intensive applications by means of specific accelerators.

More and more industrial embedded systems are developed to undergo hard environmental conditions, especially high temperatures. To prevent this impact, environmental conditions (e.g. the temperature) could be monitored. Plenty of new industrial designs are built around SoCs, and more especially around the Zynq-7000 introduced by Xilinx in 2011. In fact, monitoring the temperature inside the Zynq has become a challenge. While many applications focused on precision, the application proposed here instead is in an industrial context and aims at detecting a temperature excess as fast as possible to achieve the thermal protection of a logic area of the chip. Most of the digital sensors designed require a calibration to be operational. Such a process is not viable for time to market, and a solution must be found to either lighten it (e.g. by doing a simple 3-points calibration) or simply avoiding it. Instead of measuring the temperature in an absolute way, this paper focuses on detecting if the temperature is above or below a threshold. This work exhibits the implementation of three temperature digital sensors with promising results on Zynq technology. Two of the presented sensors are based on a ring-oscillator and another uses a flip-flop as a sensing element. Results show that a temperature increase can be detected in less than 1ms without any calibration protocol and this sensor was found to perfectly fit the targeted application.

No abstract