IP 모델 추가

[sumannam]

특허 출원 준비로 소스 파일과 TDD 생성

[sumannam]

테스트코드에서 다수 스크립트가 작성되어 순서 표시 필요 아래 "order" 참고

{
    "log": {
        "author": "Su Man Nam",
        "data": "2023-01-22",
        "ver1": "Test Script Creation of IP Model [2023-01-22]"
    },
    "order": {
        "order_1": "1,2,4,5,6,6,7",
        "order_2": "1,4,6",
        "order_3": "3,4,6"        
    },
    "1": {
        "func": "delta_ext",
        "inject": "in g1 1",
        "assert": "state s = ( 10 busy g1  10 10 0.1 )"
    },
    "2": {
        "func": "delta_ext",
        "inject": "in g2 2",
        "assert": "state s = ( 0.1 interrupted g1 g2 10 8 0.1 )"
    },
    "3": {
        "func": "delta_ext",
        "inject": "urgent g3 3",
        "assert": "state s = ( 10 busy g3  10 10 0.1 )"
    },
    "4": {
        "func": "lambda_out",
        "assert": "y = message interrupted by g2"
    },
    "5": {
        "func": "delta_int",
        "assert": "state s = ( 8 busy g1 g2 10 8 0.1 )"
    },
    "6": {
        "func": "lambda_out",
        "assert": "y = out g1"
    },
    "7": {
        "func": "delta_int",
        "assert": "state s = ( inf passive g1 g2 10 8 0.1 )"
    }
}