Implementing Safety-Critical Java Missions in Ada

By the same authors

Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources
Zhao, S., Chang, W., Wei, R., Liu, W., Guan, N., Burns, A. & Wellings, A. J., 1 Jun 2020, (Accepted/In press)
Article in IEEE Transactions on Computers
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis
Chang, W., Wei, R., Zhao, S., Wellings, A. J., Woodcock, J. & Burns, A., 31 Mar 2020, (Accepted/In press)
Article in ACM Transactions in Embedded Computing Systems
A Complete Run-time Overhead-aware Schedulability Analysis for MrsP under Nested Resources
Zhao, S., Garrido, J., Wei, R., Burns, A., Wellings, A. J. & Puente, J. A. D. L., Jan 2020
Article in Journal of Systems and Software
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, LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. Phoenix AZ USA: ACM, p. 123-134 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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

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 › peer-review

Full text download(s)

Wellings
294 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