Sdl 2000 Laborator Exemplu

download Sdl 2000 Laborator Exemplu

of 10

Transcript of Sdl 2000 Laborator Exemplu

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    1/10

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    2/10

    3.Partea practic:START SYSTEM;System_definition::SYSTEM A;Block_definition_set::B1,B2,B3,B4,B5,B6,B7,B8,B9,B10,B11,B12,B13,B14,B15,

    B16,B17,B18,B19,B20,B21,B22,B23,B24,B25,B26,B27,B28,B29;Channel_definition_set::C0,C1,C2,C3,C4,C5,C6,C7,C8,C9,C10,C11,C12,C13,C14

    ,C15,C16,C17,C18,C19,C20,C21,C22,C23,C24,C25,C26,C27,C28,C29,C30,C31,C32,C34,C35,C36,C67;

    Signal _definition_set::S0,S1,S2,S3,S4,S5,S6,S7,S8,S9,S10,S11,S12,S13,S14,S15,S16,S17,S18,S19,S20,S21,S22,S23,S24,S25,S26,S27,S28,S29,S30,S31,S32,S34,S35,S36,S37;

    Data_type_definition::;Function_type_definition::;

    END_ System_definition:: SYSTEM A;SYSTEM A::Chisinau;

    BLOCK B11 interconnection area B2,B9,ENV;

    CHANNEL C0 FROM INN TO B11 WITH S0;CHANNEL C1 FROM B11 TO B9 WITH S1;END_BLOCK B11;

    BLOCK B9;BLOCK B9 interconnection area B4,B6,B7,B11;

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    3/10

    CHANNEL C2 FROM B9 TO ENV WITH S2;SPLIT C2 INTO C2.1,C2.2;

    CHANNEL C2.1 FROM B9 TO B7 WITH S2;

    CHANNEL C2.2 FROM B9 TO B6 WITH S2;END_BLOCK B9;

    BLOCK B6;BLOCK B6 interconnection area B3,B7,B9;CHANNEL C5 FROM B6 TO B3 WITH S5;END_BLOCK B6;

    BLOCK B7;BLOCK B7 interconnection area B6,B8,B9;

    CHANNEL C3 FROM B8 TO B7 WITH S3;END_BLOCK B7;

    BLOCK B3;BLOCK B3 interconnection area B4,B5,B6;

    CHANNEL C7 FROM B3 TO B5 WITH S7;END_BLOCK B3;

    BLOCK B4;

    BLOCK B4 interconnection area B3,B5,B9;CHANNEL C8 FROM B4 TO B5 WITH S8;END_BLOCK B4;

    BLOCK B5;BLOCK B5 interconnection area B3,B4,B10,B13;CHANNEL C6 FROM B5 TO ENV WITH S6;

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    4/10

    SPLIT C6 INTO C6.1,C6.2;CHANNEL C6.1 FROM B5 TO B3 WITH S6;

    CHANNEL C6.2 FROM B5 TO B4 WITH S6;

    CHANNEL C9 FROM B5 TO ENV WITH S9;CHANNEL C9.1 FROM B5 TO B13 WITH S9;

    END_BLOCK B5;

    System_heading_definition::SYSTEM R;Block_definition_set::B1,B2,B17,B12,B18;Channel_definition_set::C23,C24,C25,C26C27,C28,C29,C30,C31,C32;Signal _definition_set::S23,S24,S25,S26S27,S28,S29,S30,S31,S32;

    Data_type_definition::;Function_type_definition::;

    END_ System_heading_definition::SYSTEM R;System B::Cahul;

    BLOCK B2;BLOCK B2 interconnection area B1,B8,B11,B12,B17,B18;

    SUBBLOCK B2.1,B2.2 is associated with BLOCK B2;CHANNEL C30 FROM B11 TO B2.1 WITH S30;CHANNEL C31 FROM B2.1 TO B2.2 WITH S31;CHANNEL C29 FROM B2.1 TO B12 WITH S29;

    CHANNEL C32 FROM B2.2 TO ENV WITH S32;SPLIT C32 INTO C32.1,C32.2,C32.3;CHANNEL C32.2 FROM B2.2 TO B16 WITH S32;

    CHANNEL C32.3 FROM B2.2 TO B8 WITH S32;CHANNEL C23 FROM B20 TO ENV WITH S23;END_SUBBLOCK B2.1,B2.2;CHANNEL C28 FROM B2 TO B18 WITH S28;

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    5/10

    CHANNEL C27 FROM B2 TO B17 WITH S27;END_BLOCK B2;

    BLOCK B1;BLOCK B1 interconnection area B2,B8,B15,B16,B19,B20,B27;

    SUBBLOCK B1.1,B1.2 is associated with BLOCK B1;CHANNEL C32.1 FROM B2.2 TO B1.1 WITH S32;CHANNEL C23 FROM B20 TO ENV WITH S23;SPLIT C23 INTO C23.1,C23.2,C23.3,C23.4;CHANNEL C23.3 FROM B20 TO B1.1 WITH S23;CHANNEL C23.4 FROM B20 TO B1.2 WITH S23;

    CHANNEL C25 FROM B1.2 TO B19 WITH S25;CHANNEL C24 FROM B1.2 TO B24 WITH S27;

    END_SUBBLOCK B1.1,B1.2;END_BLOCK B1;

    BLOCK B17;BLOCK B17 interconnection area B2,B19;

    CHANNEL C26 FROM ENV TO B19 WITH S26;SPLIT C26 INTO C26.1,C26.2;CHANNEL C26.1 FROM B17 TO B19 WITH S26;

    process P1;

    state S1;input I1;output O1;task Counter=0;//resetarea numrtoruluiSet T(10);//setarea timpului timer-ului cu 10 milisecunde

    nextstate S2;input I1::=C27;

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    6/10

    output O1::=C26.1;C26.1::=10*C27;

    nextstate S3;

    endprocess P1;END_BLOCK B17;

    BLOCK B18;BLOCK B18 interconnection area B2,B19;CHANNEL C26.2 FROM B18 TO B19 WITH S26;END_BLOCK B18;END _SYSTEM R;

    System_heading_definition::SYSTEM D;

    Block_definition_set::B10,B13,B14,B21,B22,B23,B24,B25;Channel_definition_set::C10,C9,C11,C12,C13,C15,C14,C16,C20,C17,C19,C21,

    C18,C36,C35;Signal_definition_set::S10,S9,S11,S12,S13,S15,S14,S16,S20,S17,S19,S21,S18,

    S36,S35;

    Data_type_definition::;END_ System_heading_definition::SYSTEM D;System D::Balti;

    BLOCK B10;BLOCK B10 interconnection area B5,B8,B15,B16,B20,B26,B27,B28,B29;SUBBLOCK B10.1,B10.2,B10.3,B10.4 is associated with BLOCK B10;

    CHANNEL C9.1 FROM B5 TO B10.1 WITH S9;CHANNEL C10 FROM B10.2 TO B8 WITH S10;CHANNEL C15 FROM B10.2 TO B10.3 WITH S15;CHANNEL C16 FROM B10.3 TO ENV WITH S16;

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    7/10

    SPLIT C16 INTO C16.1,C16.2;CHANNEL C16.1 FROM B10.3 TO ENV WITH S16;

    SPLIT C16.2 INTO C16.2.1,C16.2.2;

    CHANNEL C16.1 FROM B10.3 TO B10.4 WITH S16;CHANNEL C16.2.1 FROM B10.3 TO B21 WITH S16;

    CHANNEL C16.2.2 FROM B10.3 TO B23 WITH S16;CHANNEL C12 FROM B14 TO B10.3 WITH S14;CHANNEL C14 FROM B10.4 TO B15 WITH S14;END SUBBLOCK B10.1,B10.2,B10.3, B10.4;END_BLOCK B10;

    BLOCK B13;BLOCK B13 interconnection area B5,B10.1,B15;

    CHANNEL C11 FROM B13 TO B15 WITH S11;END BLOCK B11;

    BLOCK B14;BLOCK B14 interconnection area B10.3,B16;

    CHANNEL C13 FROM B16 TO B14 WITH S13;END_BLOCK B14;

    BLOCK B21;

    BLOCK B21 interconnection area B10.3,B10.4,B22,B23;CHANNEL C17 FROM B21 TO ENV WITH S17;SPLIT C17 INTO C17.1,C17.2;

    CHANNEL C17.1 FROM B21 TO B22 WITH S17;CHANNEL C17.2 FROM B21 TO B23 WITH S17;END_BLOCK B21;

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    8/10

    BLOCK B23;BLOCK B23 interconnection area B10.3,B10.4,B20,B21,B22;

    CHANNEL C20 FROM B23 TO B20 WITH S20;

    END_BLOCK B23;

    BLOCK B25;BLOCK B25 interconnection area B24,B27;CHANNEL C19 FROM B25 TO B24 WITH S19;CHANNEL C21 FROM B27 TO B25 WITH S21;END_BLOCK B25;

    BLOCK B22;BLOCK B22 interconnection area B21,B23,B24;

    CHANNEL C18 FROM B22 TO B24 WITH S18;END_BLOCK B22;

    BLOCK B24;BLOCK B24 interconnection area B22,B25,B26,B28,B29;

    CHANNEL C36 FROM B24 TO B26 WITH S36;CHANNEL C35 FROM B29 TO ENV WITH S35;SPLIT C35 INTO C35.1,C35.2;CHANNEL C35.2 FROM B29 TO B24 WITH S35;

    END_BLOCK B24;

    END_SYSTEM D;

    BLOCK B15;BLOCK B15 interconnection area B1,B10,B13,B16,B20,B26;CHANNEL C22 FROM B15 TO B26 WITH S22;

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    9/10

    END_BLOCK B15;

    BLOCK B20;

    BLOCK B20 interconnection area B1,B15,B16,B23;CHANNEL C23.1 FROM B20 TO B15 WITH S23;

    CHANNEL C23.2 FROM B20 TO B16 WITH S23;END_BLOCK B20;

    BLOCK B19;BLOCK B19 interconnection area B1,B17,B18,B28;CHANNEL C33 FROM B19 TO B28 WITH S33;

    END_BLOCK B19;

    BLOCK B29;BLOCK B29 interconnection area B24,B26,B27,B28;CHANNEL C34 FROM B27 TO B29 WITH S34;CHANNEL C35.1 FROM B29 TO B28 WITH S35;END_BLOCK B29;

    BLOCK B27;BLOCK B27 interconnection area B1,B25,B26,B28,B29;CHANNEL C38 FROM B27 TO ENV WITH S38;

    SPLIT C38 INTO C38.1,C38.2;CHANNEL C38.1 FROM B27 TO B26 WITH S38;CHANNEL C38.2 FROM B27 TO B28 WITH S38;

    END_BLOCK B27;

    BLOCK B26;BLOCK B26 interconnection area B15,B24,B27,B28,B29;

  • 7/22/2019 Sdl 2000 Laborator Exemplu

    10/10

    CHANNEL C37 FROM B26 TO ENN WITH S37;END_BLOCK B26;

    END_SYSTEM A;STOP SYSTEM;