« Transformations for Model Checking Distributed Java... by Stoller and Liu | Main | That's it. It's on. »
October 29, 2003
BrickOS
[BrickOS] The operating system we want for the mindstorm. INcludes a C/C++ interface that is doxygen documented. Now we just have to get it, install it and see if there's a simulator/emulator for it. This is the succesor for LegOS.
Is this a symbolic model checker for BrickOS? Almost, its a tool set for "modelling, schedulability analysis, synthesis of (optimal) schedules and executable code" It had a tools paper at TACAS 2002.
Here's a more conventional simulator.
Posted by jones at October 29, 2003 07:47 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)