Specification and Design for Timeliness

By the same authors

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)
Hawkins, R. D., Osborne, M., Parsons, M. S., Nicholson, M., McDermid, J. A. & Habli, I., 1 Aug 2022, 82 p.
Research output: Book/Report › Commissioned report
reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication
Zou, J., Dai, X. & McDermid, J. A., 12 Jul 2022
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
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
Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems
Gray, I., Chen, N., Zhao, S., Burns, A. & Chang, W., 29 Jun 2022, IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Compensating Adaptive Mixed Criticality Scheduling
Davis, R. I., Burns, A. & Bate, I., 7 Jun 2022, RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. Abdeddaïm, Y., Cucu-Grosjean, L., Nelissen, G. & Pautet, L. (eds.). Association for Computing Machinery (ACM), p. 81-93 13 p. (ACM International Conference Proceeding Series).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Working paper

Author(s)

H Kopetz
G Fohler
H Kantz
W Schuetz
R Zainlinger
A Burns
J A McDermid
A Bhattacharyya

Department/unit(s)

Computer Science

Publication details

Date	Published - 1990
Original language	English

Research areas

real-time system theory requirement architecture

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data

The York Research Database

By the same authors

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)

reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication

An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems

Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems

Compensating Adaptive Mixed Criticality Scheduling

Specification and Design for Timeliness

Author(s)

Department/unit(s)

Publication details

Research areas

Discover related content