Skip to content

R
RESSAC_Use_Case
Commit e96ebf48 authored by AP Porte's avatar AP Porte Committed by GitHub
Browse files
Options

Add files via upload 

SCADE Model for function F_MM
 - completed for viability checks before take off
not completed for flight aspects
parent c611f718
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 1471 additions and 0 deletions
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/F_MM.err 0 → 100644
View file @ e96ebf48
*** Post-namespace Error (ERR_516): Undefined variable
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 377, character 0
at path f_mm::manage_mission/LL_missionCancelled/
The local variable LL_missionCancelled has no definition
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 291, character 0
at path f_mm::manage_mission/go/
The input variable go is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 295, character 0
at path f_mm::manage_mission/mission_abort/
The input variable mission_abort is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 299, character 0
at path f_mm::manage_mission/pushbutton_on/
The input variable pushbutton_on is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 323, character 0
at path f_mm::manage_mission/estimated_total_mass/
The input variable estimated_total_mass is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 327, character 0
at path f_mm::manage_mission/current_range/
The input variable current_range is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 331, character 0
at path f_mm::manage_mission/current_speed/
The input variable current_speed is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 335, character 0
at path f_mm::manage_mission/current_altitude/
The input variable current_altitude is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 339, character 0
at path f_mm::manage_mission/flight_mode/
The input variable flight_mode is never used
*** Post-namespace Error (ERR_516): Undefined variable
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 352, character 0
at path f_mm::manage_mission/mission_complete/
The output variable mission_complete has no definition
*** Post-namespace Error (ERR_516): Undefined variable
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 356, character 0
at path f_mm::manage_mission/mission_aborted/
The output variable mission_aborted has no definition
*** Post-namespace Error (ERR_516): Undefined variable
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 360, character 0
at path f_mm::manage_mission/emergency_landing/
The output variable emergency_landing has no definition
*** Post-namespace Error (ERR_516): Undefined variable
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 368, character 0
at path f_mm::manage_mission/start_landing/
The output variable start_landing has no definition
*** Post-namespace Error (ERR_516): Undefined variable
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\manage_mission.scade, line 372, character 0
at path f_mm::manage_mission/operating_point/
The output variable operating_point has no definition
*** Completion Error (SE_EXILPA): Illegal Empty Parameter
at path _L1, _L2 = (viab_mm::na<<_null, _null, _null, _null>>)(_null, _null, _null, _null, _null, _null, _null, _null, _null, _null, _null)
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\compute_flight_viability.scade, line 113, character 0
at path flight_mm::compute_flight_viability/LL_viability_array/
The local variable LL_viability_array is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\compute_flight_viability.scade, line 95, character 0
at path flight_mm::compute_flight_viability/nav_parameters/
The input variable nav_parameters is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\compute_flight_viability.scade, line 103, character 0
at path flight_mm::compute_flight_viability/payload_mass/
The input variable payload_mass is never used
*** Post-namespace Warning (WAR_508): Unused flow
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\compute_flight_viability.scade, line 107, character 0
at path flight_mm::compute_flight_viability/energy_level/
The input variable energy_level is never used
*** Type Error (ERR_100): Type mismatch
at file C:\Users\ANNEPE~1.POR\AppData\Local\Temp\ScadeChecker\8528\compute_flight_viability.scade, line 132, character 12
at path flight_mm::compute_flight_viability/navigation_mode:then:LL_viability_array=
This expression has type {altitudes:float32^4, distances:float32^4,
masses:float32^4, speeds:float32^4, energies:float32^4^4^4^4}
but should have type bool
(output flow mismatch)
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/F_MM.etp 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/F_MM.htm 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/FallingEdge.xscade 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="UTF-8"?>
<Operator xmlns="http://www.esterel-technologies.com/ns/scade/6" xmlns:ed="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5" xmlns:kcg="http://www.esterel-technologies.com/ns/scade/pragmas/codegen/3" kind="node" name="FallingEdge">
<inputs>
<Variable name="FE_Input">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/29e4/6F08/E3C/59477512719f"/>
</pragmas>
</Variable>
</inputs>
<outputs>
<Variable name="FE_Output">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/29e3/6F08/E3C/594775121ed0"/>
</pragmas>
</Variable>
</outputs>
<locals>
<Variable name="_L1">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/29de/6F08/E3C/5947751256c9"/>
</pragmas>
</Variable>
<Variable name="_L3">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/29df/6F08/E3C/594775126ea2"/>
</pragmas>
</Variable>
<Variable name="_L4">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/29e0/6F08/E3C/5947751292c"/>
</pragmas>
</Variable>
<Variable name="_L5">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/29e1/6F08/E3C/59477512417b"/>
</pragmas>
</Variable>
<Variable name="_L6">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/29e2/6F08/E3C/594775123633"/>
</pragmas>
</Variable>
</locals>
<data>
<!-- _L1 = FE_Input; -->
<Equation>
<lefts>
<VariableRef name="_L1"/>
</lefts>
<right>
<IdExpression>
<path>
<ConstVarRef name="FE_Input"/>
</path>
</IdExpression>
</right>
<pragmas>
<ed:Equation oid="!ed/29d7/6F08/E3C/594775123f0a"/>
</pragmas>
</Equation>
<!-- FE_Output = _L6; -->
<Equation>
<lefts>
<VariableRef name="FE_Output"/>
</lefts>
<right>
<IdExpression>
<path>
<ConstVarRef name="_L6"/>
</path>
</IdExpression>
</right>
<pragmas>
<ed:Equation oid="!ed/29d8/6F08/E3C/5947751264d1"/>
</pragmas>
</Equation>
<!-- _L3 = _L4 and _L5; -->
<Equation>
<lefts>
<VariableRef name="_L3"/>
</lefts>
<right>
<!-- _L4 and _L5 -->
<NAryOp name="1" operator="and">
<operands>
<IdExpression>
<path>
<ConstVarRef name="_L4"/>
</path>
</IdExpression>
<IdExpression>
<path>
<ConstVarRef name="_L5"/>
</path>
</IdExpression>
</operands>
</NAryOp>
</right>
<pragmas>
<ed:Equation oid="!ed/29d9/6F08/E3C/594775122d7d"/>
</pragmas>
</Equation>
<!-- _L4 = fby(_L1; 1; false); -->
<Equation>
<lefts>
<VariableRef name="_L4"/>
</lefts>
<right>
<!-- fby(_L1; 1; false) -->
<FbyOp name="1">
<flows>
<IdExpression>
<path>
<ConstVarRef name="_L1"/>
</path>
</IdExpression>
</flows>
<delay>
<ConstValue value="1"/>
</delay>
<values>
<ConstValue value="false"/>
</values>
</FbyOp>
</right>
<pragmas>
<ed:Equation oid="!ed/29da/6F08/E3C/5947751244e5"/>
</pragmas>
</Equation>
<!-- _L5 = not _L1; -->
<Equation>
<lefts>
<VariableRef name="_L5"/>
</lefts>
<right>
<!-- not _L1 -->
<UnaryOp name="1" operator="not">
<operand>
<IdExpression>
<path>
<ConstVarRef name="_L1"/>
</path>
</IdExpression>
</operand>
</UnaryOp>
</right>
<pragmas>
<ed:Equation oid="!ed/29db/6F08/E3C/59477512c17"/>
</pragmas>
</Equation>
<!-- _L6 = (false) -> (_L3); -->
<Equation>
<lefts>
<VariableRef name="_L6"/>
</lefts>
<right>
<!-- (false) -> (_L3) -->
<InitOp name="1">
<value>
<ListExpression>
<items>
<ConstValue value="false"/>
</items>
</ListExpression>
</value>
<flow>
<ListExpression>
<items>
<IdExpression>
<path>
<ConstVarRef name="_L3"/>
</path>
</IdExpression>
</items>
</ListExpression>
</flow>
</InitOp>
</right>
<pragmas>
<ed:Equation oid="!ed/29dc/6F08/E3C/594775122933"/>
</pragmas>
</Equation>
</data>
<pragmas>
<ed:Operator oid="!ed/29d6/6F08/E3C/594775124763" symbolFile="FallingEdge" xmlns="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5">
<comment>Detects a falling edge (true to false transition).</comment>
<comment>The output is true during the transition clock cycle. The output is initialized to false. </comment>
<diagrams>
<NetDiagram name="diagram_FallingEdge" landscape="false" format="A4 (210 297)" oid="!ed/29dd/6F08/E3C/5947751268f9">
<presentationElements>
<EquationGE presentable="!ed/29d7/6F08/E3C/594775123f0a">
<position>
<Point x="1891" y="2196"/>
</position>
<size>
<Size width="251" height="503"/>
</size>
</EquationGE>
<EquationGE presentable="!ed/29d8/6F08/E3C/5947751264d1">
<position>
<Point x="14182" y="3874"/>
</position>
<size>
<Size width="326" height="503"/>
</size>
</EquationGE>
<EquationGE presentable="!ed/29d9/6F08/E3C/594775122d7d">
<position>
<Point x="8935" y="3776"/>
</position>
<size>
<Size width="1021" height="677"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/29da/6F08/E3C/5947751244e5" dstEquation="!ed/29d9/6F08/E3C/594775122d7d">
<positions>
<Point x="6011" y="2455"/>
<Point x="7726" y="2455"/>
<Point x="7726" y="4001"/>
<Point x="8932" y="4001"/>
</positions>
</Edge>
<Edge leftVarIndex="1" rightExprIndex="2" srcEquation="!ed/29db/6F08/E3C/59477512c17" dstEquation="!ed/29d9/6F08/E3C/594775122d7d">
<positions>
<Point x="6244" y="4233"/>
<Point x="7853" y="4233"/>
<Point x="7853" y="4233"/>
<Point x="8932" y="4233"/>
</positions>
</Edge>
<EquationGE presentable="!ed/29da/6F08/E3C/5947751244e5">
<position>
<Point x="4995" y="1947"/>
</position>
<size>
<Size width="1016" height="1016"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/29d7/6F08/E3C/594775123f0a" dstEquation="!ed/29da/6F08/E3C/5947751244e5">
<positions>
<Point x="2138" y="2455"/>
<Point x="2942" y="2455"/>
<Point x="2942" y="2455"/>
<Point x="4995" y="2455"/>
</positions>
</Edge>
<EquationGE presentable="!ed/29db/6F08/E3C/59477512c17">
<position>
<Point x="5228" y="3895"/>
</position>
<size>
<Size width="1016" height="660"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/29d7/6F08/E3C/594775123f0a" dstEquation="!ed/29db/6F08/E3C/59477512c17">
<positions>
<Point x="2138" y="2455"/>
<Point x="3450" y="2455"/>
<Point x="3450" y="4233"/>
<Point x="5228" y="4233"/>
</positions>
</Edge>
<EquationGE presentable="!ed/29dc/6F08/E3C/594775122933">
<position>
<Point x="11705" y="3598"/>
</position>
<size>
<Size width="1016" height="1016"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/29d9/6F08/E3C/594775122d7d" dstEquation="!ed/29dc/6F08/E3C/594775122933">
<positions>
<Point x="9948" y="4106"/>
<Point x="10816" y="4106"/>
<Point x="10816" y="4106"/>
<Point x="11705" y="4106"/>
</positions>
</Edge>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/29dc/6F08/E3C/594775122933" dstEquation="!ed/29d8/6F08/E3C/5947751264d1">
<positions>
<Point x="12721" y="4106"/>
<Point x="13462" y="4106"/>
<Point x="13462" y="4106"/>
<Point x="14224" y="4106"/>
</positions>
</Edge>
</presentationElements>
</NetDiagram>
</diagrams>
</ed:Operator>
</pragmas>
</Operator>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/PowerR.xscade 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="UTF-8"?>
<Operator xmlns="http://www.esterel-technologies.com/ns/scade/6" xmlns:ed="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5" xmlns:kcg="http://www.esterel-technologies.com/ns/scade/pragmas/codegen/3" kind="function" external="imported" name="PowerR">
<inputs>
<Variable name="P_Input">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1117/745C/15C0/58f859ff5712"/>
</pragmas>
</Variable>
<Variable name="Power">
<type>
<NamedType>
<type>
<TypeRef name="int32"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1118/745C/15C0/58f859ff3116"/>
</pragmas>
</Variable>
</inputs>
<outputs>
<Variable name="P_Output">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1116/745C/15C0/58f859ff3bab"/>
</pragmas>
</Variable>
</outputs>
<numericTypes>
<FloatType>
<typeVar>
<TypeRef name="'T"/>
</typeVar>
</FloatType>
</numericTypes>
<pragmas>
<ed:Operator oid="!ed/1115/745C/15C0/58f859ff4cd5" symbolFile="PowerR.ssl" xmlns="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5">
<comment>P_Ouput equals P_Input powered to Power</comment>
</ed:Operator>
</pragmas>
</Operator>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/PowerRR.xscade 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="UTF-8"?>
<Operator xmlns="http://www.esterel-technologies.com/ns/scade/6" xmlns:ed="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5" xmlns:kcg="http://www.esterel-technologies.com/ns/scade/pragmas/codegen/3" kind="function" external="imported" name="PowerRR">
<inputs>
<Variable name="P_Input">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1135/745C/15C0/58f85a243eeb"/>
</pragmas>
</Variable>
<Variable name="Power">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1136/745C/15C0/58f85a243763"/>
</pragmas>
</Variable>
</inputs>
<outputs>
<Variable name="P_Output">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1134/745C/15C0/58f85a2463dd"/>
</pragmas>
</Variable>
</outputs>
<numericTypes>
<FloatType>
<typeVar>
<TypeRef name="'T"/>
</typeVar>
</FloatType>
</numericTypes>
<pragmas>
<ed:Operator oid="!ed/1133/745C/15C0/58f85a245720" symbolFile="PowerRR.ssl" xmlns="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5">
<comment>P_Ouput equals P_Input powered to Power, Power being a 'T.</comment>
<comment>It is assumed that: &quot;P_Input &gt; 0&quot; or &quot;(P_Input == 0 &amp;&amp; Power &gt; 0)&quot;</comment>
</ed:Operator>
</pragmas>
</Operator>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/PowerRR32.xscade 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="UTF-8"?>
<Operator xmlns="http://www.esterel-technologies.com/ns/scade/6" xmlns:ed="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5" xmlns:kcg="http://www.esterel-technologies.com/ns/scade/pragmas/codegen/3" kind="function" external="imported" name="PowerRR32">
<inputs>
<Variable name="i">
<type>
<NamedType>
<type>
<TypeRef name="float32"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/125a/745C/15C0/58f85d881de5"/>
</pragmas>
</Variable>
<Variable name="p">
<type>
<NamedType>
<type>
<TypeRef name="float32"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/125b/745C/15C0/58f85d884278"/>
</pragmas>
</Variable>
</inputs>
<outputs>
<Variable name="o">
<type>
<NamedType>
<type>
<TypeRef name="float32"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1259/745C/15C0/58f85d883792"/>
</pragmas>
</Variable>
</outputs>
<specializedOperator>
<OperatorRef name="PowerRR"/>
</specializedOperator>
<pragmas>
<ed:Operator oid="!ed/1258/745C/15C0/58f85d883b0d"/>
<kcg:Pragma>
C:name PowerRR32_mathext_mathextimpl
</kcg:Pragma>
</pragmas>
</Operator>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/RisingEdge.xscade 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="UTF-8"?>
<Operator xmlns="http://www.esterel-technologies.com/ns/scade/6" xmlns:ed="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5" xmlns:kcg="http://www.esterel-technologies.com/ns/scade/pragmas/codegen/3" kind="node" name="RisingEdge">
<inputs>
<Variable name="RE_Input">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/298b/6F08/E3C/594774562cae"/>
</pragmas>
</Variable>
</inputs>
<outputs>
<Variable name="RE_Output">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/298a/6F08/E3C/594774567ee5"/>
</pragmas>
</Variable>
</outputs>
<locals>
<Variable name="_L1">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/2985/6F08/E3C/594774565656"/>
</pragmas>
</Variable>
<Variable name="_L6">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/2986/6F08/E3C/594774562eaf"/>
</pragmas>
</Variable>
<Variable name="_L3">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/2987/6F08/E3C/5947745613c8"/>
</pragmas>
</Variable>
<Variable name="_L8">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/2988/6F08/E3C/594774562cc0"/>
</pragmas>
</Variable>
<Variable name="_L9">
<type>
<NamedType>
<type>
<TypeRef name="bool"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/2989/6F08/E3C/594774561103"/>
</pragmas>
</Variable>
</locals>
<data>
<!-- _L1 = RE_Input; -->
<Equation>
<lefts>
<VariableRef name="_L1"/>
</lefts>
<right>
<IdExpression>
<path>
<ConstVarRef name="RE_Input"/>
</path>
</IdExpression>
</right>
<pragmas>
<ed:Equation oid="!ed/297e/6F08/E3C/594774567ed2"/>
</pragmas>
</Equation>
<!-- RE_Output = _L9; -->
<Equation>
<lefts>
<VariableRef name="RE_Output"/>
</lefts>
<right>
<IdExpression>
<path>
<ConstVarRef name="_L9"/>
</path>
</IdExpression>
</right>
<pragmas>
<ed:Equation oid="!ed/297f/6F08/E3C/5947745653eb"/>
</pragmas>
</Equation>
<!-- _L3 = fby(_L1; 1; false); -->
<Equation>
<lefts>
<VariableRef name="_L3"/>
</lefts>
<right>
<!-- fby(_L1; 1; false) -->
<FbyOp name="1">
<flows>
<IdExpression>
<path>
<ConstVarRef name="_L1"/>
</path>
</IdExpression>
</flows>
<delay>
<ConstValue value="1"/>
</delay>
<values>
<ConstValue value="false"/>
</values>
</FbyOp>
</right>
<pragmas>
<ed:Equation oid="!ed/2980/6F08/E3C/594774564430"/>
</pragmas>
</Equation>
<!-- _L6 = _L8 and _L1; -->
<Equation>
<lefts>
<VariableRef name="_L6"/>
</lefts>
<right>
<!-- _L8 and _L1 -->
<NAryOp name="1" operator="and">
<operands>
<IdExpression>
<path>
<ConstVarRef name="_L8"/>
</path>
</IdExpression>
<IdExpression>
<path>
<ConstVarRef name="_L1"/>
</path>
</IdExpression>
</operands>
</NAryOp>
</right>
<pragmas>
<ed:Equation oid="!ed/2981/6F08/E3C/594774566a1"/>
</pragmas>
</Equation>
<!-- _L8 = not _L3; -->
<Equation>
<lefts>
<VariableRef name="_L8"/>
</lefts>
<right>
<!-- not _L3 -->
<UnaryOp name="1" operator="not">
<operand>
<IdExpression>
<path>
<ConstVarRef name="_L3"/>
</path>
</IdExpression>
</operand>
</UnaryOp>
</right>
<pragmas>
<ed:Equation oid="!ed/2982/6F08/E3C/594774561fbd"/>
</pragmas>
</Equation>
<!-- _L9 = (false) -> (_L6); -->
<Equation>
<lefts>
<VariableRef name="_L9"/>
</lefts>
<right>
<!-- (false) -> (_L6) -->
<InitOp name="1">
<value>
<ListExpression>
<items>
<ConstValue value="false"/>
</items>
</ListExpression>
</value>
<flow>
<ListExpression>
<items>
<IdExpression>
<path>
<ConstVarRef name="_L6"/>
</path>
</IdExpression>
</items>
</ListExpression>
</flow>
</InitOp>
</right>
<pragmas>
<ed:Equation oid="!ed/2983/6F08/E3C/594774562491"/>
</pragmas>
</Equation>
</data>
<pragmas>
<ed:Operator oid="!ed/297d/6F08/E3C/594774561a9e" symbolFile="RisingEdge" xmlns="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5">
<comment>Detects a rising edge (false to true transition).</comment>
<comment>The output is true during the transition clock cycle. The output is initialized to false.</comment>
<diagrams>
<NetDiagram name="diagram_RisingEdge" landscape="false" format="A4 (210 297)" oid="!ed/2984/6F08/E3C/59477456114f">
<presentationElements>
<EquationGE presentable="!ed/297e/6F08/E3C/594774567ed2">
<position>
<Point x="1969" y="3133"/>
</position>
<size>
<Size width="251" height="502"/>
</size>
</EquationGE>
<EquationGE presentable="!ed/297f/6F08/E3C/5947745653eb">
<position>
<Point x="14288" y="4360"/>
</position>
<size>
<Size width="317" height="503"/>
</size>
</EquationGE>
<EquationGE presentable="!ed/2980/6F08/E3C/594774564430">
<position>
<Point x="4699" y="2879"/>
</position>
<size>
<Size width="1021" height="1021"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/297e/6F08/E3C/594774567ed2" dstEquation="!ed/2980/6F08/E3C/594774564430">
<positions>
<Point x="2223" y="3387"/>
<Point x="3471" y="3387"/>
<Point x="3471" y="3387"/>
<Point x="4699" y="3387"/>
</positions>
</Edge>
<EquationGE presentable="!ed/2981/6F08/E3C/594774566a1">
<position>
<Point x="9144" y="4276"/>
</position>
<size>
<Size width="1021" height="677"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/2982/6F08/E3C/594774561fbd" dstEquation="!ed/2981/6F08/E3C/594774566a1">
<positions>
<Point x="8022" y="3408"/>
<Point x="8573" y="3408"/>
<Point x="8573" y="4509"/>
<Point x="9144" y="4509"/>
</positions>
</Edge>
<Edge leftVarIndex="1" rightExprIndex="2" srcEquation="!ed/297e/6F08/E3C/594774567ed2" dstEquation="!ed/2981/6F08/E3C/594774566a1">
<positions>
<Point x="2223" y="3387"/>
<Point x="3704" y="3387"/>
<Point x="3704" y="4720"/>
<Point x="9144" y="4720"/>
</positions>
</Edge>
<EquationGE presentable="!ed/2982/6F08/E3C/594774561fbd">
<position>
<Point x="7010" y="3073"/>
</position>
<size>
<Size width="1016" height="660"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/2980/6F08/E3C/594774564430" dstEquation="!ed/2982/6F08/E3C/594774561fbd">
<positions>
<Point x="5715" y="3387"/>
<Point x="6350" y="3387"/>
<Point x="6350" y="3387"/>
<Point x="7006" y="3387"/>
</positions>
</Edge>
<EquationGE presentable="!ed/2983/6F08/E3C/594774562491">
<position>
<Point x="11303" y="4106"/>
</position>
<size>
<Size width="1016" height="1016"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/2981/6F08/E3C/594774566a1" dstEquation="!ed/2983/6F08/E3C/594774562491">
<positions>
<Point x="10160" y="4614"/>
<Point x="10732" y="4614"/>
<Point x="10732" y="4614"/>
<Point x="11303" y="4614"/>
</positions>
</Edge>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/2983/6F08/E3C/594774562491" dstEquation="!ed/297f/6F08/E3C/5947745653eb">
<positions>
<Point x="12319" y="4614"/>
<Point x="13314" y="4614"/>
<Point x="13314" y="4614"/>
<Point x="14330" y="4614"/>
</positions>
</Edge>
</presentationElements>
</NetDiagram>
</diagrams>
</ed:Operator>
</pragmas>
</Operator>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/SqrtR1.xscade 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="UTF-8"?>
<Operator xmlns="http://www.esterel-technologies.com/ns/scade/6" xmlns:ed="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5" xmlns:kcg="http://www.esterel-technologies.com/ns/scade/pragmas/codegen/3" kind="function" external="imported" name="SqrtR">
<inputs>
<Variable name="Input1">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/19ed/654E/1838/58f70bd055d6"/>
</pragmas>
</Variable>
</inputs>
<outputs>
<Variable name="Output1">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/19ec/654E/1838/58f70bd05d89"/>
</pragmas>
</Variable>
</outputs>
<numericTypes>
<FloatType>
<typeVar>
<TypeRef name="'T"/>
</typeVar>
</FloatType>
</numericTypes>
<pragmas>
<ed:Operator oid="!ed/19eb/654E/1838/58f70bd04cce" xmlns="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5">
<comment>sqrt(Input1)</comment>
</ed:Operator>
</pragmas>
</Operator>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/SqrtR32.xscade 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="UTF-8"?>
<Operator xmlns="http://www.esterel-technologies.com/ns/scade/6" xmlns:ed="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5" xmlns:kcg="http://www.esterel-technologies.com/ns/scade/pragmas/codegen/3" kind="function" external="imported" name="SqrtR32">
<inputs>
<Variable name="i">
<type>
<NamedType>
<type>
<TypeRef name="float32"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/4fd4/654E/1838/58f70e5d4acd"/>
</pragmas>
</Variable>
</inputs>
<outputs>
<Variable name="o">
<type>
<NamedType>
<type>
<TypeRef name="float32"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/4fd3/654E/1838/58f70e5d1296"/>
</pragmas>
</Variable>
</outputs>
<specializedOperator>
<OperatorRef name="SqrtR"/>
</specializedOperator>
<pragmas>
<ed:Operator oid="!ed/4fd2/654E/1838/58f70e5d6f68"/>
<kcg:Pragma>
C:name SqrtR32_mathext_mathextimpl
</kcg:Pragma>
</pragmas>
</Operator>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/Square.xscade 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="UTF-8"?>
<Operator xmlns="http://www.esterel-technologies.com/ns/scade/6" xmlns:ed="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5" xmlns:kcg="http://www.esterel-technologies.com/ns/scade/pragmas/codegen/3" kind="function" name="Square">
<inputs>
<Variable name="Square_In">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1a08/654E/1838/58f70bd177ff"/>
</pragmas>
</Variable>
</inputs>
<outputs>
<Variable name="Square_Out">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1a07/654E/1838/58f70bd1769c"/>
</pragmas>
</Variable>
</outputs>
<numericTypes>
<NumericType>
<typeVar>
<TypeRef name="'T"/>
</typeVar>
</NumericType>
</numericTypes>
<locals>
<Variable name="_L1">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1a05/654E/1838/58f70bd15577"/>
</pragmas>
</Variable>
<Variable name="_L2">
<type>
<NamedType>
<type>
<TypeRef name="'T"/>
</type>
</NamedType>
</type>
<pragmas>
<ed:Variable oid="!ed/1a06/654E/1838/58f70bd152f0"/>
</pragmas>
</Variable>
</locals>
<data>
<!-- _L1 = Square_In; -->
<Equation>
<lefts>
<VariableRef name="_L1"/>
</lefts>
<right>
<IdExpression>
<path>
<ConstVarRef name="Square_In"/>
</path>
</IdExpression>
</right>
<pragmas>
<ed:Equation oid="!ed/1a01/654E/1838/58f70bd1ebd"/>
</pragmas>
</Equation>
<!-- _L2 = _L1 * _L1; -->
<Equation>
<lefts>
<VariableRef name="_L2"/>
</lefts>
<right>
<!-- _L1 * _L1 -->
<NAryOp name="1" operator="*">
<operands>
<IdExpression>
<path>
<ConstVarRef name="_L1"/>
</path>
</IdExpression>
<IdExpression>
<path>
<ConstVarRef name="_L1"/>
</path>
</IdExpression>
</operands>
</NAryOp>
</right>
<pragmas>
<ed:Equation oid="!ed/1a02/654E/1838/58f70bd13031"/>
</pragmas>
</Equation>
<!-- Square_Out = _L2; -->
<Equation>
<lefts>
<VariableRef name="Square_Out"/>
</lefts>
<right>
<IdExpression>
<path>
<ConstVarRef name="_L2"/>
</path>
</IdExpression>
</right>
<pragmas>
<ed:Equation oid="!ed/1a03/654E/1838/58f70bd1455a"/>
</pragmas>
</Equation>
</data>
<pragmas>
<ed:Operator oid="!ed/1a00/654E/1838/58f70bd164ca" symbolFile="Square.ssl" xmlns="http://www.esterel-technologies.com/ns/scade/pragmas/editor/5">
<comment>SR_Output = (SR_Input)^2</comment>
<diagrams>
<NetDiagram name="diagram_Square" landscape="false" format="A4 (210 297)" oid="!ed/1a04/654E/1838/58f70bd15307">
<presentationElements>
<EquationGE presentable="!ed/1a01/654E/1838/58f70bd1ebd">
<position>
<Point x="1653" y="661"/>
</position>
<size>
<Size width="251" height="503"/>
</size>
</EquationGE>
<EquationGE presentable="!ed/1a02/654E/1838/58f70bd13031">
<position>
<Point x="4172" y="574"/>
</position>
<size>
<Size width="1022" height="678"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/1a01/654E/1838/58f70bd1ebd" dstEquation="!ed/1a02/654E/1838/58f70bd13031">
<positions>
<Point x="1905" y="910"/>
<Point x="3598" y="910"/>
<Point x="3598" y="804"/>
<Point x="4170" y="804"/>
</positions>
</Edge>
<Edge leftVarIndex="1" rightExprIndex="2" srcEquation="!ed/1a01/654E/1838/58f70bd1ebd" dstEquation="!ed/1a02/654E/1838/58f70bd13031">
<positions>
<Point x="1905" y="910"/>
<Point x="3598" y="910"/>
<Point x="3598" y="1016"/>
<Point x="4170" y="1016"/>
</positions>
</Edge>
<EquationGE presentable="!ed/1a03/654E/1838/58f70bd1455a">
<position>
<Point x="6552" y="661"/>
</position>
<size>
<Size width="326" height="503"/>
</size>
</EquationGE>
<Edge leftVarIndex="1" rightExprIndex="1" srcEquation="!ed/1a02/654E/1838/58f70bd13031" dstEquation="!ed/1a03/654E/1838/58f70bd1455a">
<positions>
<Point x="5186" y="910"/>
<Point x="5503" y="910"/>
<Point x="5503" y="910"/>
<Point x="6604" y="910"/>
</positions>
</Edge>
</presentationElements>
</NetDiagram>
</diagrams>
</ed:Operator>
</pragmas>
</Operator>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/abs.ann 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/abs.xscade 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/conf.ann 0 → 100644
View file @ e96ebf48
Notes-Types { Esterel-Technologies } DEFINITIONS ::=
BEGIN
Unit ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Unit TEXT
{
NT_DEFAULT_VALUE "TBD" ,
NT_FIELD_HEIGHT 1 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
Comment ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Comment TEXT
{
NT_DEFAULT_VALUE "" ,
NT_FIELD_HEIGHT 3 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
Comment_Package ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Description TEXT
{
NT_DEFAULT_VALUE "TBD" ,
NT_FIELD_HEIGHT 10 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
Range ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Range TEXT
{
NT_DEFAULT_VALUE "TBD" ,
NT_FIELD_HEIGHT 1 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
Resolution ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Resolution TEXT
{
NT_DEFAULT_VALUE "TBD" ,
NT_FIELD_HEIGHT 1 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
END
Notes-Values { Esterel-Technologies } DEFINITIONS ::=
BEGIN
Unit ::= {
{"!ed/2ea1/589C/1330/594d1202147e", "Unit_2","TBD" , T },
{"!ed/293a/589C/1330/594d050c66cf", "Unit_2","TBD" , T },
{"!ed/2970/589C/1330/594d062c7935", "Unit_2","TBD" , T },
{"!ed/2976/589C/1330/594d062d5d6d", "Unit_2","TBD" , T },
{"!ed/297c/589C/1330/594d062d1c3c", "Unit_2","TBD" , T },
{"!ed/2851/589C/1330/594cea7a23b3", "Unit_2","TBD" , T },
{"!ed/2852/589C/1330/594cea925130", "Unit_2","TBD" , T },
{"!ed/2853/589C/1330/594cea9b550b", "Unit_2","TBD" , T },
{"!ed/2854/589C/1330/594ceaa554f6", "Unit_2","TBD" , T },
{"!ed/2856/589C/1330/594ceabf4b3b", "Unit_2","TBD" , T }}
Comment ::= {
{"!ed/2ea1/589C/1330/594d1202147e", "Comment_1","" , T },
{"!ed/293a/589C/1330/594d050c66cf", "Comment_1","" , T },
{"!ed/2970/589C/1330/594d062c7935", "Comment_1","" , T },
{"!ed/2976/589C/1330/594d062d5d6d", "Comment_1","" , T },
{"!ed/297c/589C/1330/594d062d1c3c", "Comment_1","" , T },
{"!ed/2851/589C/1330/594cea7a23b3", "Comment_1","" , T },
{"!ed/2852/589C/1330/594cea925130", "Comment_1","" , T },
{"!ed/2853/589C/1330/594cea9b550b", "Comment_1","" , T },
{"!ed/2854/589C/1330/594ceaa554f6", "Comment_1","" , T },
{"!ed/2856/589C/1330/594ceabf4b3b", "Comment_1","" , T }}
Comment_Package ::= {
{"!ed/284d/589C/1330/594cea75498b", "Comment_Package_1","TBD" , T }}
Range ::= {
{"!ed/2ea1/589C/1330/594d1202147e", "Range_3","TBD" , T },
{"!ed/293a/589C/1330/594d050c66cf", "Range_3","TBD" , T },
{"!ed/2970/589C/1330/594d062c7935", "Range_3","TBD" , T },
{"!ed/2976/589C/1330/594d062d5d6d", "Range_3","TBD" , T },
{"!ed/297c/589C/1330/594d062d1c3c", "Range_3","TBD" , T }}
Resolution ::= {
{"!ed/2ea1/589C/1330/594d1202147e", "Resolution_4","TBD" , T },
{"!ed/293a/589C/1330/594d050c66cf", "Resolution_4","TBD" , T },
{"!ed/2970/589C/1330/594d062c7935", "Resolution_4","TBD" , T },
{"!ed/2976/589C/1330/594d062d5d6d", "Resolution_4","TBD" , T },
{"!ed/297c/589C/1330/594d062d1c3c", "Resolution_4","TBD" , T }}
END
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/conf.xscade 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/conf_mm.ann 0 → 100644
View file @ e96ebf48
Notes-Types { Esterel-Technologies } DEFINITIONS ::=
BEGIN
Resolution ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Resolution TEXT
{
NT_DEFAULT_VALUE "TBD" ,
NT_FIELD_HEIGHT 1 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
Range ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Range TEXT
{
NT_DEFAULT_VALUE "TBD" ,
NT_FIELD_HEIGHT 1 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
Comment_Package ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Description TEXT
{
NT_DEFAULT_VALUE "TBD" ,
NT_FIELD_HEIGHT 10 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
Comment ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Comment TEXT
{
NT_DEFAULT_VALUE "" ,
NT_FIELD_HEIGHT 3 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
Unit ::= SEQUENCE OF { SEQUENCE {
annot_object OID,
name STRING,
information {
Unit TEXT
{
NT_DEFAULT_VALUE "TBD" ,
NT_FIELD_HEIGHT 1 ,
NT_FIELD_WIDTH 60 },
to_c BOOLEAN
{
NT_DEFAULT_VALUE T ,
NT_PRINTABLE F }
} } }
END
Notes-Values { Esterel-Technologies } DEFINITIONS ::=
BEGIN
Resolution ::= {
{"!ed/2ea1/589C/1330/594d1202147e", "Resolution_4","TBD" , T },
{"!ed/293a/589C/1330/594d050c66cf", "Resolution_4","TBD" , T },
{"!ed/2970/589C/1330/594d062c7935", "Resolution_4","TBD" , T },
{"!ed/2976/589C/1330/594d062d5d6d", "Resolution_4","TBD" , T },
{"!ed/297c/589C/1330/594d062d1c3c", "Resolution_4","TBD" , T }}
Range ::= {
{"!ed/2ea1/589C/1330/594d1202147e", "Range_3","TBD" , T },
{"!ed/293a/589C/1330/594d050c66cf", "Range_3","TBD" , T },
{"!ed/2970/589C/1330/594d062c7935", "Range_3","TBD" , T },
{"!ed/2976/589C/1330/594d062d5d6d", "Range_3","TBD" , T },
{"!ed/297c/589C/1330/594d062d1c3c", "Range_3","TBD" , T }}
Comment_Package ::= {
{"!ed/284d/589C/1330/594cea75498b", "Comment_Package_1","TBD" , T }}
Comment ::= {
{"!ed/2ea1/589C/1330/594d1202147e", "Comment_1","" , T },
{"!ed/293a/589C/1330/594d050c66cf", "Comment_1","" , T },
{"!ed/2970/589C/1330/594d062c7935", "Comment_1","" , T },
{"!ed/2976/589C/1330/594d062d5d6d", "Comment_1","" , T },
{"!ed/297c/589C/1330/594d062d1c3c", "Comment_1","" , T },
{"!ed/2851/589C/1330/594cea7a23b3", "Comment_1","" , T },
{"!ed/2852/589C/1330/594cea925130", "Comment_1","" , T },
{"!ed/2853/589C/1330/594cea9b550b", "Comment_1","" , T },
{"!ed/2854/589C/1330/594ceaa554f6", "Comment_1","" , T },
{"!ed/2856/589C/1330/594ceabf4b3b", "Comment_1","" , T }}
Unit ::= {
{"!ed/2ea1/589C/1330/594d1202147e", "Unit_2","TBD" , T },
{"!ed/293a/589C/1330/594d050c66cf", "Unit_2","TBD" , T },
{"!ed/2970/589C/1330/594d062c7935", "Unit_2","TBD" , T },
{"!ed/2976/589C/1330/594d062d5d6d", "Unit_2","TBD" , T },
{"!ed/297c/589C/1330/594d062d1c3c", "Unit_2","TBD" , T },
{"!ed/2851/589C/1330/594cea7a23b3", "Unit_2","TBD" , T },
{"!ed/2852/589C/1330/594cea925130", "Unit_2","TBD" , T },
{"!ed/2853/589C/1330/594cea9b550b", "Unit_2","TBD" , T },
{"!ed/2854/589C/1330/594ceaa554f6", "Unit_2","TBD" , T },
{"!ed/2856/589C/1330/594ceabf4b3b", "Unit_2","TBD" , T }}
END
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/conf_mm.xscade 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.almgp 0 → 100644
View file @ e96ebf48
<?xml version="1.0" encoding="ASCII"?>
<ALMGateway:ALMGProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ALMGateway="http://www.esterel-technologies.com/scade/lifecycle/almgateway" name="designXAV" id="_5aKYwFS9Eee0gMMbaB_ezg">
<connectors xsi:type="ALMGateway:ReqtifyConnector" rqtfFile="designXAV.rqtf"/>
</ALMGateway:ALMGProject>
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.almgr 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.ewo 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.log 0 → 100644
View file @ e96ebf48
-> 19/06/17 09:11:35
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
-> 19/06/17 09:11:35
Error: Document not readable: file 'C:\projets\ressac\use_case\microXAV\designXAV\requirements.doc'
-> 19/06/17 09:13:44
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
-> 19/06/17 09:24:40
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
-> 19/06/17 09:25:09
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
-> 23/06/17 14:34:49
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
-> 23/06/17 14:36:03
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
-> 23/06/17 14:36:24
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
-> 23/06/17 14:38:05
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
-> 23/06/17 14:38:12
Open project C:\projets\ressac\use_case\microXAV\designXAV\designXAV.rqtf
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.rqtf 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.tot 0 → 100644
View file @ e96ebf48
[Scade/Styles/ScNetStyle2/Style_Red](kind=Style; Style=ScNetStyle2; BasedOn=Equation Set)
[Scade/Styles/ScNetStyle2/Style_Red/Entity]
"LineColor"="(255,0,0)"
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.trace 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.types 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/designXAV.vsw 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/f_mm - Copie.ann 0 → 100644
View file @ e96ebf48
Notes-Types { Esterel-Technologies } DEFINITIONS ::=
BEGIN
END
Notes-Values { Esterel-Technologies } DEFINITIONS ::=
BEGIN
END
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/f_mm.ann 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/f_mm.xscade 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/flight_mm.ann 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/mgt_mm.ann 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/mgt_mm.xscade 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/stp_mm.ann 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/stp_mm.xscade 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/templateann.aty 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/test_param.ann 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/types_mm.ann 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/types_mm.xscade 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/utl_mm.ann 0 → 100644
View file @ e96ebf48
This diff is collapsed.
UseCaseDevelopment/Layer2_MMS_SW_Scade/MMS_FMM/utl_mm.xscade 0 → 100644
View file @ e96ebf48
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment