• Maxime Perrotin's avatar
    Optimize timers in the vertical transformation · 289fe2d1
    Maxime Perrotin authored
    Add a filter mechanism that allows to specify which PI actually calls
    with RIs. This can save hundreds of AADL ports in large systems.
    Applied to timer only but to be extended when information linking PIs to
    RIs is available.
    289fe2d1
my_types.h 7.81 KB