GitHub - jlweand/examples: Examples and case-study that use OSATE

Name		Name	Last commit message	Last commit date
ARP4761		ARP4761
EMV2TR_Test_Files		EMV2TR_Test_Files
LargeExamplesforEMV2TR		LargeExamplesforEMV2TR
PSSAFlightControlEGI		PSSAFlightControlEGI
ResourceBudget		ResourceBudget
SafetyTutorial		SafetyTutorial
StepperMotor		StepperMotor
Train		Train
agree-ulb		agree-ulb
bugtrack-core		bugtrack-core
bugtrack-emv2		bugtrack-emv2
bugtrack-plugins		bugtrack-plugins
code-patterns		code-patterns
codegen		codegen
core-examples		core-examples
display-manager		display-manager
embedded-control		embedded-control
error-model		error-model
importers		importers
iot-example		iot-example
isolette		isolette
latency-case-study		latency-case-study
plugins/org.osate.pluginsample		plugins/org.osate.pluginsample
robot		robot
speed-regulation		speed-regulation
README		README

Repository files navigation

This is the examples project, each directory containing
one case-study/examples that use OSATE2 or other AADL tool.

Examples and case-study that use OSATE

0 stars

0 watching