http://metasepi.org/en/posts/2017-02-05 ... ns-on.html
We had “Hands-on VeriFast with STM32 microcontroller” on 静的コード解析の会 at Tokyo.
This hands-on purpose is that non-professional person for embedded
programming understands the development method and verification using
VeriFast. The VeriFast is a verifier for single-threaded and
multithreaded C language programs annotated with preconditions and
postconditions written in separation logic. And VeriFast is easy to
use with the graphical IDE.
The hands-on was going as following steps:
* Introduce ChibiOS/RT which is a RTOS
* Get development environment for ChibiOS/RT
* Build sample application on ChibiOS/RT
* Introduce STM32 microcontroller
* Run the application on STM32 board
* Introduce VeriFast
* Verify the application using VeriFast
All of participants have had VeriFast verification platform, and feel
the verification way of VeriFast for ChibiOS/RT on STM32
microcontroller. STMicroelectronics kindly gives me their MCU board
NUCLEO-F091RC, for free. Thanks a lot!
We are planning same hands-on on OSC2017 at Hokkaido. Let’s
propagandize verification method by VeriFast for embedded application!
You can get the presentation slide at following:
http://www.slideshare.net/master_q/hand ... controller
Also you can get the source code for verify ChibiOS/RT application
using VeriFast at following:
https://github.com/fpiot/chibios-verifast
Best regards,
--
Kiwamu Okabe
[EventReport] Hands-on VeriFast with STM32 microcontroller
- Giovanni
- Site Admin
- Posts: 14444
- Joined: Wed May 27, 2009 8:48 am
- Location: Salerno, Italy
- Has thanked: 1074 times
- Been thanked: 921 times
- Contact:
Re: [EventReport] Hands-on VeriFast with STM32 microcontroller
Hi,
Thanks for sharing, cool event. VeriFast looks interesting too.
Giovanni
Thanks for sharing, cool event. VeriFast looks interesting too.
Giovanni
Return to “Development and Feedback”
Who is online
Users browsing this forum: No registered users and 33 guests