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

This repository is no longer maintained. Some examples may not work in the latest version of OSATE

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

Name		Name	Last commit message	Last commit date
Latest commit History 672 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.md		README.md

Navigation Menu