ocarina
ocarina copied to clipboard
OpenAADL
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
hello sir, i find a bug, when i define a data type using 'string' representation, ocarina raise error "Impossible to get the data size of this data", then i check...
Hello Sir, i have a question asking for your help. Based on my understanding，we cannot ignore 'source_text' in subprogram, but i found in '/ocarina-build/ocarina/doc/source/ping/devices.aadl' at line21 where the special subprogram...
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...
#### OCARINA VERSION: ``` root@549e23822d46:~/opt/ocarina-build# ocarina --version Ocarina v2017.1-510-gf2c500f (Working Copy from rf2c500fe) Copyright (c) 2003-2009 Telecom ParisTech, 2010-2019 ESA & ISAE , 2019-2021 OpenAADL Build date: Feb 22 2021...
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
#### OCARINA VERSION: ``` root@05f8f72842cc:~/opt/ocarina-build# ocarina --version Ocarina v2017.1-501-g402cf43 (Working Copy from r402cf43f) Copyright (c) 2003-2009 Telecom ParisTech, 2010-2021 ESA & ISAE Build date: Feb 05 2021 00:06:31 ``` ####...
This commit https://github.com/OpenAADL/ocarina/commit/bdb2af0afa268e9976dec3aa679a296e6dbb5f78 generates all types in each partition, resulting in deactivated code. We must revisit this
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...