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 Supporting Duff's Device in RVS Nested “case” labels are an obscure feature of C, and not often seen. However, examples do exist, typically hidden deep… 2016-06-10 Ada enumerations are sometimes functions In Ada, you declare a new enumeration type by providing a list of literals: 2016-04-18 What happened first? Handling timer wraparound Suppose you had to determine which of two timestamps occurred first. Clearly the “obvious“ approach is to use a simple… 2016-01-08 Conditional code without branches The difficulty of showing that real-time software safely executes within an allotted time budget arises from the… 2015-12-10 A funny thing happened on the way to a Worst-Case Execution Time Conference... 2015-10-09 How do I demonstrate the safe use of instrumented source code analysis? In the second of two related blog posts, I describe one method to present a certification argument for the use of ins 2015-08-21 Presenting a safety case Our blogs typically concentrate on technical details which will help with the detailed verification of your software. 2015-08-13 Summer fun: computer games for programmers As it's the time of summer vacations, I thought it would be interesting to look at something a little more light-hear 2015-07-23 Breaking the switch statement While refreshing our RapiCover qualification kit, we looked harder for corner-cases and undefined be 2015-06-12 Software randomization of execution times for avionic systems Among the wide range of research work we've done during the past, one of the "most blue sky" areas has been in the ar 2015-05-05 What are the overheads of code coverage? Using "Doom" as an example One question that we are frequently asked is what instrumentation overhead RapiCover introduces. 2015-05-01 CAST-10 "Literal" Interpretation of Decision Coverage Increases Rigor of Testing Requirements The Certification Authorities Software Team (CAST) issue guidance on various issues regarding the interpretation of D 2015-03-25 Pagination First page « First Previous page ‹ Previous Page 1 Page 2 Page 3 Page 4 Current 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