I've arranged a conference call with Alwyn Goodloe at NASA about work he and his collaborators at Georgia Tech have done on applying formal methods to control theory. Alwyn gave a talk here at Galois in December about this work, if you'd like some background:
http://corp.galois.com/blog/2010/12/2/galois-video-formal-methods-applied-to-control-software.html I'm hoping we get to play with their code for translating Matlab/Scilab source to C and then verifying that the resulting C code satisfies some formal specification for a control loop. If you're interested in joining this call, it's next Friday, May 13th, at 1PM. We'll meet at the TOVA Company office at PSBA (2828 SW Corbett Ave., Suite 130). Jamey
signature.asc
Description: Digital signature
_______________________________________________ psas-team mailing list psas-team@lists.psas.pdx.edu http://lists.psas.pdx.edu/mailman/listinfo/psas-team This list's membership is automatically generated from the memberships of the psas-airframe, psas-avionics, and psas-general mail lists. Visit http://lists.psas.pdx.edu to individually subscribe/unsubscribe yourself from these lists.