{"id":17053968,"url":"https://github.com/vertexclique/cekic","last_synced_at":"2025-03-23T05:44:22.200Z","repository":{"id":145767467,"uuid":"159577297","full_name":"vertexclique/cekic","owner":"vertexclique","description":"Experimental system model generator for RTS","archived":false,"fork":false,"pushed_at":"2018-12-23T23:22:27.000Z","size":2973,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-28T12:36:25.005Z","etag":null,"topics":["automotive-applications","execution-tracer","model-checking","model-exploration","model-export","osek","rts","system-modeling"],"latest_commit_sha":null,"homepage":"","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/vertexclique.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-11-28T23:08:56.000Z","updated_at":"2023-09-01T13:44:21.000Z","dependencies_parsed_at":null,"dependency_job_id":"46492823-4801-4dc3-b6a2-4e0dabd0ca10","html_url":"https://github.com/vertexclique/cekic","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vertexclique%2Fcekic","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vertexclique%2Fcekic/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vertexclique%2Fcekic/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vertexclique%2Fcekic/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vertexclique","download_url":"https://codeload.github.com/vertexclique/cekic/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245061384,"owners_count":20554563,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["automotive-applications","execution-tracer","model-checking","model-exploration","model-export","osek","rts","system-modeling"],"created_at":"2024-10-14T10:13:43.851Z","updated_at":"2025-03-23T05:44:22.175Z","avatar_url":"https://github.com/vertexclique.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"\n![](img/cekic.png)\n\n-----\nThis application creates:\n* Approximately system that can be classified under automotive domain\n    * With that, it also creates runnable listing.\n* Bare OSEK style RTS system mappings (which is by default)\n\n## Installation and Development\nYou need to have `sbt` and `JDK` installed and appended to path.\nYou can assemble überjar with:\n```bash\n$ ./assemble.sh\n``` \n\nThere are two ways of running:\n### Running überjar\nYou can run the überjar after assembly phase with:\n```bash\n$ ./run.sh\n```\nYou can tweak the generation process parameters inside the `run.sh`.\n\n### Running native image\nfor native executable generation you need to have `GraalVM`.\nCurrently it is problematic because of AWT dependencies.\nIf you have `GraalVM` you can run:\n```bash\n$ ./genimage.sh\n```\n\n## Usage (commands \u0026 arguments)\n\n```\nUsage: cekic [automotive|osek] [options]\n\nCommand: automotive\nGenerates automotive industry conforming application\nCommand: osek\nGenerates bare OSEK style application (default)\n  -o \u003cfile\u003e | --out \u003cfile\u003e\n        out is the path to which the testcases are to be stored\n  -f \u003cvalue\u003e | --fout \u003cvalue\u003e\n        fout is the generic name of the test cases\n  -a \u003cvalue\u003e | --sysCount \u003cvalue\u003e\n        a is the count of the systems that will be generated from the specification\n  -k \u003cvalue\u003e | --appCount \u003cvalue\u003e\n        k is the amount of the application that will be generated for the system\n  -s \u003cvalue\u003e | --seed \u003cvalue\u003e\n        s is seed for system generation\n  -p \u003cvalue\u003e | --processors \u003cvalue\u003e\n        p is processor count for the underlying system\n  -c \u003cvalue\u003e | --commRes \u003cvalue\u003e\n        c is communication resource count\n  -t \u003cvalue\u003e | --taskCnt \u003cvalue\u003e\n        t is task count inside of a task chain\n  -m \u003cvalue\u003e | --taskMapper \u003cvalue\u003e\n        m maps task chains such that only tasks that are adjacent in the task graph are mapped to the same processor\n  -r \u003cvalue\u003e | --assignRandomPrio \u003cvalue\u003e\n        r assigns priorities randomly but ensures that tasks in the front of a task chain receives higher priorities\n  --minu \u003cvalue\u003e\n        minu is minimum resource utilization\n  --maxu \u003cvalue\u003e\n        maxu is maximum resource utilization\n  --minap \u003cvalue\u003e\n        minap is minimum activation period\n  --maxap \u003cvalue\u003e\n        maxap is maximum activation period\n  --bcet \u003cvalue\u003e\n        bcet is set as percentage of WCET\n  --minlax \u003cvalue\u003e\n        minlax is minimum constraint laxity\n  --maxlax \u003cvalue\u003e\n        maxlax is minimum constraint laxity\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fvertexclique%2Fcekic","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fvertexclique%2Fcekic","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fvertexclique%2Fcekic/lists"}