Commits (7)
No preview for this file type
No preview for this file type
package provide TasteCVConfig 0.1
lappend auto_path .
namespace eval TasteCVConfig {
variable config { \
"logDirectory" "tmp/TASTE" \
"font" "Helvetica" \
"fontSize" "9" \
"sbprologMem" "2" \
"marzhinCmdPort" "" \
"marzhinDataPort" "" \
"marzhinAcknowledgePort" "" \
"marzhinOptimization" "true" \
"rtPropertiesPackage" "Process_Package" \
"aadlReservedWordsColor" "blue" \
"aadlCommentsColor" "maroon" \
}
variable accelerators { \
"openAccelerator" "Control-o" \
"saveAccelerator" "Control-s" \
"quitAccelerator" "Control-q" \
}
variable gantt { \
"THREAD_STATE_NONE_COLOR" "white" \
"THREAD_STATE_SUSPENDED_COLOR" "black" \
"THREAD_STATE_READY_COLOR" "orange" \
"THREAD_STATE_RUNNING_COLOR" "black" \
"THREAD_STATE_AWAITING_RESOURCE_COLOR" "pink" \
"THREAD_STATE_AWAITING_RETURN_COLOR" "purple" \
"THREAD_STATE_DISPATCH_JITTER_COLOR" "orange" \
"THREAD_STATE_NONE_LINEWIDTH" "10" \
"THREAD_STATE_SUSPENDED_LINEWIDTH" "1" \
"THREAD_STATE_READY_LINEWIDTH" "10" \
"THREAD_STATE_RUNNING_LINEWIDTH" "10" \
"THREAD_STATE_AWAITING_RESOURCE_LINEWIDTH" "10" \
"THREAD_STATE_AWAITING_RETURN_LINEWIDTH" "10" \
"THREAD_STATE_DISPATCH_JITTER_LINEWIDTH" "4" \
"THREAD_GET_RESOURCE_COLOR" "red" \
"THREAD_RELEASE_RESOURCE_COLOR" "green" \
"THREAD_SEND_EVENT_COLOR" "grey" \
"THREAD_CALL_COLOR" "grey" \
"THREAD_ERROR_COLOR" "red" \
"THREAD_ERROR_LINEWIDTH" "14" \
"DATA_OCCUPIED_COLOR" "grey" \
"DATA_AVAILABLE_COLOR" "grey" \
"DATA_OCCUPIED_LINEWIDTH" "10" \
"DATA_AVAILABLE_LINEWIDTH" "1" \
"PROCESSOR_OCCUPIED_COLOR" "grey" \
"PROCESSOR_AVAILABLE_COLOR" "grey" \
"PROCESSOR_OCCUPIED_LINEWIDTH" "10" \
"PROCESSOR_AVAILABLE_LINEWIDTH" "1" \
"PARTITION_STATE_SUSPENDED_COLOR" "grey" \
"PARTITION_STATE_RUNNING_COLOR" "green" \
"PARTITION_STATE_SUSPENDED_LINEWIDTH" "1" \
"PARTITION_STATE_RUNNING_LINEWIDTH" "10" \
"BUS_OCCUPIED_COLOR" "grey" \
"BUS_AVAILABLE_COLOR" "grey" \
"BUS_OCCUPIED_LINEWIDTH" "10" \
"BUS_AVAILABLE_LINEWIDTH" "1" \
"CHANNEL_STATE_SUSPENDED_COLOR" "grey" \
"CHANNEL_STATE_RUNNING_COLOR" "green" \
"CHANNEL_STATE_SUSPENDED_LINEWIDTH" "1" \
"CHANNEL_STATE_RUNNING_LINEWIDTH" "10" \
"FEATURE_LINEWIDTH" "1" \
"FEATURE_COLOR" "black" \
"PERIOD_COLOR" "green" \
"DEADLINE_COLOR" "grey" \
"TIMELINE_COLOR" "grey" \
"tickMax" "100" \
"stMaxSchedPeriod" "200" \
"maxSimuPeriod" "200" \
"manualMireColor" "black" \
"lastTickMireColor" "grey" \
"zoomFactors" "0.1 0.5 1 2 4" \
"speedFactors" "1 2 5 10" \
"dashDef" "2 2" \
"xUnitSizeInPixel" "5" \
"yUnitSizeInPixel" "20" \
"memoryWarningLimit" "256" \
"memoryIncrease" "64" \
}
}
\ No newline at end of file
......@@ -22,9 +22,11 @@ namespace eval TasteConfig {
"sourceCodeDirectory" {work} \
"aadlProjectFile" {./Workspace/common/aadl_project.aadl} \
"TSPSupport" "true" \
"asnConfigurationFile" "pus-st220.asn" \
"asnConfigurationType" "Pus-220-StateId" \
"disabledCV" "true" \
"asnConfigurationFile" "pus-st220.asn" \
"asnConfigurationType" "Pus-220-StateId" \
"disabledDaV" "false" \
"disabledIV" "false" \
"disabledCV" "false" \
}
variable accelerators { \
......
::AADLInspectorTools::addTool "Schedulability" "Schedulability"
::AADLInspectorTools::addService "Schedulability" "cheddarST" "$HMI::cheddar16x16Icon" "Cheddar Schedule Table"
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::getFactsFromAADL \"@aadlFile\" \"@aadlFactsFile\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::generateXMLFromFacts \"@aadlFactsFile\" \"$::commonPluginPath/schedulability.sbp\" \"$::tmpDir/aadlinspector.xmlv3\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::cheddarST \"$::tmpDir/aadlinspector.xmlv3\" \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::displayCheddarSTInTab \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::returnFile \"@res\" " "false" "true"
::AADLInspectorTools::addService "Schedulability" "cheddarTheoTest" "$HMI::cheddarTheoTest16x16Icon" "Theoritical schedulability test"
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::getFactsFromAADL \"@aadlFile\" \"@aadlFactsFile\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::generateXMLFromFacts \"@aadlFactsFile\" \"$::commonPluginPath/schedulability.sbp\" \"$::tmpDir/aadlinspector.xmlv3\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::cheddarTheoriticalTest \"$::tmpDir/aadlinspector.xmlv3\" \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::displayCheddarInTab \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::returnFile \"@res\" " "false" "true"
::AADLInspectorTools::addService "Schedulability" "cheddarSimTest" "$HMI::cheddarSimTest16x16Icon" "Simulation schedulability test"
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::getFactsFromAADL \"@aadlFile\" \"@aadlFactsFile\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::generateXMLFromFacts \"@aadlFactsFile\" \"$::commonPluginPath/schedulability.sbp\" \"$::tmpDir/aadlinspector.xmlv3\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::cheddarSimulationTest \"$::tmpDir/aadlinspector.xmlv3\" \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::displayCheddarInTab \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::returnFile \"@res\" " "false" "true"
::AADLInspectorTools::addTab "Schedulability"
No preview for this file type
This diff is collapsed.
No preview for this file type
package provide TasteCVConfig 0.1
lappend auto_path .
namespace eval TasteCVConfig {
variable config { \
"logDirectory" "tmp/TASTE" \
"font" "Helvetica" \
"fontSize" "9" \
"sbprologMem" "2" \
"marzhinCmdPort" "" \
"marzhinDataPort" "" \
"marzhinAcknowledgePort" "" \
"marzhinOptimization" "true" \
"rtPropertiesPackage" "Process_Package" \
"aadlReservedWordsColor" "blue" \
"aadlCommentsColor" "maroon" \
}
variable accelerators { \
"openAccelerator" "Control-o" \
"saveAccelerator" "Control-s" \
"quitAccelerator" "Control-q" \
}
variable gantt { \
"THREAD_STATE_NONE_COLOR" "white" \
"THREAD_STATE_SUSPENDED_COLOR" "black" \
"THREAD_STATE_READY_COLOR" "orange" \
"THREAD_STATE_RUNNING_COLOR" "black" \
"THREAD_STATE_AWAITING_RESOURCE_COLOR" "pink" \
"THREAD_STATE_AWAITING_RETURN_COLOR" "purple" \
"THREAD_STATE_DISPATCH_JITTER_COLOR" "orange" \
"THREAD_STATE_NONE_LINEWIDTH" "10" \
"THREAD_STATE_SUSPENDED_LINEWIDTH" "1" \
"THREAD_STATE_READY_LINEWIDTH" "10" \
"THREAD_STATE_RUNNING_LINEWIDTH" "10" \
"THREAD_STATE_AWAITING_RESOURCE_LINEWIDTH" "10" \
"THREAD_STATE_AWAITING_RETURN_LINEWIDTH" "10" \
"THREAD_STATE_DISPATCH_JITTER_LINEWIDTH" "4" \
"THREAD_GET_RESOURCE_COLOR" "red" \
"THREAD_RELEASE_RESOURCE_COLOR" "green" \
"THREAD_SEND_EVENT_COLOR" "grey" \
"THREAD_CALL_COLOR" "grey" \
"THREAD_ERROR_COLOR" "red" \
"THREAD_ERROR_LINEWIDTH" "14" \
"DATA_OCCUPIED_COLOR" "grey" \
"DATA_AVAILABLE_COLOR" "grey" \
"DATA_OCCUPIED_LINEWIDTH" "10" \
"DATA_AVAILABLE_LINEWIDTH" "1" \
"PROCESSOR_OCCUPIED_COLOR" "grey" \
"PROCESSOR_AVAILABLE_COLOR" "grey" \
"PROCESSOR_OCCUPIED_LINEWIDTH" "10" \
"PROCESSOR_AVAILABLE_LINEWIDTH" "1" \
"PARTITION_STATE_SUSPENDED_COLOR" "grey" \
"PARTITION_STATE_RUNNING_COLOR" "green" \
"PARTITION_STATE_SUSPENDED_LINEWIDTH" "1" \
"PARTITION_STATE_RUNNING_LINEWIDTH" "10" \
"BUS_OCCUPIED_COLOR" "grey" \
"BUS_AVAILABLE_COLOR" "grey" \
"BUS_OCCUPIED_LINEWIDTH" "10" \
"BUS_AVAILABLE_LINEWIDTH" "1" \
"CHANNEL_STATE_SUSPENDED_COLOR" "grey" \
"CHANNEL_STATE_RUNNING_COLOR" "green" \
"CHANNEL_STATE_SUSPENDED_LINEWIDTH" "1" \
"CHANNEL_STATE_RUNNING_LINEWIDTH" "10" \
"FEATURE_LINEWIDTH" "1" \
"FEATURE_COLOR" "black" \
"PERIOD_COLOR" "green" \
"DEADLINE_COLOR" "grey" \
"TIMELINE_COLOR" "grey" \
"tickMax" "100" \
"stMaxSchedPeriod" "200" \
"maxSimuPeriod" "200" \
"manualMireColor" "black" \
"lastTickMireColor" "grey" \
"zoomFactors" "0.1 0.5 1 2 4" \
"speedFactors" "1 2 5 10" \
"dashDef" "2 2" \
"xUnitSizeInPixel" "5" \
"yUnitSizeInPixel" "20" \
"memoryWarningLimit" "256" \
"memoryIncrease" "64" \
}
}
\ No newline at end of file
......@@ -22,9 +22,11 @@ namespace eval TasteConfig {
"sourceCodeDirectory" {work} \
"aadlProjectFile" {./Workspace/common/aadl_project.aadl} \
"TSPSupport" "true" \
"asnConfigurationFile" "pus-st220.asn" \
"asnConfigurationType" "Pus-220-StateId" \
"disabledCV" "true" \
"asnConfigurationFile" "pus-st220.asn" \
"asnConfigurationType" "Pus-220-StateId" \
"disabledDaV" "false" \
"disabledIV" "false" \
"disabledCV" "false" \
}
variable accelerators { \
......
::AADLInspectorTools::addTool "Schedulability" "Schedulability"
::AADLInspectorTools::addService "Schedulability" "cheddarST" "$HMI::cheddar16x16Icon" "Cheddar Schedule Table"
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::getFactsFromAADL \"@aadlFile\" \"@aadlFactsFile\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::generateXMLFromFacts \"@aadlFactsFile\" \"$::commonPluginPath/schedulability.sbp\" \"$::tmpDir/aadlinspector.xmlv3\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::cheddarST \"$::tmpDir/aadlinspector.xmlv3\" \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::displayCheddarSTInTab \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarST" "::AADLInspectorTools::returnFile \"@res\" " "false" "true"
::AADLInspectorTools::addService "Schedulability" "cheddarTheoTest" "$HMI::cheddarTheoTest16x16Icon" "Theoritical schedulability test"
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::getFactsFromAADL \"@aadlFile\" \"@aadlFactsFile\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::generateXMLFromFacts \"@aadlFactsFile\" \"$::commonPluginPath/schedulability.sbp\" \"$::tmpDir/aadlinspector.xmlv3\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::cheddarTheoriticalTest \"$::tmpDir/aadlinspector.xmlv3\" \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::displayCheddarInTab \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarTheoTest" "::AADLInspectorTools::returnFile \"@res\" " "false" "true"
::AADLInspectorTools::addService "Schedulability" "cheddarSimTest" "$HMI::cheddarSimTest16x16Icon" "Simulation schedulability test"
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::getFactsFromAADL \"@aadlFile\" \"@aadlFactsFile\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::generateXMLFromFacts \"@aadlFactsFile\" \"$::commonPluginPath/schedulability.sbp\" \"$::tmpDir/aadlinspector.xmlv3\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::cheddarSimulationTest \"$::tmpDir/aadlinspector.xmlv3\" \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::displayCheddarInTab \"@res\" "
::AADLInspectorTools::addCommand "Schedulability" "cheddarSimTest" "::AADLInspectorTools::returnFile \"@res\" " "false" "true"
::AADLInspectorTools::addTab "Schedulability"