{
    "name" : "simple_taskset",
    "template" : "templates/normal/",
    "includes" : [
        {
            "name" : "<embb/base/duration.h>"
        }
    ],
    "cpp_time_base" : "std::chrono::seconds",
    "embb_time_base" : "embb::base::DurationSeconds",
    "base_clock" : "std::chrono::system_clock",
    "data_description" : [
        {
            "name" : "task",
            "fields" : [
                {
                    "type" : "int",
                    "name" : "wcet"
                },
                {
                    "type" : "int",
                    "name" : "period"
                },
                {
                    "type" : "int",
                    "name" : "deadline"
                },
                {
                    "type" : "int",
                    "name" : "count"
                }
            ]
        }
    ],
    "data" : [
        {
            "type" : "task",
            "name" : "taskset", 
            "elem" : [
                {
                    "wcet": 5,
                    "period" : 10,
                    "deadline" : 15
                },
                {
                    "wcet": 5,
                    "period" : 10,
                    "deadline" : 15
                },
                {
                    "wcet": 5,
                    "period" : 10,
                    "deadline" : 15
                },
                {
                    "wcet": 5,
                    "period" : 10,
                    "deadline" : 15
                }
            ]
        }
    ]
}