system-rm1.json

{
	"SystemInputStore": [
		{
			"name": "SystemInput"
		}
	],
	"SystemOutputStore": [
		{
			"name": "SystemOutput"
		}
	],
	"TaskStore": [
		{
			"name": "task_a",
			"initialOffset": 0,
			"activationOffset": 200000,
			"duration": 4500000,
			"period": 5000000,
			"inputs": [
				"in"
			],
			"outputs": [
				"out"
			],
			"wcet": 3000000,
			"acet": 2500000,
			"bcet": 2000000,
			"distribution": "Normal"
		},
		{
			"name": "task_b",
			"initialOffset": 0,
			"activationOffset": 500000,
			"duration": 1000000,
			"period": 2000000,
			"inputs": [
				"in"
			],
			"outputs": [
				"out"
			],
			"wcet": 500000,
			"acet": 400000,
			"bcet": 300000,
			"distribution": "Uniform"
		},
		{
			"name": "task_c",
			"initialOffset": 750000,
			"activationOffset": 0,
			"duration": 400000,
			"period": 1000000,
			"inputs": [
				"in1",
				"in2"
			],
			"outputs": [
				"out"
			],
			"wcet": 250000,
			"acet": 175000,
			"bcet": 100000,
			"distribution": "Weibull"
		}
	]
}