WP6-12
Revision as of 10:33, 10 March 2023 by Grolleaue (talk | contribs) (Created page with "== Introduction == {|class="wikitable" | ID|| WP6-12 |- | Contributor || ENSMA |- | Levels || Tool |- | Require || Capella with AADL-like point of view plugin |- | Provide || Retro-engineering of Paparazzi C/C++ code into a Capella point of view, offset adjustment to avoid interferences in telemetry messages or in the kernel |- | Input || C/C++ code and Makefile of Paparazzi UAV |- | Output || Model for Capella AADL-like point of view, offsets computed by GC...")
Introduction
| ID | WP6-12 |
| Contributor | ENSMA |
| Levels | Tool |
| Require | Capella with AADL-like point of view plugin |
| Provide | Retro-engineering of Paparazzi C/C++ code into a Capella point of view, offset adjustment to avoid interferences in telemetry messages or in the kernel |
| Input | C/C++ code and Makefile of Paparazzi UAV |
| Output | Model for Capella AADL-like point of view, offsets computed by GCD+ offset choosing method |
| C4D tooling | System-Level modelling and analysis |
| TRL | 3 |
| Contact | grolleau at ensma.fr |