Your browser does not support JavaScript! Skip to main content
Free 30-day trial Customer portal Careers DO-178C Handbook
 
Rapita Systems
 

Industry leading verification tools & services

Rapita Verification Suite (RVS)

  RapiTest - Unit/system testing   RapiCover - Structural coverage analysis   RapiTime - Timing analysis (inc. WCET)   RapiTask - Scheduling visualization   RapiCoverZero - Zero footprint coverage analysis   RapiTimeZero - Zero footprint timing analysis   RapiTaskZero - Zero footprint scheduling analysis

Multicore verification

  MACH178   Multicore Timing Solution   RapiDaemons

Services

  V & V Services   Qualification   Training   Tool Integration  Support

Industries

  Aerospace (DO-178C)   Automotive (ISO 26262)   Space

Other

  RTBx   Mx-Suite   Software licensing   Product life cycle policy  RVS development roadmap

Latest from Rapita HQ

Latest news

RVS 3.18 Launched
Solid Sands partners with Rapita Systems
Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain
Rapita co-authored paper wins ERTS22 Best paper award
View News

Latest from the Rapita blog

Measuring response times and more with RapiTime
Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects
There are how many sources of interference in a multicore system?
Supporting modern development methodologies for verification of safety-critical software
View Blog

Latest discovery pages

do178c DO-178C Guidance: Introduction to RTCA DO-178 certification
matlab_simulink MATLAB® Simulink® MCDC coverage and WCET analysis
code_coverage_ada Code coverage for Ada, C and C++
amc-20-193 AMC 20-193
View Discovery pages

Upcoming events

Aeromart Montreal 2023
2023-04-04
Certification Together International Conference
2023-05-10
View Events

Technical resources for industry professionals

Latest White papers

DO178C Handbook
Efficient Verification Through the DO-178C Life Cycle
A Commercial Solution for Safety-Critical Multicore Timing Analysis
Compliance with the Future Airborne Capability Environment (FACE) standard
View White papers

Latest Videos

Streamlined software verification with RVS 3.18
Sequence analysis with RapiTime
Visualize call dependencies with RVS thumbnail
Visualize call dependencies with RVS
Analyze code complexity thumbnail
Analyze code complexity with RVS
View Videos

Latest Case studies

Supporting ISO 26262 ASIL D software verification for EasyMile
RapiCover’s advanced features accelerate the certification of military UAV Engine Control
Front cover of whitepaper collins
Delivering world-class tool support to Collins Aerospace
View Case studies

Other Downloads

 Webinars

 Brochures

 Product briefs

 Technical notes

 Research projects

Discover Rapita

Who we are

The company menu

  • About us
  • Customers
  • Distributors
  • Locations
  • Partners
  • Research projects
  • Contact us

US office

+1 248-957-9801
info@rapitasystems.com
Rapita Systems, Inc.
41131 Vincenti Ct.
Novi
MI 48375
USA

UK office

+44 (0)1904 413945
info@rapitasystems.com
Rapita Systems Ltd.
Atlas House
Osbaldwick Link Road
York, YO10 3JB
UK

Spain office

+34 930 46 42 72
info@rapitasystems.com
Rapita Systems S.L.
Parc UPC, Edificio K2M
c/ Jordi Girona, 1-3, Office 306-307
Barcelona 08034
Spain

Working at Rapita

Careers

Careers menu

  • Current opportunities & application process
  • Working at Rapita
Back to Top

Breadcrumb

  1. Home
  2. RVS
  3. RapiDaemons
RapiDaemons

Analyze interference in multicore systems

RapiDaemons

Why choose RapiDaemons?

  •  Analyze interference in multicore systems
  •  Produce evidence for DO-178C and A(M)C 20-193
  •  Evaluate multicore hardware and RTOS
  •  Evaluate worst-case timing scenarios robustly
Contact us
  • Overview
  • Features
  • Resources
  • FAQs

Analyze interference in multicore systems

Interference effects in multicore systems can affect the timing behavior and predictability of software.

RapiDaemons support the analysis of interference in multicore systems by creating configurable degrees of contention on specific hardware resources during testing.

analyze multicore interference
produce AMC20193 evidence

Produce evidence for DO-178C and A(M)C 20-193

DO-178C and A(M)C 20-193 together provide guidelines for the use of multicore systems in critical aerospace software development.

Some of the key objectives in A(M)C 20-193 relate to multicore timing analysis. RapiDaemons support this by applying configurable degrees of contention to hardware resources, allowing timing behavior to be analyzed while multicore interference is present in a controlled manner. The behavior of RapiDaemons is validated, making them suitable for use in DO-178C-compliant process.

Evaluate multicore hardware and RTOS

Different multicore systems can exhibit a range of interference behaviors. A combination of hardware, RTOS and software architecture decisions may support the development of software with predictable timing behavior, or may impede it.

RapiDaemons support the evaluation of multicore hardware and RTOSs by letting you quantify the timing behavior of applications running on these systems under a range of interference scenarios.

evaluate hardware and RTOS
evaluate worst-case scenarios

Evaluate worst-case timing scenarios robustly

RapiDaemons allow you to investigate a range of interference scenarios including “worst-case” scenarios and support robustness testing for timing behavior.

The Surrogate RapiDaemons tool produces Surrogate applications that produce a predefined interference behavior. This is often used to generate interference similar to that produced by a real application, letting you test realistic scenarios without needing to have every application running. To support robustness testing for timing behavior, the Discovery RapiDaemons tool lets you generate applications that cause extremely high interference.

Product features

  • Analyze interference in multicore systems Analyze multicore timing behavior under a range of interference scenarios.
    Discover this feature
  • Verify performance counters Verify the behavior of performance counters on your system.
    Discover this feature
  • Standard RapiDaemons Generate interference and study interference effects on common interference channels.
    Discover this feature
  • Advanced RapiDaemons Generate interference and study interference effects on complex interference channels.
    Discover this feature
  • Tuneable RapiDaemons Fine-grained analysis through configurable contention on shared resources.
    Discover this feature
  • Surrogate RapiDaemon tool Automatically combine RapiDaemons to mimic the interference profile of your applications.
    Discover this feature
  • Porting and customization RapiDaemons are customized for use with your multicore environment.
    Discover this feature
  • Flexible licensing options Options suitable for projects of different sizes licensed on an annual or perpetual basis.
    Discover this feature

Videos

Multicore Avionics Certification for High-integrity DO-178C projects
Multicore Avionics Certification for High-integrity DO-178C projects
00:03:02 | Overview
 
Enabling cost-effective modular avionics with FACE
00:07:11 | Explainer
 
Verifying Multicore Systems supporting the FACE standard - ATW Global 2021
00:18:28 | Presentation
 
MASTECS Project
00:02:18 | Research project
 

Downloads

  Product brief
RapiDaemon Tool Qualification for DO-178C
  Product brief
MACH178
  Product brief
Target Integration Service
  Order Information sheet
RapiDaemon DO-178C Tool Qualification Order Information

Pagination

  • First page « First
  • Previous page ‹
  • Page 1
  • Current page 2

Pagination

  • First page « First
  • Previous page ‹
  • Page 1
  • Current page 2

Frequently asked questions

  • General
  • Qualification and certification
  • Compatibility
  • Licensing and support
Expand All
  • What is a RapiDaemon?  
  • How do I use RapiDaemons? 
  • Which hardware architectures can you analyze? 
  • What are 'porting' and 'configuration' of RapiDaemons  
  • Do I need to use RVS tools to use RapiDaemons?  
  • Do you have a standard set of RapiDaemons for my hardware?  
  • What do I get when I buy RapiDaemons? 
  • Do you verify the behavior of RapiDaemons?  
  • How are RapiDaemons licensed? 
  • What is a RapiDaemon?

    A RapiDaemon is an application designed to create contention in a predictable and controlled manner on a specific shared resource in a multicore system. The effect of this contention can then be measured to identify interference channels and impacts on execution times.

    Rapita have developed and optimized a set of standard RapiDaemons that target shared resources common to most multicore architectures, such as main memory. Some projects will require the creation of custom RapiDaemons for a specific architecture.

  • What are 'porting' and 'configuration' of RapiDaemons

    Before timing analysis can begin, it is essential to confirm that existing RapiDaemons operate as intended on a specific board. If they do not, it may be necessary to customize them to make them behave as they are designed to (a similar intention to a target integration, where we get the instrumented application software running on a specific target).

    'Porting’ and ‘configuration’ of RapiDaemons are roughly equivalent terms in this context. For RapiDaemons to work as intended, they need to go through a configuration phase where their internal parameters are tuned as required. They’re then tested to ensure compatibility with the platform in question.

    Each type of RapiDaemon may be implemented for a different instruction-set architecture and platform. While the main logic behind their behavior remains the same, they must be ported to execute correctly on each new platform.

  • Do you verify the behavior of RapiDaemons?

    Yes. We develop and test RapiDaemons against appropriate requirements, e.g. RapiDaemon M should access resource R when run N times.

  • Which hardware architectures can you analyze?

    We can analyze almost all hardware architectures. Our engineers work with you to determine the optimal strategy for integrating our RVS tools with your target, including hardware characterization and design considerations to best fit the hardware you're using.

    To work with an architecture that is new to us, we first identify which metrics we can collect from the hardware, then adapt RapiDaemons for the architecture and implement a strategy to collect data from it.

    For a list of multicore architectures, RTOSs, boards and middleware we've worked with, see our compatibility page.

  • How do I use RapiDaemons?

    RapiDaemons are delivered as object files that are compatible with your multicore platform. To configure these for use on your platform, these need to be linked together with your software’s object files. After this initial work, RapiDaemons can be automatically initialized using RapiTest and RapiTime.

    When we deliver RapiDaemons, we include documentation describing how to configure and initialize them.

  • Do I need to use RVS tools to use RapiDaemons?

    After linking RapiDaemons object files with your software (see “How do I use RapiDaemons?”), RapiDaemons are typically initialized through either RapiTest or RapiTime, which automate the initialization, making it easy to use RapiDaemons. You can, however, use RapiDaemons without using RVS tools.

  • Do you have a standard set of RapiDaemons for my hardware?

    Some of the multicore systems that we’ve worked with are listed in our FAQ “Which hardware architectures can you analyze?”. Standard RapiDaemons are available for many of the systems that we’ve analyzed. For more information, contact us.

  • What do I get when I buy RapiDaemons?

    We deliver RapiDaemons themselves as binary applications that are ported for compatibility with your multicore system. We also include documentation describing the purpose of each RapiDaemon in the library and how to use them. We recommend that you engage our multicore services to analyze your system and design interference channel testing, which uses RapiDaemons. We can equip you with the tools and tests to continue from there, or you can continue using our services to do it for you.

    We include support and maintenance for RapiDaemons, giving you access to our support team and to new RapiDaemons that we develop.

    Certification packages are available for RapiDaemons, including validation evidence for your use of RapiDaemons in projects complying with safety standards such as DO-178C.

  • How are RapiDaemons licensed?

    RapiDaemons are licensed for a number of calendar years.

    There are 3 licensing options for RapiDaemons, which suit projects using fewer or more multicore environments. For this purpose, a multicore environment includes the board, the CPU, and any external devices and configuration options being used, with any change to any of these yielding a new unique environment for licensing purposes.

    Single use licenses give you access to RapiDaemons for a single multicore environment or project.

    Re-useable licenses give you access to RapiDaemons for up to 3 multicore environments or projects.

    Product line licenses give you access to RapiDaemons for up to 10 multicore environments or projects.

  • Solutions
    • Rapita Verification Suite
    • RapiTest
    • RapiCover
    • RapiTime
    • RapiTask
    • MACH178

    • Verification and Validation Services
    • Qualification
    • Training
    • Integration
  • Latest
  • Latest menu

    • News
    • Blog
    • Events
    • Videos
  • Downloads
  • Downloads menu

    • Brochures
    • Webinars
    • White Papers
    • Case Studies
    • Product briefs
    • Technical notes
    • Software licensing
  • Company
  • Company menu

    • About Rapita
    • Careers
    • Customers
    • Distributors
    • Industries
    • Locations
    • Partners
    • Research projects
    • Contact
  • Discover
    • AMC 20-193
    • What is CAST-32A?
    • Multicore Timing Analysis
    • MC/DC Coverage
    • Code coverage for Ada, C & C++
    • Embedded Software Testing Tools
    • Aerospace Software Testing
    • Automotive Software Testing
    • Certifying eVTOL
    • DO-178C
    • WCET Tools
    • Worst Case Execution Time
    • Timing analysis (WCET) & Code coverage for MATLAB® Simulink®

All materials © Rapita Systems Ltd. 2023 - All rights reserved | Privacy information | Trademark notice Subscribe to our newsletter