@xiaominwei
xiaominwei 暂无简介
Examples and case-study that use OSATE
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Build script (and more) for Ocarina
Standard NuttX (http://nuttx.org) with current PX4 WIP patches
ArduPlane, ArduCopter, ArduRover source
PX4 Firmware for PX4FMU autopilot and PX4IO servo / failsafe board
