• 1
• 0
• 0

xiaominwei/examples

Examples and case-study that use OSATE

• 1
• 0
• 1

xiaominwei/ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

• 1
• 0
• 0

xiaominwei/ocarina-build

Build script (and more) for Ocarina

• 1
• 0
• 0

xiaominwei/osate-install

• 1
• 0
• 0

xiaominwei/codegen-demo

• 1
• 0
• 0

xiaominwei/PX4NuttX

Standard NuttX (http://nuttx.org) with current PX4 WIP patches

• 1
• 0
• 0

xiaominwei/diffuzz

• 1
• 0
• 0

xiaominwei/ardupilot

ArduPlane, ArduCopter, ArduRover source

• 1
• 0
• 0

xiaominwei/PX4Firmware

PX4 Firmware for PX4FMU autopilot and PX4IO servo / failsafe board

• 1
• 0
• 0

xiaominwei/osate2-ocarina

Ocarina Plugin for OSATE2

• 1
• 0
• 0

xiaominwei/kelinci

AFL-based fuzzing for Java

• 1
• 0
• 0

xiaominwei/osate2-core

Open Source AADL2 Tool Environment

• 1
• 0
• 0

xiaominwei/FuzzingPaper

Recent Fuzzing Paper

• 1
• 0
• 0

xiaominwei/emfta

EMF-based Fault-Tree Analysis Tool