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

Name		Name	Last commit message	Last commit date
Latest commit History 669 Commits
ALISASecurityExamples		ALISASecurityExamples
ARP4761		ARP4761
ContinuousSafetyRiskEvaluation/ContinuousSafetyRiskEvaluation		ContinuousSafetyRiskEvaluation/ContinuousSafetyRiskEvaluation
EMV2TR_Test_Files		EMV2TR_Test_Files
E_EnabledAircraft		E_EnabledAircraft
E_EnabledAircraft_Security		E_EnabledAircraft_Security
Face2AadlDemo		Face2AadlDemo
LargeExamplesforEMV2TR		LargeExamplesforEMV2TR
PSSAFlightControlEGI		PSSAFlightControlEGI
PropertyViewerExamples		PropertyViewerExamples
ResourceBudget		ResourceBudget
SafetyTutorial		SafetyTutorial
SecurityModels		SecurityModels
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
esweek2016-tutorial		esweek2016-tutorial
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

No releases published

No packages published