Response-Time Analysis for Mixed Criticality Systems
S.K. Baruah, A. Burns and R. I. Davis
Bio-inspired Error Detection for Complex Systems
M. Drozda, I. Bate and J. Timmis
Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems
D. Maxim, O. Buffet, L. Santinelli, L. Cucu-Grosjean and R. I. Davis
Dynamics for WCET
David Griffin and Alan Burns
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
R.I. Davis, S. Kollmann, V. Pollex and F. Slomka
Model-based development of embedded systems - the MADES approach
I. Gray, N. Matragkas, N. Audsley, L. S. Indrusiak, D. Kolovos and R. Paige
Model-based hardware generation and programming - the MADES approach
I. Gray, N. Matragkas, N. Audsley, L. S. Indrusiak, D. Kolovos and R. Paige
FPZL Schedulability Analysis
R.I. Davis and A. Burns
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
R. I. Davis, S. Kollmann, V. Pollex and F. Slomka
Comparing Models of Nondeterministic Expression Evaluation
Ian J. Hayes, Alan Burns, Brijesh Dongol and Cliff B. Jones
Exploring Heterogeneous NoC-based MPSoCs: from FPGA to High-Level Modeling
L. Ost, G. M. Almeida, M. Mandelli, E. Wachter, S. Varyani, L. S. Indrusiak, G. Sassatelli, M. Robert and F. Moraes
Exploring NoC-Based MPSoC Design Space with Power Estimation Models
L. Ost, G. M. Guindani, F. G. Moraes, L. S. Indrusiak and S. Maatta
Safety-Critical Java Technology Specification, Public draft
Doug Locke, B. Scott Andersen, Ben Brosgol, Mike Fulton, Thomas Henties, James J. Hunt, Johan Olmütz Nielsen, Kelvin Nilsen, Martin Schoeberl, Joyce Tokar, Jan Vitek and Andy Wellings
Safety-critical Java in Circus
Ana Cavalcanti, Andy Wellings, Jim Woodcock, Kun Wei and Frank Zeyda
The Safety-Critical Java Mission Model: A Formal Account.
Frank Zeyda, Ana Cavalcanti and Andy J. Wellings