The propeller car is a test bench for an electric, contra rotating propulsion system for light aircraft developed by Potenza for ContraElectric. The system has been run up to 70mph, and met thrust predictions for the fixed propeller arrangement, including the ability to regenerate energy and develop a reverse thrust.
ASIL integrity software has been developed in Simulink from MathWorks, and autocoded using the Embedded coder. The coding toolchain has been integrated with SAFERTOS, and blocks sets and techniques developed to facilitate the use of memory management, and process protection such that customers can write application code in Simulink at a QM level, with freedom from interference of the underlying safety code (ASIL B), provided as a protected block within the environment.
Potenza started development with SAFERTOS CORE, and upgraded to SAFERTOS when they were ready.