Just picked up the new Crazyflie from our tech guy and quizzed him on the old Crazyflie's battery, asking if he found out what happened. He told me he looked at the battery under a microscope and best he can tell the battery didn't blow up or cook. He thinks the outer protective plastic was worn awa...
I have just discovered the gcc -pedantic tag :) I am currently waiting on my new Crazyflie (techs are putting it together) and an adapter for a JTAG box (ta for the pointer Tobius). So I'm looking for problems to eliminate in my code before using it. The -pedantic tag has the ability to be set to c9...
The Crazyflie was picked mostly because of the open source nature of the code and rtos, plus its a fun platform that hopefully will demo well. The project isn't to identify problems in Crazyflie code, nor to implement the verification stuff. It's to replace existing code with Whiley generated code a...
I am doing an engineering honours project at Victoria University in Wellington, New Zealand. My supervisor, Dr Pearce, has developed a verifying compiler, Whiley. http://whiley.org/ In a nutshell Whiley enables an engineer to write code verification (pre/post conditions, loop invarients, etc) as you...
My project involves generating C code for the Crazyflie, from another language Whiley. I have come across the use of PRIVILEGED_FUNCTION in FreeRTOS, in particular the task.h file and I am in the process of reading up on it and experimenting to see if removing it makes a difference to the Crazyflie....
I am running the crazyflie on Linux using a PS3 controller and I'm trying to get the basic hover mode working. So far without luck. In essence, I can fly, but hover mode is not coming on. I have confirmed the controller is ok and I have located the initial merge where I can see an led sequence that ...