Author:
Burns Alan,Jones Cliff B.
Publisher
Springer Nature Switzerland
Reference29 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Bozhko, S., Brandenburg, B.B.: Abstract response-time analysis: a formal foundation for the busy-window principle. In: Proceedings of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), pp. 6.1–6.23 (2020)
3. Baruah, S.K., Burns, A., Davis, R.I.: Response-time analysis for mixed criticality systems. In: Proceedings IEEE Real-Time Systems Symposium (RTSS), pp. 34–43 (2011)
4. Burns, A., Davis, R.I.: Adaptive mixed criticality scheduling with deferred preemption. In: Proceedings of IEEE Real-Time Systems Symposium (RTSS), pp. 21–30 (2014)
5. Burns, A., Davis, R.I.: A survey of research into mixed criticality systems. ACM Comput. Surv. 50(6), 1–37 (2017)