sinelabore_working_principle.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg width="100%" height="100%" viewBox="0 0 573 138" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" xmlns:serif="http://www.serif.com/" style="fill-rule:evenodd;clip-rule:evenodd;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:1.5;">
    <g transform="matrix(1,0,0,1,-285.354,-109.624)">
        <g transform="matrix(1,0,0,1,-3.99317,-29.9015)">
            <path d="M710.804,161.515L701.041,149.571L651.067,149.571L651.067,226.002L722.749,226.002L722.749,173.479L710.804,161.515Z" style="fill:rgb(250,242,113);stroke:black;stroke-width:1px;"/>
        </g>
        <g transform="matrix(1,0,0,1,-1.558,16.5288)">
            <path d="M434.296,112.245C434.296,101.952 425.94,93.596 415.647,93.596L328.114,93.596C317.821,93.596 309.465,101.952 309.465,112.245L309.465,163.923C309.465,174.215 317.821,182.572 328.114,182.572L415.647,182.572C425.94,182.572 434.296,174.215 434.296,163.923L434.296,112.245Z" style="fill:rgb(241,210,8);fill-opacity:0.25;stroke:black;stroke-width:1px;"/>
        </g>
        <g transform="matrix(1,0,0,1,-273.94,61.2272)">
            <ellipse cx="591.938" cy="84.957" rx="3.349" ry="3.186" style="stroke:black;stroke-width:2px;"/>
        </g>
        <g transform="matrix(1,0,0,1,-185.668,57.5383)">
            <path d="M576.415,68.453C576.415,65.161 573.743,62.489 570.452,62.489L545.428,62.489C542.137,62.489 539.465,65.161 539.465,68.453L539.465,80.38C539.465,83.671 542.137,86.343 545.428,86.343L570.452,86.343C573.743,86.343 576.415,83.671 576.415,80.38L576.415,68.453Z" style="fill:rgb(241,210,8);fill-opacity:0.4;stroke:black;stroke-width:1px;"/>
        </g>
        <g transform="matrix(1,0,0,1,-195.912,47.5203)">
            <path d="M549.986,120.506C549.986,117.281 547.367,114.662 544.142,114.662L528.131,114.662C524.906,114.662 522.288,117.281 522.288,120.506L522.288,132.192C522.288,135.417 524.906,138.035 528.131,138.035L544.142,138.035C547.367,138.035 549.986,135.417 549.986,132.192L549.986,120.506Z" style="fill:rgb(241,210,8);fill-opacity:0.4;stroke:black;stroke-width:1px;"/>
        </g>
        <g transform="matrix(0.385553,0,0,0.329184,157.168,95.3483)">
            <path d="M549.986,120.506C549.986,117.281 547.75,114.662 544.997,114.662L527.277,114.662C524.524,114.662 522.288,117.281 522.288,120.506L522.288,132.192C522.288,135.417 524.524,138.035 527.277,138.035L544.997,138.035C547.75,138.035 549.986,135.417 549.986,132.192L549.986,120.506Z" style="fill:none;stroke:black;stroke-width:2.79px;"/>
        </g>
        <g transform="matrix(0.385553,0,0,0.329184,173.412,92.6345)">
            <path d="M549.986,120.506C549.986,117.281 547.75,114.662 544.997,114.662L527.277,114.662C524.524,114.662 522.288,117.281 522.288,120.506L522.288,132.192C522.288,135.417 524.524,138.035 527.277,138.035L544.997,138.035C547.75,138.035 549.986,135.417 549.986,132.192L549.986,120.506Z" style="fill:none;stroke:black;stroke-width:2.79px;"/>
        </g>
        <g transform="matrix(1,0,0,1,-140.618,47.4305)">
            <path d="M549.986,120.506C549.986,117.281 547.367,114.662 544.142,114.662L528.131,114.662C524.906,114.662 522.288,117.281 522.288,120.506L522.288,132.192C522.288,135.417 524.906,138.035 528.131,138.035L544.142,138.035C547.367,138.035 549.986,135.417 549.986,132.192L549.986,120.506Z" style="fill:rgb(241,210,8);fill-opacity:0.4;stroke:black;stroke-width:1px;"/>
        </g>
        <g transform="matrix(0.626644,0,0,1,-3.99057,47.5203)">
            <g transform="matrix(1.5958,-0,-0,1,461.737,62.104)">
                <path d="M50.704,44.946L49.916,50.296L45.28,47.511" style="fill:none;stroke:black;stroke-width:2px;stroke-linejoin:miter;stroke-miterlimit:10;"/>
                <path d="M32.778,35.676C35.555,36.612 41.109,38.484 44.093,41.193C46.354,43.245 48.51,47.375 49.916,50.296" style="fill:none;stroke:black;stroke-width:2px;"/>
            </g>
        </g>
        <g transform="matrix(0.999996,0.00279236,-0.00279236,0.999996,-195.514,45.9527)">
            <g transform="matrix(0.999996,-0.00279236,0.00279236,0.999996,481.044,62.3287)">
                <path d="M89.619,66.285L95.026,66.408L92.833,71.352" style="fill:none;stroke:black;stroke-width:2px;stroke-linejoin:miter;stroke-miterlimit:10;"/>
                <path d="M70.136,70.666C72.798,71.613 78.121,73.509 82.087,72.725C85.896,71.972 91.431,68.669 95.026,66.408" style="fill:none;stroke:black;stroke-width:2px;"/>
            </g>
        </g>
        <g transform="matrix(1,0,0,1,-195.912,47.5203)">
            <g transform="matrix(1,-0,-0,1,481.266,62.104)">
                <path d="M76.193,55.194L70.796,55.552L72.541,50.433" style="fill:none;stroke:black;stroke-width:2px;stroke-linejoin:miter;stroke-miterlimit:10;"/>
                <path d="M108.877,51.51C103.884,49.731 93.897,46.174 87.311,47.03C81.474,47.79 74.861,52.466 70.796,55.552" style="fill:none;stroke:black;stroke-width:2px;"/>
            </g>
        </g>
        <g transform="matrix(0.566102,0,0,0.851526,59.5063,59.4649)">
            <g transform="matrix(1.76647,-0,-0,1.17436,398.952,58.9054)">
                <path d="M113.496,21.735L109.193,18.458L113.873,15.747" style="fill:none;stroke:black;stroke-width:2px;stroke-linejoin:miter;stroke-miterlimit:10;"/>
                <path d="M125.282,61.926C135.597,61.059 137.254,39.142 128.191,25.409C124.585,19.945 115.123,18.864 109.193,18.458" style="fill:none;stroke:black;stroke-width:2px;"/>
            </g>
        </g>
        <g transform="matrix(1.45495,0,0,1.49514,-449.452,7.75091)">
            <g transform="matrix(0.687311,-0,-0,0.668835,505.04,68.1365)">
                <path d="M83.308,22.144L76.873,24.037L79.22,17.752C79.144,19.872 81.188,22.068 83.308,22.144Z"/>
                <path d="M84.593,16.849C83.191,18.155 81.788,19.46 80.386,20.766" style="fill:none;stroke:black;stroke-width:2px;"/>
            </g>
        </g>
        <g transform="matrix(1,0,0,1,-195.912,47.5203)">
            <path d="M565.622,87.845C567.261,87.058 568.9,86.271 570.539,85.484" style="fill:none;stroke:black;stroke-width:1.5px;"/>
        </g>
        <g transform="matrix(1,0,0,1,-195.912,47.5203)">
            <g transform="matrix(1,-0,-0,1,481.266,62.104)">
                <path d="M61.98,45.172L60.305,50.315L56.202,46.791" style="fill:none;stroke:black;stroke-width:2px;stroke-linejoin:miter;stroke-miterlimit:10;"/>
                <path d="M68.655,20.243C65.402,22.172 58.896,26.029 57.665,31.007C56.487,35.774 58.76,44.74 60.305,50.315" style="fill:none;stroke:black;stroke-width:2px;"/>
            </g>
        </g>
        <g transform="matrix(1,0,0,1,-162.232,19.1555)">
            <text x="492.237px" y="162.054px" style="font-family:'ArialNarrow', 'Arial Narrow', sans-serif;font-stretch:condensed;font-size:20px;">S1</text>
        </g>
        <g transform="matrix(1,0,0,1,-162.232,19.1555)">
            <text x="492.237px" y="162.054px" style="font-family:'ArialNarrow', 'Arial Narrow', sans-serif;font-stretch:condensed;font-size:20px;">S1</text>
        </g>
        <g transform="matrix(1,0,0,1,-209.798,59.339)">
            <text x="494.433px" y="162.054px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">State Machine Diagrams</text>
            <text x="516.519px" y="178.578px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">from V<tspan x="562.449px 571.347px " y="178.578px 178.578px ">ar</tspan>ious <tspan x="610.183px 618.183px 627.082px " y="178.578px 178.578px 178.578px ">Too</tspan>ls</text>
        </g>
        <g transform="matrix(1,0,0,1,246.04,-36.0731)">
            <text x="492.237px" y="162.054px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">Easy to read and</text>
            <text x="492.237px" y="178.578px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">debuggable</text>
            <text x="492.237px" y="195.101px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">- Source Code</text>
            <text x="492.237px" y="211.625px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">- <tspan x="501.721px 509.721px 518.62px " y="211.625px 211.625px 211.625px ">Tes</tspan>t Cases</text>
            <text x="492.237px" y="228.148px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">- <tspan x="501.721px 510.901px 516.229px " y="228.148px 228.148px 228.148px ">Tra</tspan>ce</text>
            <text x="492.237px" y="244.671px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">- Simulation</text>
        </g>
        <g transform="matrix(1,0,0,1,-15.5568,51.339)">
            <text x="506.363px" y="162.054px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">Sinelabore</text>
            <text x="582.863px" y="162.054px" style="font-family:'Arial-ItalicMT', 'Arial', sans-serif;font-style:italic;font-size:16px;">R<tspan x="594.129px " y="162.054px ">T</tspan></text>
            <text x="493.773px" y="178.578px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">Model Checker &amp;</text>
            <text x="497.765px" y="195.101px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:16px;">Code Generator</text>
        </g>
        <g transform="matrix(1,0,0,1,-11.1311,-33.174)">
            <path d="M710.804,161.515L701.041,149.571L651.067,149.571L651.067,226.002L722.749,226.002L722.749,173.479L710.804,161.515Z" style="fill:rgb(250,242,113);stroke:black;stroke-width:0.9px;"/>
        </g>
        <g transform="matrix(1,0,0,1,-106.075,17.874)">
            <text x="492.237px" y="162.054px" style="font-family:'ArialNarrow', 'Arial Narrow', sans-serif;font-stretch:condensed;font-size:20px;">S2</text>
        </g>
        <g transform="matrix(0.881556,0,0,0.915522,75.1838,-114.401)">
            <path d="M507.207,254.472C505.177,254.275 503.131,254.275 501.101,254.472C501.329,256.822 501.329,259.172 501.101,261.521C498.868,261.801 496.685,262.386 494.612,263.26C493.239,261.339 492.064,259.304 491.087,257.155C489.23,258 487.458,259.022 485.798,260.209C487.171,262.129 488.346,264.164 489.323,266.314C487.53,267.672 485.931,269.27 484.573,271.064C482.424,270.087 480.389,268.912 478.468,267.539C477.282,269.199 476.259,270.97 475.415,272.828C477.564,273.805 479.599,274.98 481.519,276.352C480.645,278.426 480.06,280.609 479.781,282.841C477.431,283.07 475.081,283.07 472.731,282.841C472.534,284.872 472.534,286.917 472.731,288.948C475.081,288.72 477.431,288.72 479.781,288.948C480.06,291.181 480.645,293.364 481.519,295.437C479.599,296.81 477.564,297.985 475.415,298.962C476.259,300.819 477.282,302.59 478.468,304.25C480.389,302.878 482.424,301.703 484.573,300.726C485.931,302.519 487.53,304.118 489.323,305.476C488.346,307.625 487.171,309.66 485.798,311.581C487.458,312.767 489.23,313.79 491.087,314.634C492.064,312.485 493.239,310.45 494.612,308.529C496.685,309.403 498.868,309.988 501.101,310.268C501.329,312.618 501.329,314.968 501.101,317.317C503.131,317.515 505.177,317.515 507.207,317.317C506.979,314.968 506.979,312.618 507.207,310.268C509.44,309.988 511.623,309.403 513.696,308.529C515.069,310.45 516.244,312.485 517.221,314.634C519.078,313.79 520.85,312.767 522.51,311.581C521.137,309.66 519.962,307.625 518.985,305.476C520.778,304.118 522.377,302.519 523.735,300.726C525.884,301.703 527.919,302.878 529.84,304.25C531.026,302.59 532.049,300.819 532.894,298.962C530.744,297.985 528.709,296.81 526.789,295.437C527.663,293.364 528.248,291.181 528.527,288.948C530.877,288.72 533.227,288.72 535.577,288.948C535.774,286.917 535.774,284.872 535.577,282.841C533.227,283.07 530.877,283.07 528.527,282.841C528.248,280.609 527.663,278.426 526.789,276.352C528.709,274.98 530.744,273.805 532.894,272.828C532.049,270.97 531.026,269.199 529.84,267.539C527.919,268.912 525.884,270.087 523.735,271.064C522.377,269.27 520.778,267.672 518.985,266.314C519.962,264.164 521.137,262.129 522.51,260.209C520.85,259.022 519.078,258 517.221,257.155C516.244,259.304 515.069,261.339 513.696,263.26C511.623,262.386 509.44,261.801 507.207,261.521C506.979,259.172 506.979,256.822 507.207,254.472ZM504.154,275.195C510.059,275.195 514.854,279.989 514.854,285.895C514.854,291.8 510.059,296.595 504.154,296.595C498.249,296.595 493.454,291.8 493.454,285.895C493.454,279.989 498.249,275.195 504.154,275.195Z" style="fill:rgb(113,183,250);stroke:black;stroke-width:1.11px;"/>
        </g>
        <g transform="matrix(0.601148,0.0490979,-0.0533899,0.653699,271.007,-41.4048)">
            <path d="M509.338,254.753C505.905,254.181 502.403,254.181 498.971,254.753L498.974,262.483C496.236,263.088 493.626,264.17 491.262,265.677L485.798,260.209C482.968,262.232 480.491,264.708 478.468,267.539L483.936,273.003C482.429,275.367 481.348,277.977 480.742,280.715L473.012,280.711C472.441,284.143 472.441,287.646 473.012,291.078L480.742,291.075C481.348,293.812 482.429,296.423 483.936,298.787L478.468,304.25C480.491,307.081 482.968,309.558 485.798,311.581L491.262,306.112C493.626,307.62 496.236,308.701 498.974,309.307L498.971,317.037C502.403,317.608 505.905,317.608 509.338,317.037L509.334,309.307C512.072,308.701 514.682,307.62 517.046,306.112L522.51,311.581C525.34,309.558 527.817,307.081 529.84,304.25L524.372,298.787C525.879,296.423 526.96,293.812 527.566,291.075L535.296,291.078C535.867,287.646 535.867,284.143 535.296,280.711L527.566,280.715C526.96,277.977 525.879,275.367 524.372,273.003L529.84,267.539C527.817,264.708 525.34,262.232 522.51,260.209L517.046,265.677C514.682,264.17 512.072,263.088 509.334,262.483L509.338,254.753ZM504.154,275.781C509.736,275.781 514.268,280.313 514.268,285.895C514.268,291.477 509.736,296.009 504.154,296.009C498.572,296.009 494.04,291.477 494.04,285.895C494.04,280.313 498.572,275.781 504.154,275.781Z" style="fill:rgb(64,152,235);stroke:black;stroke-width:1.59px;"/>
        </g>
        <g transform="matrix(0.680691,0,0,0.484832,224.944,-2.4566)">
            <path d="M322.685,322.02L322.685,306.038L353.989,306.038L343.419,291.198L359.681,291.198L375.943,314.029L359.681,336.86L343.419,336.86L353.989,322.02L322.685,322.02Z" style="stroke:black;stroke-width:3.38px;"/>
        </g>
        <g transform="matrix(0.680691,0,0,0.484832,375.506,-2.4566)">
            <path d="M322.685,322.02L322.685,306.038L353.989,306.038L343.419,291.198L359.681,291.198L375.943,314.029L359.681,336.86L343.419,336.86L353.989,322.02L322.685,322.02Z" style="stroke:black;stroke-width:3.38px;"/>
        </g>
        <g transform="matrix(0.754092,-0.215627,0.122566,0.428637,117.012,227.476)">
            <path d="M593.106,167.686C592.51,171.522 591.32,179.194 589.905,183.336C588.761,186.684 586.557,189.875 584.617,192.539C582.793,195.042 579.774,197.893 578.264,199.318" style="fill:none;stroke:black;stroke-width:3.14px;stroke-linecap:butt;stroke-dasharray:3.14,3.14;"/>
        </g>
        <g transform="matrix(1,0,0,1,-11.7188,-97.1211)">
            <text x="654.178px" y="232.366px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:12px;">switch(stat</text>
            <text x="664.18px" y="244.759px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:12px;">case S1:</text>
            <text x="677.516px" y="257.151px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:12px;">....</text>
            <text x="664.18px" y="269.544px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:12px;">break;</text>
            <text x="664.18px" y="281.936px" style="font-family:'ArialMT', 'Arial', sans-serif;font-size:12px;">case S2:</text>
        </g>
        <g transform="matrix(0.625264,0,0,0.71831,0.059981,64.3456)">
            <ellipse cx="591.938" cy="84.957" rx="3.349" ry="3.186" style="stroke:black;stroke-width:2.97px;"/>
        </g>
    </g>
</svg>