Jerome Hugues

The current static allocation model cannot handle large message size required for image processing. As a special case, we introduce a dynamic memory allocator for those situations. See documentation in...

Support for large message

2

Both PolyORB-HI/Ada and PolyORB-HI/C must be revised to support larger messages. This is a requirement from the ESROCOS project. This issue supersedes openaadl/polyorb-hi-c#13

This commit https://github.com/OpenAADL/ocarina/commit/bdb2af0afa268e9976dec3aa679a296e6dbb5f78 generates all types in each partition, resulting in deactivated code. We must revisit this

Support of nested system hierarchy

8

PolyORB-HI/C and PolyORB-HI/Ada backends do not correctly handle situations where systems are inside systems, so as to model deep hierarchy.

This issue is to track progress in the support of SPARK 2014

It is time to deactivate AADLv1 code - [x] Deactivate examples in PolyORB-HI/Ada - [x] Deactivate examples in PolyORB-HI/C - [ ] Suppress code in Ocarina - [ ] Remove...

The current PolyORB-HI/C has a couple of warnings that should be addressed.

subrogram with mix langages

1

An AADL subprogram can have multiple language (e.g. as part of its transitive closure, mixing C and C++) We should rework the makefile to address this

PolyORB-HI/C had a draft of a simulated scheduler API based on Linux ucontext.h. This feature must be finished. These patches have been created by Rahma Bouaziz as part of the...

GPRBUild may provide a more convenient approach to compile PolyORB-HI/C. This issue tracks this attempt