Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleNovember 2023
Extending rely-guarantee thinking to handle real-time scheduling
Formal Methods in System Design (FMSD), Volume 62, Issue 1-3Pages 119–140https://doi.org/10.1007/s10703-023-00441-yAbstractThe reference point for developing any artefact is its specification; to develop software formally, a formal specification is required. For sequential programs, pre and post conditions (together with abstract objects) suffice; rely and guarantee ...
- research-articleOctober 2018
Algorithmic Complexity of Correctness Testing in MC-Scheduling
RTNS '18: Proceedings of the 26th International Conference on Real-Time Networks and SystemsPages 180–190https://doi.org/10.1145/3273905.3273916Previously, a lot of research has been done on scheduling a finite set of mixed criticality jobs with two levels of criticality on a single processor, which is also the subject of this work.
It has been claimed that testing the correctness of solutions ...
- articleJuly 2016
Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resources
The embedded system industry is facing an increasing pressure for migrating from single-core to multi- and many-core platforms for size, performance and cost purposes. Real-time embedded system design follows this trend by integrating multiple ...