CY Chen

Thanks for your clarification. Does masking flows block the possibility to conduct an end-to-end latency analysis with Ocarina (e.g., via a backend)? Is there a plan to instantiate latencies or...

Thanks for your information. I have not tried REAL and I should definitely explore it. I'm generally interested in the analysis that's not beyond any typical use cases (analyzing end-to-end...

I realized that the output project file generated by `cheddar` backend is compatible with Cheddar's current `cheddarkernel` binary that accepts `2.x` format, so it would be a good idea to...

The `aadl_xml` backend has the same issue that it does not support nested system hierarchy. May I know if you have a plan for fixing it in `aadl_xml`? Let me...

Sure. Assuming the test AADL file is named `Test_Nested_System.aadl` shown as follows: ``` package Test_Nested_System public system deployment end deployment; system implementation deployment.impl subcomponents sec_sys: system second_layer_system.impl; end deployment.impl; system...

Thanks! Just verified that the latest code with the fix works as expected.

For this fix in `aadl_xml`, I'm wondering if the following line should also have the same, additional condition check: https://github.com/OpenAADL/ocarina/blob/1b28ef0a3a05721b404665beac7e0800e75927c2/src/backends/aadl_xml/ocarina-backends-aadl_xml-main.adb#L556 and have `Root_System_Processed` toggled in this block? In fact, would...