diff --git a/resources/use_cases/cooling_system/ics_reqs.crml b/resources/use_cases/cooling_system/ics_reqs.crml index ac93f2f..571229d 100644 --- a/resources/use_cases/cooling_system/ics_reqs.crml +++ b/resources/use_cases/cooling_system/ics_reqs.crml @@ -167,16 +167,13 @@ model ics_reqs is { /////////////////////////////////////////////////////////////////////////////// // Finally, the SRI model - // Always ??? Not sure operator without parameter is admitted. - Operator [ Periods ] 'always' = 'during' true; - // Temperature requirements - Real T is external; - // NL : "La température du SRI doit être maintenue entre 16°C et 30°C." // SNL: "En fonctionnement normal, le système SRI doit avoir une température entre 16°C et 30°C." - Boolean T_in_range is ((T >= 16) and (T <= 30)); //remark: not done yet but units should be specified - Boolean R1_T is ('always') 'ensure' T_in_range ; + Boolean normal_operation is external; + Real T is external; + Boolean T_in_range is ((T >= 16) and (T <= 30)); //remark: not done yet but units should be specified + Boolean R1_T is ('during' normal_operation) 'ensure' T_in_range ; // NL : "Si la température dépasse ces limites, elle doit être revenue dans l'intervalle au bout d'une minute." // SNL : "Lorsque le système SRI a une température qui dépasse les limites du fonctionnement normal, @@ -187,6 +184,11 @@ model ics_reqs is { // Speed requirements for heat exchangers // NL : "Afin de limiter les phénomènes d'érosion et de corrosion, la vitesse du fluide dans les échangeurs ne doit pas dépasser 6 m/s." + // SNL1 : "En fonctionnement normal, chaque échangeur de chaleur doit avoir une vitesse de fluide inférieure ou égale à 6m/s" + // SNL2 : "Lorsque l'échangeur a une vitesse de fluide supérieure à 6 m/s, le système SRI doit garantir que la durée cumulée pendant laquelle la vitesse reste supérieure à 6 m/s + // n’excède pas 10 secondes sur les 3600 secondes suivant cet événement." + // SNL3 : "Lorsque l'échangeur a une vitesse de fluide supérieure à 6 m/s, le système SRI doit garantir que le nombre d’occurrences distinctes de dépassement de 6 m/s + // n’excède pas 2 sur les 3600 secondes suivant cet événement." class Req_speed is { Real v is external; Boolean v_too_high is (v > 6.0) ; // m/s @@ -201,8 +203,11 @@ model ics_reqs is { Boolean R_speed_all is Req_speed1.R_v and Req_speed2.R_v ; // Flow requirements for pumps + // NL : Les pompes du système ne doivent pas caviter. + // SNL : Lorsque une pompe du SRI est en service, le système SRI doit garantir que le débit associée à cette pompe + // est supérieur ou égal à 70 tonnes par heure. class Req_flow is { - Real f is external ; + Real flow is external ; Boolean pump_in_service is external ; Boolean f_over_fmin is (f >= 700) ; // t/h Boolean R_f is ('during' pump_in_service) 'ensure' f_over_fmin ; @@ -214,8 +219,8 @@ model ics_reqs is { Real flow2 is external; Real flow3 is external; Req_flow Req_flow1(pump_in_service=pump_in_service1,flow=flow1); - Req_flow Req_flow1(pump_in_service=pump_in_service2,flow=flow2); - Req_flow Req_flow1(pump_in_service=pump_in_service3,flow=flow3); + Req_flow Req_flow2(pump_in_service=pump_in_service2,flow=flow2); + Req_flow Req_flow3(pump_in_service=pump_in_service3,flow=flow3); Boolean R_flow_all is Req_flow1.R_f and Req_flow2.R_f and Req_flow3.R_f; }; diff --git a/resources/use_cases/cooling_system/ics_reqs.reqif b/resources/use_cases/cooling_system/ics_reqs.reqif deleted file mode 100644 index 416a2b4..0000000 --- a/resources/use_cases/cooling_system/ics_reqs.reqif +++ /dev/null @@ -1,53 +0,0 @@ - - - - - - - - - - - - - dt-string - - - - - - - - - - - attr-text - - La température du SRI doit être maintenue entre 16°C et 30°C. - - - - - - - - attr-text - - Si la température dépasse ces limites, elle doit être revenue dans l'intervalle au bout d'une minute. - - - - - - - - attr-text - - Afin de limiter les phénomènes d'érosion et de corrosion, la vitesse du fluide dans les échangeurs ne doit pas dépasser 6 m/s. - - - - - - - diff --git a/resources/use_cases/cooling_system/ics_reqs.txt b/resources/use_cases/cooling_system/ics_reqs.txt index 67e5617..6f03656 100644 --- a/resources/use_cases/cooling_system/ics_reqs.txt +++ b/resources/use_cases/cooling_system/ics_reqs.txt @@ -1,3 +1,3 @@ -Req_Temp "La température du SRI doit être maintenue entre 16°C et 30°C." -Req_Speed "Si la température dépasse ces limites, elle doit être revenue dans l'intervalle au bout d'une minute." -Req_Flow "Afin de limiter les phénomènes d'érosion et de corrosion, la vitesse du fluide dans les échangeurs ne doit pas dépasser 6 m/s." \ No newline at end of file +Req_Temp "La température du SRI doit être maintenue entre 16°C et 30°C." "Si la température dépasse ces limites, elle doit être revenue dans l'intervalle au bout d'une minute." +Req_Speed "Afin de limiter les phénomènes d'érosion et de corrosion, la vitesse du fluide dans les échangeurs ne doit pas dépasser 6 m/s." +Req_Flow "Les pompes du système ne doivent pas caviter." \ No newline at end of file