All blogs Concept (field_concept) - Any -AdaMulticoreWCETTiming analysisTestingSchedulingRTOSQualificationOptimizationMC/DCC/C++ISO 26262Interference generatorsInstrumentationFACEEmbeddedDO-178B/CCode coverageA(M)C 20-193Zero footprint Related products (field_related_products) - Any -RVSRapiTestRapiCoverRapiTimeRapiTaskRapiCoverZeroRapiTimeZeroRapiTaskZeroRTBxMACH178RapiDaemonsRapiComplyMx-Suite General tags (field_general_tags) - Any -AerospaceAutomotiveEventLicensingRapitaRapiTetrisResearch projectSpace Generating low level tests from system tests Learn about the development of RVS technology that automatically generates unit tests from your system… 2020-07-07 Evolving language support in RVS: Libadalang Learn how we've been using AdaCore's libadalang library to improve the efficiency of our software verification tools… 2020-04-09 Solar Orbiter's mission to study the Sun's behavior Find out how the Solar Orbiter satellite aims to understand how the Sun creates and controls the heliosphere using… 2020-03-30 Working from home, Rapita style Discover tips and tricks for working from home from Rapita staff. 2020-03-19 Out of the box RVS integration for DDC-I's Deos RTOS Our RVS integration with the Deos RTOS promises to offer an out-of-the-box solution, significantly… 2020-02-23 Race condition testing Learn more about how RVS supports race condition testing for critical software. 2019-11-20 Why Static analysis doesn't work for Multicore WCET estimation Learn why static analysis techniques aren't applicable for timing analysis on multicore systems and why a measurement-… 2019-10-07 The origin of the name "Rapita" Why does Rapita Systems owe so much to a small, idyllic fishing village with links to pirates? 2019-07-30 How did the first real-time embedded system also produce the first timing bug? It's over 40 years since one of the first real-time operating systems was designed for the first computer using… 2019-07-16 Test your Ada skills with our puzzle Produced by our software engineer Jack W for the Ada Europe 2019 even 2019-06-18 False positive and false negative in software testing ‘False positive’ and ‘false negative’ are terms commonly heard in software verification. But depending on whether you… 2019-05-22 Rapita turns 15 Rapita Systems turned 15 on 30th April (2019), offering the perfect 2019-04-25 Pagination First page « First Previous page ‹ Previous Page 1 Page 2 Current page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next › Last page Last » RapiTimes Subscribe to the RapiTimes newsletter to receive updates about our blog posts, webinars, product releases, white papers and industry news. Subscribe Popular tags Code coverage Timing analysis Multicore FACE Testing WCET Qualification MC/DC A(M)C 20-193 Rapita RTBx Scheduling RVS Ada MACH178 DO-178B/C C RapiCover RapiTest RapiTask RapiTime RapiTetris Embedded ISO26262 Optimization Research project All Blogs