Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

Piotr Dziurzanski; Robert Ian Davis; Leandro Soares Indrusiak

doi:10.1109/RTSS46320.2019.00015

Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

Piotr Dziurzanski, Robert Ian Davis, Leandro Soares Indrusiak

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 40th IEEE Real-Time Systems Symposium
Pages	43-55
DOIs	https://doi.org/10.1109/RTSS46320.2019.00015
Publication status	Published - 2 Apr 2020

Publication series

Name	Real-Time Systems Symposium
ISSN (Print)	1052-8725
ISSN (Electronic)	2576-3172

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Access to Document

10.1109/RTSS46320.2019.00015

CameraReadyPID6124345
This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Accepted author manuscript, 207 KB

SAFIRE
Soares Indrusiak, L. & Audsley, N. C.
EUROPEAN COMMISSION
1/10/16 → 30/09/19
Project: Research project (funded) › Research

Cite this

@inproceedings{c42bb3d392f14069b55364d5b07f8657,

title = "Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept",

author = "Piotr Dziurzanski and Davis, {Robert Ian} and {Soares Indrusiak}, Leandro",

note = "This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details. ",

year = "2020",

month = apr,

day = "2",

doi = "10.1109/RTSS46320.2019.00015",

language = "English",

isbn = "978-1-7281-6463-2",

series = "Real-Time Systems Symposium",

pages = "43--55",

booktitle = "Proceedings of the 40th IEEE Real-Time Systems Symposium",

}

TY - GEN

T1 - Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms

T2 - A Proof of Concept

AU - Dziurzanski, Piotr

AU - Davis, Robert Ian

AU - Soares Indrusiak, Leandro

N1 - This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

PY - 2020/4/2

Y1 - 2020/4/2

U2 - 10.1109/RTSS46320.2019.00015

DO - 10.1109/RTSS46320.2019.00015

M3 - Conference contribution

SN - 978-1-7281-6463-2

T3 - Real-Time Systems Symposium

SP - 43

EP - 55

BT - Proceedings of the 40th IEEE Real-Time Systems Symposium

ER -

Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

Publication series

Bibliographical note

Access to Document

Projects

SAFIRE

Cite this