Ada and the software vulnerabilities project - Research Database, The University of York

By the same authors

An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems
Burns, A. & Jones, C., 5 Jul 2022, Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). ACM, 23 p. 12
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Compensating Adaptive Mixed Criticality Scheduling
Davis, R. I., Burns, A. & Bate, I. J., 7 Jun 2022, International Conference on Real-Time Networks and Systems. Abdeddaïm, Y., Cucu-Grosjean, L., Nelissen, G. & Pautet, L. (eds.). ACM, 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Functional Uncertainty in Real-Time Safety-Critical Systems
Baruah, S., Burns, A. & Griffin, D. J., 7 Jun 2022, Proceeding Real-Time Networks and Systems. ACM, 11 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Optimally ordering IDK classifiers subject to deadlines
Baruah, S., Burns, A., Davis, R. I. & Wu, Y., 14 May 2022, (E-pub ahead of print)
Article in Real-Time Systems
Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling
Bate, I. J., Burns, A. & Davis, R. I., 5 May 2022, Proceedings 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS). p. 187-200
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

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

Ada and the software vulnerabilities project: The SPARK Annex

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

Author(s)

Alan Burns
Joyce L. Tokar
Stephen Baird
John Barnes
Rod Chapman
Gary Dismukes
Michael González-Harbour
Stephen Michell
Brad Moore
Luis Miguel Pinho
Erhard Ploedereder
Jorge Real
J. P. Rosen
Ed Schonberg
S. Tucker Taft
T. Vardanega

Department/unit(s)

Publication details

Journal	Ada User Journal
Date	Published - 1 Dec 2010
Issue number	4
Volume	31
Number of pages	12
Pages (from-to)	278-289
Original language	English

Abstract

In a previous article [1] we published the Ada [2] Annex to the Technical Report (TR) on software vulnerabilities [3], developed by ISO/IEC JTC 1/SC 22/WG 23. This article completes this work, with the annex concerning SPARK [4]*.

Research areas

Ada, Software vulnerabilities, Software vulnerability, SPARK

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 and the software vulnerabilities project: The SPARK Annex

Author(s)

Department/unit(s)

Publication details

Abstract

Research areas

Discover related content