Ada User Journal - Research Database, The University of York

By the same authors

Towards an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems
Jiang, Z., Dai, X., Dong, P., Wei, R., Yang, D., Audsley, N. & Guan, N., 2021, (Accepted/In press)
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Meshed Bluetree: Time-Predictable Multimemory Interconnect for Multicore Architectures
Wang, H., Audsley, N. C., Hu, X. S. & Chang, W., 2 Oct 2020
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Re-Thinking Mixed-Criticality Architecture for Automotive Industry
Jiang, Z., Zhao, S., Dong, P., Yang, D., Wei, R., Guan, N. & Audsley, N., Oct 2020, Proceedings - 2020 IEEE 38th International Conference on Computer Design, ICCD 2020. Institute of Electrical and Electronics Engineers Inc., p. 510-517 8 p. 9283545. (Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors; vol. 2020-October).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Meshed Bluetree: Time-Predictable Multi-Memory Interconnect for Multi-Core Architectures
Wang, H., Audsley, N. C., Hu, S. & Chang, W., 7 Jul 2020, (Accepted/In press)
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
MCS-IOV: Real-time I/o virtualization for mixed-criticality systems
Jiang, Z., Audsley, N., Dong, P., Guan, N., Dai, X. & Wei, L., 3 Apr 2020, Proceedings - 2019 IEEE 40th Real-Time Systems Symposium, RTSS 2019. Institute of Electrical and Electronics Engineers Inc., p. 326-338 13 p. 9052193. (Proceedings - Real-Time Systems Symposium; vol. 2019-December).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

From the same journal

The Need for a Weaving Model in Assurance Case Automation
Hawkins, R. D., Habli, I. & Kelly, T., Sep 2015
Article in Ada User Journal
PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems
Davis, R. I., Vardanega, T., Andersson, J., Vatrinet, F., Pearce, M., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu-Grosjean, L., Patte, M., Farrall, G. & Cazorla, F. J., Jun 2014
Article in Ada User Journal
Ada and the software vulnerabilities project: The SPARK Annex
Burns, A., Tokar, J. L., Baird, S., Barnes, J., Chapman, R., Dismukes, G., González-Harbour, M., Michell, S., Moore, B., Pinho, L. M., Ploedereder, E., Real, J., Rosen, J. P., Schonberg, E., Taft, S. T. & Vardanega, T., 1 Dec 2010
Article in Ada User Journal
Multiprocessor systems session summary
Burns, A. & Wellings, A. J., 1 Dec 2010
Article in Ada User Journal
Progress report from the 14th international real-time ada workshop - IRTAW14
Burns, A., 1 Dec 2010
Article in Ada User Journal

From the same journal

The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS
Attwood, K. C., Kelly, T. & Conmy, P., Dec 2014, Ada User Journal, 35, 4, p. 251-258 7 p.
Research output: Contribution to specialist publication › Article

Ada User Journal: Editorial

Research output: Contribution to journal › Editorial › peer-review

Author(s)

Neil Audsley

Department/unit(s)

Computer Science

Publication details

Journal	Ada User Journal
Date	Published - 1 Jun 2002
Issue number	2
Volume	23
Number of pages	1
Original language	English

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

From the same journal

From the same journal

Ada User Journal: Editorial

Author(s)

Department/unit(s)

Publication details

Discover related content