Implementing Safety-Critical Java Missions in Ada

By the same authors

From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited Paper): From Java to Real-Time Java: A Model-Driven Methodology
Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jul 2019.
Research output: Contribution to conference › Paper
From Java to real-time Java: a model-driven methodology with automated toolchain
Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, p. 123-134. 12 p.
Research output: Contribution to conference › Paper
New Schedulability Analysis for MrsP
Zhao, S., Garrido, J., Burns, A. & Wellings, A. J., 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, p. 1 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Supporting Nested Resources in MrsP
Garrido, J., Zhao, S., Burns, A. & Wellings, A. J., 2017, p. 73-86. 14 p.
Research output: Contribution to conference › Paper
Synchronous Task Control and Synchronous Barriers
Burns, A. & Wellings, A. J., 13 Jul 2016
Article in ACM Ada Letters

From the same journal

Synchronous Task Control and Synchronous Barriers
Burns, A. & Wellings, A. J., 13 Jul 2016
Article in ACM Ada Letters
The Deadline Floor Protocol and Ada
Burns, A. & Wellings, A. J., 13 Jul 2016
Article in ACM Ada Letters
Session Summary: Deadline Floor Protocol
Burns, A. & Wellings, A., 1 Jul 2016
Article in ACM Ada Letters
Interrupts, Timing Events and Dispatching Domains
Burns, A. & Wellings, A. J., 2015
Article in ACM Ada Letters

Research output: Contribution to journal › Article

Full text download(s)

Wellings
293 KB, PDF document

Published copy (DOI)

10.1145/2971571.2971578

Author(s)

Department/unit(s)

Computer Science

Publication details

Journal	ACM Ada Letters
Date	Published - 1 Jul 2016
Issue number	1
Volume	36
Number of pages	12
Pages (from-to)	51-62
Original language	English

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

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