All blogs Tags - Any -AdaCCode coverageConditionsFACEInstrumentationLicensingMC/DCMulticoreRapiCoverRapiCover ZeroRapitaRapiTaskRapiTask ZeroRapiTestRapiTetrisRapiTimeRapiTime ZeroRTBxRVSSchedulingTestingTiming analysisTool qualificationWCETZero-footprint Tags (field_blog_tags) - Any -CAST-32ADO-178B/CEmbeddedISO26262LicensingOptimizationQualificationResearch projectsSoftware licensing Presenting a safety case Our blogs typically concentrate on technical details which will help with the detailed verification of your software. 2015-08-13 QualificationTool qualification 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 Multicore Breaking the switch statement While refreshing our RapiCover qualification kit, we looked harder for corner-cases and undefined be 2015-06-12 QualificationCode coverageTool qualification 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 DO-178B/CTiming analysis 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 Code coverageRapiCover 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 DO-178B/CCode coverageMC/DC Function pointers and their impact on stack analysis Function pointers present a real problem for static code analysis, including when calculating stack usage.… 2015-03-04 DO-178B/CEmbedded Philippa explains: "What is MC/DC?" Philippa explains to Lucy: 2015-02-17 Code coverageMC/DC Pagination First page « First Previous page ‹ Previous … Page 2 Page 3 Page 4 Page 5 Current page 6 Page 7 Page 8 Page 9 Page 10 … 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 Tool qualification MC/DC Rapita RTBx Scheduling RVS Ada CAST-32A DO-178B/C C RapiCover RapiTest RapiTask RapiTime RapiTetris Embedded ISO26262 Optimization Research projects All Blogs