[EventReport] Hands-on VeriFast with STM32 microcontroller

This forum is dedicated to feedback, discussions about ongoing or future developments, ideas and suggestions regarding the ChibiOS projects are welcome. This forum is NOT for support.
masterq
Posts: 4
Joined: Wed Aug 14, 2013 7:28 am
Been thanked: 1 time

[EventReport] Hands-on VeriFast with STM32 microcontroller

Postby masterq » Mon Feb 06, 2017 2:03 pm

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

User avatar
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

Postby Giovanni » Mon Feb 06, 2017 2:37 pm

Hi,

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