Changed hardware implementation settings (3175ef26) · Commits · Stephen Scott / DO178-Compliant Helicopter Simulink System

src/verification/unit/AHRS_voter/AHRS_voter_New.slx

+347 B (46.7 KiB)

File changed.

No diff preview for this file type.

src/verification/unit/AHRS_voter_Verify.mdl

+132 −138

Original line number	Diff line number	Diff line
		@@ -27,7 +27,7 @@ Model {
		}
		NumRootOutports 0
		ParameterArgumentNames ""
		ComputedModelVersion "1.3"
		ComputedModelVersion "1.5"
		NumModelReferences 2
		ModelReference {
		ModelRefBlockPath "AHRS_voter_Verify/Verification Subsystem/Original Model\|AHRS_voter_Original"
		@@ -189,9 +189,9 @@ Model {
		ModifiedByFormat "%<Auto>"
		LastModifiedBy "super"
		ModifiedDateFormat "%<Auto>"
		LastModifiedDate "Thu Jul 16 12:59:07 2020"
		RTWModifiedTimeStamp 516805146
		ModelVersionFormat "1.%<AutoIncrement:3>"
		LastModifiedDate "Thu Jul 16 13:19:58 2020"
		RTWModifiedTimeStamp 516806396
		ModelVersionFormat "1.%<AutoIncrement:5>"
		SampleTimeColors off
		SampleTimeAnnotations off
		LibraryLinkDisplay "disabled"
		@@ -252,7 +252,7 @@ Model {
		$ObjectID 9
		$ClassName "Simulink.SimulationData.ModelLoggingInfo"
		model_ "AHRS_voter_Verify"
		overrideMode_ [0U]
		overrideMode_ [0.0]
		Array {
		Type "Cell"
		Dimension 1
		@@ -389,26 +389,13 @@ Model {
		Simulink.OptimizationCC {
		$ObjectID 13
		Version "20.0.1"
		Array {
		Type "Cell"
		Dimension 9
		Cell "BooleansAsBitfields"
		Cell "PassReuseOutputArgsAs"
		Cell "PassReuseOutputArgsThreshold"
		Cell "ZeroExternalMemoryAtStartup"
		Cell "ZeroInternalMemoryAtStartup"
		Cell "OptimizeModelRefInitCode"
		Cell "NoFixptDivByZeroProtection"
		Cell "UseSpecifiedMinMax"
		Cell "EfficientTunableParamExpr"
		PropName "DisabledProps"
		}
		DisabledProps []
		Description ""
		Components []
		BlockReduction on
		BooleanDataType on
		ConditionallyExecuteInputs on
		DefaultParameterBehavior "Tunable"
		DefaultParameterBehavior "Inlined"
		UseDivisionForNetSlopeComputation "on"
		GainParamInheritBuiltInType off
		UseFloatMulNetSlope off
		@@ -417,7 +404,7 @@ Model {
		InlineInvariantSignals off
		OptimizeBlockIOStorage on
		BufferReuse on
		EnhancedBackFolding off
		EnhancedBackFolding on
		CachingGlobalReferences off
		GlobalBufferReuse on
		StrengthReduction off
		@@ -428,7 +415,7 @@ Model {
		BitwiseOrLogicalOp "Same as modeled"
		EnableMemcpy on
		MemcpyThreshold 64
		PassReuseOutputArgsAs "Structure reference"
		PassReuseOutputArgsAs "Individual arguments"
		PassReuseOutputArgsThreshold 12
		ExpressionDepthLimit 128
		LocalBlockOutputs on
		@@ -436,8 +423,8 @@ Model {
		StateBitsets off
		DataBitsets off
		ActiveStateOutputEnumStorageType "Native Integer"
		ZeroExternalMemoryAtStartup on
		ZeroInternalMemoryAtStartup on
		ZeroExternalMemoryAtStartup off
		ZeroInternalMemoryAtStartup off
		InitFltsAndDblsToZero off
		NoFixptDivByZeroProtection off
		EfficientFloat2IntCast off
		@@ -447,28 +434,23 @@ Model {
		BufferReusableBoundary on
		SimCompilerOptimization "off"
		AccelVerboseBuild off
		OptimizeBlockOrder "off"
		OptimizeBlockOrder "speed"
		OptimizeDataStoreBuffers on
		BusAssignmentInplaceUpdate on
		DifferentSizesBufferReuse off
		DifferentSizesBufferReuse on
		UseRowMajorAlgorithm off
		OptimizationLevel "level2"
		OptimizationPriority "Balanced"
		OptimizationCustomize on
		OptimizationCustomize off
		LabelGuidedReuse off
		MultiThreadedLoops off
		DenormalBehavior "GradualUnderflow"
		EfficientTunableParamExpr off
		EfficientTunableParamExpr on
		}
		Simulink.DebuggingCC {
		$ObjectID 14
		Version "20.0.1"
		Array {
		Type "Cell"
		Dimension 1
		Cell "UseOnlyExistingSharedCode"
		PropName "DisabledProps"
		}
		DisabledProps []
		Description ""
		Components []
		RTPrefix "error"
		@@ -512,7 +494,7 @@ Model {
		ParameterOverflowMsg "error"
		ParameterUnderflowMsg "none"
		ParameterPrecisionLossMsg "warning"
		ParameterTunabilityLossMsg "warning"
		ParameterTunabilityLossMsg "error"
		FixptConstUnderflowMsg "none"
		FixptConstOverflowMsg "none"
		FixptConstPrecisionLossMsg "none"
		@@ -679,7 +661,7 @@ Model {
		ModelFunctionsGlobalVisibility "on"
		CompileTimeRecursionLimit 50
		EnableRuntimeRecursion on
		MATLABDynamicMemAlloc on
		MATLABDynamicMemAlloc off
		MATLABDynamicMemAllocThreshold 65536
		CustomCodeFunctionArrayLayout []
		DefaultCustomCodeFunctionArrayLayout "NotSpecified"
		@@ -689,29 +671,9 @@ Model {
		$BackupClass "Simulink.RTWCC"
		$ObjectID 18
		Version "20.0.1"
		Array {
		Type "Cell"
		Dimension 16
		Cell "IncludeHyperlinkInReport"
		Cell "GenerateTraceInfo"
		Cell "GenerateTraceReport"
		Cell "GenerateTraceReportSl"
		Cell "GenerateTraceReportSf"
		Cell "GenerateTraceReportEml"
		Cell "PortableWordSizes"
		Cell "GenerateWebview"
		Cell "GenerateCodeMetricsReport"
		Cell "GenerateCodeReplacementReport"
		Cell "GenerateMissedCodeReplacementReport"
		Cell "GenerateErtSFunction"
		Cell "CreateSILPILBlock"
		Cell "CodeExecutionProfiling"
		Cell "CodeProfilingSaveOptions"
		Cell "CodeProfilingInstrumentation"
		PropName "DisabledProps"
		}
		Description ""
		SystemTargetFile "grt.tlc"
		DisabledProps []
		Description "Embedded Coder"
		SystemTargetFile "ert.tlc"
		HardwareBoard "None"
		ShowCustomHardwareApp off
		ShowEmbeddedHardwareApp off
		@@ -721,7 +683,7 @@ Model {
		GenerateMakefile on
		PackageGeneratedCodeAndArtifacts off
		PackageName ""
		TemplateMakefile "grt_default_tmf"
		TemplateMakefile "ert_default_tmf"
		PostCodeGenCommand ""
		GenerateReport off
		RTWVerbose on
		@@ -778,54 +740,22 @@ Model {
		Simulink.CodeAppCC {
		$ObjectID 19
		Version "20.0.1"
		Array {
		Type "Cell"
		Dimension 28
		Cell "IgnoreCustomStorageClasses"
		Cell "IgnoreTestpoints"
		Cell "BlockCommentType"
		Cell "InsertBlockDesc"
		Cell "InsertPolySpaceComments"
		Cell "SFDataObjDesc"
		Cell "MATLABFcnDesc"
		Cell "SimulinkDataObjDesc"
		Cell "DefineNamingRule"
		Cell "SignalNamingRule"
		Cell "ParamNamingRule"
		Cell "InternalIdentifier"
		Cell "InlinedPrmAccess"
		Cell "CustomSymbolStr"
		Cell "CustomSymbolStrGlobalVar"
		Cell "CustomSymbolStrType"
		Cell "CustomSymbolStrField"
		Cell "CustomSymbolStrFcn"
		Cell "CustomSymbolStrModelFcn"
		Cell "CustomSymbolStrFcnArg"
		Cell "CustomSymbolStrBlkIO"
		Cell "CustomSymbolStrTmpVar"
		Cell "CustomSymbolStrMacro"
		Cell "CustomSymbolStrUtil"
		Cell "CustomSymbolStrEmxType"
		Cell "CustomSymbolStrEmxFcn"
		Cell "CustomUserTokenString"
		Cell "ReqsInCode"
		PropName "DisabledProps"
		}
		DisabledProps []
		Description ""
		Components []
		Comment ""
		ForceParamTrailComments off
		ForceParamTrailComments on
		GenerateComments on
		CommentStyle "Auto"
		IgnoreCustomStorageClasses on
		IgnoreCustomStorageClasses off
		IgnoreTestpoints off
		MaxIdLength 31
		PreserveName off
		PreserveNameWithParent off
		ShowEliminatedStatement off
		OperatorAnnotations off
		SimulinkDataObjDesc off
		SFDataObjDesc off
		ShowEliminatedStatement on
		OperatorAnnotations on
		SimulinkDataObjDesc on
		SFDataObjDesc on
		MATLABFcnDesc off
		MangleLength 1
		SharedChecksumLength 8
		@@ -849,7 +779,7 @@ Model {
		ParamNamingFcn ""
		SignalNamingRule "None"
		SignalNamingFcn ""
		InsertBlockDesc off
		InsertBlockDesc on
		InsertPolySpaceComments off
		SimulinkBlockComments on
		BlockCommentType "BlockPathComment"
		@@ -864,31 +794,11 @@ Model {
		ReservedNameArray []
		EnumMemberNameClash "error"
		}
		Simulink.GRTTargetCC {
		Simulink.ERTTargetCC {
		$BackupClass "Simulink.TargetCC"
		$ObjectID 20
		Version "20.0.1"
		Array {
		Type "Cell"
		Dimension 16
		Cell "IncludeMdlTerminateFcn"
		Cell "SuppressErrorStatus"
		Cell "ERTCustomFileBanners"
		Cell "GenerateSampleERTMain"
		Cell "ExistingSharedCode"
		Cell "GenerateTestInterfaces"
		Cell "ModelStepFunctionPrototypeControlCompliant"
		Cell "GenerateAllocFcn"
		Cell "PurelyIntegerCode"
		Cell "SupportComplex"
		Cell "SupportAbsoluteTime"
		Cell "SupportContinuousTime"
		Cell "SupportNonInlinedSFcns"
		Cell "RemoveDisableFunc"
		Cell "RemoveResetFunc"
		Cell "PreserveStateflowLocalDataDimensions"
		PropName "DisabledProps"
		}
		DisabledProps []
		Description ""
		Components []
		TargetFcnLib "ansi_tfl_table_tmw.mat"
		@@ -899,12 +809,12 @@ Model {
		CodeReplacementLibrary "None"
		UtilityFuncGeneration "Auto"
		MultiwordTypeDef "System defined"
		MultiwordLength 2048
		MultiwordLength 256
		DynamicStringBufferSize 256
		GenerateFullHeader on
		InferredTypesCompatibility off
		ExistingSharedCode ""
		GenerateSampleERTMain off
		GenerateSampleERTMain on
		GenerateTestInterfaces off
		ModelReferenceCompliant on
		ParMdlRefBuildCompliant on
		@@ -916,24 +826,24 @@ Model {
		GroupInternalDataByFunction off
		SuppressErrorStatus off
		IncludeFileDelimiter "Auto"
		ERTCustomFileBanners off
		ERTCustomFileBanners on
		SupportAbsoluteTime on
		LogVarNameModifier "rt_"
		MatFileLogging on
		MatFileLogging off
		MultiInstanceERTCode off
		CodeInterfacePackaging "Nonreusable function"
		PurelyIntegerCode off
		SupportNonFinite on
		SupportComplex on
		SupportContinuousTime on
		SupportNonInlinedSFcns on
		SupportContinuousTime off
		SupportNonInlinedSFcns off
		RemoveDisableFunc off
		RemoveResetFunc off
		RemoveResetFunc on
		SupportVariableSizeSignals off
		ParenthesesLevel "Nominal"
		CastingMode "Nominal"
		MATLABClassNameForMDSCustomization "Simulink.SoftwareTarget.GRTCustomization"
		ModelStepFunctionPrototypeControlCompliant off
		MATLABClassNameForMDSCustomization "Simulink.SoftwareTarget.ERTCustomization"
		ModelStepFunctionPrototypeControlCompliant on
		CPPClassGenCompliant on
		AutosarCompliant off
		MDXCompliant off
		@@ -951,21 +861,105 @@ Model {
		ERTHeaderFileRootName "$R$E"
		ERTSourceFileRootName "$R$E"
		ERTDataFileRootName "$R_data"
		UseMalloc off
		GenerateASAP2 off
		DSAsUniqueAccess off
		ExtMode off
		ExtModeTransport 0
		ExtModeStaticAlloc off
		ExtModeTesting off
		ExtModeStaticAllocSize 1000000
		ExtModeTransport 0
		ExtModeTesting off
		ExtModeMexFile "ext_comm"
		ExtModeMexArgs ""
		ExtModeIntrfLevel "Level1"
		InlinedParameterPlacement "NonHierarchical"
		TargetOS "BareBoardExample"
		MultiInstanceErrorCode "Error"
		RootIOFormat "Individual arguments"
		RTWCAPISignals off
		RTWCAPIParams off
		RTWCAPIStates off
		RTWCAPIRootIO off
		GenerateASAP2 off
		MultiInstanceErrorCode "Error"
		ERTSrcFileBannerTemplate "ert_code_template.cgt"
		ERTHdrFileBannerTemplate "ert_code_template.cgt"
		ERTDataSrcFileTemplate "ert_code_template.cgt"
		ERTDataHdrFileTemplate "ert_code_template.cgt"
		ERTCustomFileTemplate "example_file_process.tlc"
		EnableDataOwnership off
		SignalDisplayLevel 10
		ParamTuneLevel 10
		GlobalDataDefinition "Auto"
		DataDefinitionFile "global.c"
		GlobalDataReference "Auto"
		ERTFilePackagingFormat "Modular"
		RateTransitionBlockCode "Inline"
		DataReferenceFile "global.h"
		PreserveExpressionOrder off
		PreserveIfCondition off
		ConvertIfToSwitch on
		PreserveExternInFcnDecls on
		PreserveStaticInFcnDecls on
		SuppressUnreachableDefaultCases on
		EnableSignedLeftShifts on
		EnableSignedRightShifts on
		IndentStyle "K&R"
		IndentSize "2"
		NewlineStyle "Default"
		MaxLineWidth 80
		EnableUserReplacementTypes off
		Array {
		Type "Struct"
		Dimension 1
		MATStruct {
		double ""
		single ""
		int32 ""
		int16 ""
		int8 ""
		uint32 ""
		uint16 ""
		uint8 ""
		boolean ""
		int ""
		uint ""
		char ""
		uint64 ""
		int64 ""
		}
		PropName "ReplacementTypes"
		}
		MaxIdInt64 "MAX_int64_T"
		MinIdInt64 "MIN_int64_T"
		MaxIdUint64 "MAX_uint64_T"
		MaxIdInt32 "MAX_int32_T"
		MinIdInt32 "MIN_int32_T"
		MaxIdUint32 "MAX_uint32_T"
		MaxIdInt16 "MAX_int16_T"
		MinIdInt16 "MIN_int16_T"
		MaxIdUint16 "MAX_uint16_T"
		MaxIdInt8 "MAX_int8_T"
		MinIdInt8 "MIN_int8_T"
		MaxIdUint8 "MAX_uint8_T"
		BooleanTrueId "true"
		BooleanFalseId "false"
		TypeLimitIdReplacementHeaderFile ""
		MemSecPackage "--- None ---"
		MemSecDataConstants "Default"
		MemSecDataIO "Default"
		MemSecDataInternal "Default"
		MemSecDataParameters "Default"
		MemSecFuncInitTerm "Default"
		MemSecFuncExecute "Default"
		MemSecFuncSharedUtil "Default"
		GroupConstants "Default"
		GroupRootInputs "Default"
		GroupRootOutputs "Default"
		GroupInternal "Default"
		GroupParameters "Default"
		GroupDataTransfer "Default"
		GroupSharedLocalDataStores "Default"
		GroupInstanceSpecificParameters "Default"
		GroupModelData "Default"
		ArrayContainerType "C-style array"
		}
		PropName "Components"
		}
		@@ -1033,7 +1027,7 @@ Model {
		Description "Design Verifier Custom Configuration Component"
		Components []
		Name "Design Verifier"
		DVMode "TestGeneration"
		DVMode "PropertyProving"
		DVMaxProcessTime 300
		DVDisplayUnsatisfiableObjectives off
		DVAutomaticStubbing on
		@@ -1125,7 +1119,7 @@ Model {
		PropName "Components"
		}
		Name "Configuration"
		CurrentDlgPage "Math and Data Types"
		CurrentDlgPage "Hardware Implementation"
		ConfigPrmDlgPosition [ 71, 71, 971, 781 ]
		ExtraOptions ""
		}

src/verification/unit/ActuatorLoop/ActuatorLoop_New.slx

+264 B (38.2 KiB)

File changed.

No diff preview for this file type.

View original file

View changed file

src/verification/unit/ActuatorLoop_Verify.mdl

+136 −141

File changed.

Preview size limit exceeded, changes collapsed.

src/verification/unit/Heli_inner_loop/Heli_inner_loop_New.slx

+411 B (46.9 KiB)

File changed.

No diff preview for this file type.

View original file

View changed file