Skip to main content
Magline joins Rapita Trailblazer Partnership Program to support DO-178 Certification
Eve Air Mobility joins Rapita Systems Trailblazer Partnership Program for eVTOL projects
Rapita Systems launches MACH178 Foundations for multicore DO-178C compliance
Collins Aerospace and Rapita present award winning paper at DASC 2024
Data Coupling Basics in DO-178C
Control Coupling Basics in DO-178C
Components in Data Coupling and Control Coupling
The ‘A’ Team comes to the rescue of code coverage analysis
DO-278A Guidance: Introduction to RTCA DO-278 approval
ISO 26262
Data Coupling & Control Coupling
Verifying additional code for DO-178C
DO-178C Multicore In-person Training (Fort Worth, TX)
DO-178C Multicore In-person Training (Toulouse)
A paper on timing for real-time systems written in Safety-Critical Java caught our eye this week.
Written by academics at the University of Central Florida, the paper references our RapiTime product very favourably in a discussion on the integration of SafeJML (Java Modelling Language) with timing analysis tools.
“The Design of SafeJML, a Specification Language for SCJ with Support for WCET Specification” (by Ghaith Haddad, Faraz Hussain, Gary T. Leavens) was presented at the Java Technologies for Real-Time and Embedded Systems 2010 conference.
More information on the conference and the paper is available at JTRES 2010.
What do you think about SafeJML? Have you used it to power the software for your safety-critical systems? Does SafeJML have a role to play in the future development of safety-critical systems?
DO-178C webinars
White papers
Mitigation of interference in multicore processors for A(M)C 20-193
Developing DO-178C and ED-12C-certifiable multicore software
Efficient Verification Through the DO-178C Life Cycle
A Commercial Solution for Safety-Critical Multicore Timing Analysis
