mirror of
http://172.16.200.102/AIDA/AIDAArchitecture.git
synced 2026-04-16 07:27:41 +02:00
101 lines
5.0 KiB
Plaintext
101 lines
5.0 KiB
Plaintext
*******************
|
||
*** README AIDA ***
|
||
*******************
|
||
|
||
This repository contains the architecture models and artifacts of the study case AIDA.
|
||
It is provided by IRT Saint Exupéry under a Creative Commons BY-SA licence.
|
||
This repository is managed in versioning throught git, with the following url
|
||
|
||
https://sahara.irt-saintexupery.com/AIDA/AIDAArchitecture
|
||
|
||
|
||
1. AIDA description
|
||
|
||
2. Motivation and intended use
|
||
|
||
3. List of files and how to use them
|
||
|
||
4. Licensing information
|
||
|
||
|
||
************************************************************************
|
||
* 1. AIDA description
|
||
************************************************************************
|
||
The AIDA (Aircraft Inspection by Drone Assistant) system, is a Remotely Piloted Aircraft System (RPAS).
|
||
It is composed of a quadcopter drone, a control computer and a remote control.
|
||
The mission of this system is to help the pilot to inspect the aircraft before flight.
|
||
The quadcopter drone can be piloted in automated or manual mode. In manual mode,
|
||
the pilot guides the inspection of the aircraft by the drone.
|
||
In automated mode, the drone follows a flight plan and records the video of the inspected zone.
|
||
|
||
System architecture version: V4.5
|
||
|
||
************************************************************************
|
||
* 2. Motivation and intended use
|
||
************************************************************************
|
||
AIDA provides a reference study case representative of the complexity and criticity found in aeronautical
|
||
systems.
|
||
Our intent is to provide a repository to gather all AIDA safety modellings and artifacts in order to share different approaches and tools.
|
||
|
||
If you plan to use AIDA as a study case it would be kind to inform the IRT Saint-Exupery (systems-engineering@irt-saintexupery.com). We would be pleased to answer your questions.
|
||
|
||
Currently, the following works use this use case :
|
||
|
||
Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models.
|
||
In: Bozzano, M., Papadopoulos, Y. (eds.) Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings.
|
||
Lecture Notes in Computer Science, vol. 10437, pp. 19-34. Springer (2017),
|
||
https://doi.org/10.1007/978-3-319-64119-5_2
|
||
|
||
Romaric Demachy, Sébastien Guilmeau. Structural consistency of MBSE and MBSA models using Consistency Links.
|
||
11th European Congress Embedded Real Time System ( ERTS 2022 ), Jun 2022, Toulouse, France.
|
||
https://hal.archives-ouvertes.fr/hal-03697170/
|
||
|
||
************************************************************************
|
||
* 3. List of files and how to use them
|
||
************************************************************************
|
||
|
||
- Capella model : contains the Capella models. Required environment : Capella 5.2 with the following add-ons : PVMT + Diagram Styler
|
||
(See https://www.eclipse.org/capella/download.html and https://www.eclipse.org/capella/addons.html)
|
||
- The "AIDA - single model" folder contains the monolythic Capella model of the whole AIDA system
|
||
- The "Extended enterprise split models" contains the models splits according to the chosen extended enterprise context :
|
||
- AIDA contains the top-level model, in which the sub-systems are "black boxes"
|
||
- The other models are dedicated to the detail design of each sub-system
|
||
|
||
- Cameo model : This model shall be edited with Cameo Systems Modeller V19.0 SP2/3. This model contains an execution capability, which requires the appropriate license.
|
||
|
||
- AIDA_Model_Description : synthetic description of the model content
|
||
|
||
- AIDA Architecture synthesis : complete description of the AIDA system architecture and modelling in Capella
|
||
|
||
|
||
************************************************************************
|
||
* 4. Licensing information
|
||
************************************************************************
|
||
|
||
The whole content is provided under the following terms
|
||
|
||
Copyright (c) 2016-2022 IRT AESE (IRT Saint Exupéry).
|
||
|
||
All rights reserved. This program and the accompanying materials are made available under the terms of the
|
||
Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) which accompanies this distribution,
|
||
and is available at https://creativecommons.org/licenses/by-sa/4.0/
|
||
|
||
|
||
Contributors:
|
||
Pierre Virelizier, Tatiana Prosvirnova, Estelle Saez – Initial contribution
|
||
Romaric Demachy - V4.4 and V4.5 system versions
|
||
|
||
Third party components :
|
||
The Cameo model uses components available under the following terms
|
||
|
||
/********************************************************************************************************
|
||
* Copyright (c) {January 2021} {Samares-Engineering} [and Jean-Marie Gauthier]
|
||
*
|
||
* This program and the accompanying materials are made
|
||
* available under the terms of the Eclipse Public License 2.0
|
||
* which is available at https://www.eclipse.org/legal/epl-2.0/
|
||
*
|
||
* SPDX-License-Identifier: EPL-2.0
|
||
*********************************************************************************************************/
|
||
|
||
Contact :systems-engineering@irt-saintexupery.com |