Implementing Safety-Critical Java Missions in Ada

By the same authors

Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis
Chang, W., Wei, R., Zhao, S., Wellings, A., Woodcock, J. & Burns, A., Nov 2020
Article in ACM Transactions on Embedded Computing Systems
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: Association for Computing Machinery, p. 123-134 12 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