seaplanes
Scheduling of a Cyber-physcal system simulation -- Simulation Execution Architecture - Partition-based Logical processor Allocator Node with Extensible inline Scheduler
Description
Seaplanes is a distributed simulation framework using the CERTI implementation of the High-Level Architecture (HLA) to schedule and interconnect models in a simulation, available at hnrck/seaplanes.
Rrosace is a simple longitudinal flight loop
Rrosace seaplanes is simulator that distribute rrosace models using the seaplanes simulation framework.
This project was used as part of a CIFRE PhD thesis π involving ISAE-SUPAERO and Airbus to illustrate the simulation scheduling of cyber-physical systems.
Requires CERTI >= 4.0, >= rrosace 1.3.0, seaplanes >= 1.1.0
Links π to the case study, and some publications, are available below.
Table of Contents
1. Usage
1.1. Cloning this repo
This repo is available at π hnrck/rrosace_seaplanes.
Cloning can be done in HTTPS mode:
$ git clone https://github.com/hnrck/rrosace_seaplanes
$ git checkout tags/1.0.0
or with ssh mode:
$ git clone git@github.com:hnrck/rrosace_seaplanes.git
$ git checkout tags/1.0.0
1.2. Generating the documentation
$ make doc
The documentation can be opened in a browser, or generated in PDF from LaTeX sources.
For browser based navigation, open build/doc/html/index.html
For generating PDF, do:
$ make -C build/doc/latex
Generated PDF will be build/doc/latex/refman.pdf
1.3. Building and using the project
In order to build the project, use the following command:
$ make
Project can be install with:
$ make install
By default, the installation is local.
Installed headers and libraries can be used sourcing the local rrosace_seaplanespathsrc
: install/etc/rrosace_seaplanes/rrosace_seaplanespathsrc
This can be done using:
$ source install/etc/rrosace_seaplanes/rrosace_seaplanespathsrc
Absolute path can be deduced and sourced directly before use, for instance in dev environment in any .{bash,zsh,...}rc.
$ source <path/to/rrosace_seaplanes>/install/etc/rrosace_seaplanes/rrosace_seaplanespathsrc
Furthermore, while installing, the absolute path of the rrosace_seaplanespathsrc
is given:
...
-- Installing: <path/to/rrosace_seaplanes>/install/etc/rrosace_seaplanes/rrosace_seaplanespathsrc
After installation and sourcing, rrosace_seaplanes
library can be used as any library.
Compilation using rrosace_seaplanes
library might need linking, using -lrrosace_seaplanes
.
1.5. Other targets
Cleaning the repo:
make clean
Static check on source code (requires clang-tidy):
make lint
Formatting of source code (requires clang-format):
make format
1.6. Alternative builds and configurations
It is possible to directly use cmake
to build the project, feel free to based your command on the targets in the Makefile
Furthermore, compilation options are possible from the environment, set the following variable in you shell or before your command:
$ export <VAR>=<my option>
$ make
or
$ <VAR>=<my option> make
option | VAR | default value | alternatives |
---|---|---|---|
C++ compiler | CXX | clang++ | g++, ... |
Generator | GENERATOR | Ninja | Unix Makefile, ... |
Build type | BUILD_TYPE | RelWithDebInfo | Release, Debug, MinSizeRel |
Build directory | BUILD_DIR | build | anywhere |
Install directory | INSTALL_DIR | install | anywhere |
2. Related work
3. Project structure
.
βββ ChangeLog.md
βββ cmake-extra-modules
β βββ *.cmake
βββ CMakeLists.txt
βββ doc
β βββ Doxyfile.in
βββ include
β βββ *.h
βββ LICENSE
βββ Makefile
βββ README.md
βββ res
β βββ *
βββ src
β βββ *.cpp
βββ VERSION
Important folders:
include
- the rrosace_seaplanes headers.src
- the sources of the rrosace_seaplanes library.
Important files:
README.md
- this file.LICENSE
- the license file.VERSION
- the current version of the library.ChangeLog.md
- list of changes between revisions.CMakeLists.txt
- the project configuration fileMakefile
- helper for compilation and installation.
4. Contributing
Contributions are welcome π. Feel free to fork too π΄.
5. Credits
- Henrick Deschamps ( hnrck ) (π hnrck.io)
6. License
This work is under the MIT License. Β©οΈ Henrick Deschamps, 2019.