STRATA; Layers for Structuring Trustworthy Ambient Systems

Burns, Alan (Principal investigator)

Computer Science

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/06/16 → 31/05/21

Funding

EPSRC: £212,189.83

8 Conference contribution
8 Article
1 Chapter
1 Paper

Optimally ordering IDK classifiers subject to deadlines
Baruah, S., Burns, A., Davis, R. I. & Wu, Y., 1 Mar 2023, In: Real-Time Systems. 59, 34 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
A Framework for Multi-core Schedulability Analysis Accounting for Resource Stress and Sensitivity
Davis, R. I., Griffin, D. J. & Bate, I. J., 19 Feb 2022, (E-pub ahead of print) In: Real-Time Systems. 58 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems
Burns, A. & Jones, C., 5 Jul 2022, Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). ACM, 23 p. 12
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File