|
Change #21808
2013-06-27
09:27:21
|
create
Calagator::Event
1250464477
Galois tech talk: SMACCMPilot: flying quadcopters using new techniques for embedded programming
Roll back
| description |
nil |
→ |
Presented by Pat Hickey.
At Galois, we're building critical flight control software using new software methods for embedded systems programming. We will show how we used new domain-specific languages which permit low-level hardware manipulation while still providing guarantees of type and memory safety. The flagship application for these new languages is called SMACCMPilot, a clean slate design of quadcopter flight control software built on open-source hardware. This talk will introduce our new software methods and show how we built SMACCMPilot to be high assurance without sacrificing programmer productivity. |
| end_time |
nil |
→ |
2013-07-02 11:30:00 -0700 |
| id |
nil |
→ |
1250464477 |
| start_time |
nil |
→ |
2013-07-02 10:30:00 -0700 |
| title |
nil |
→ |
Galois tech talk: SMACCMPilot: flying quadcopters using new techniques for embedded programming |
| url |
nil |
→ |
http://corp.galois.com/blog/2013/6/27/tech-talk-smaccmpilot-flying-quadcopters-using-new-technique.html |
| venue_id |
nil |
→ |
202390439 |
|