7 Commits

Author SHA1 Message Date
romaric.demachy
bbf74221da V4.4 final - final V4.4 system version, with complete refactor of
logical and physical architecture
2022-10-17 16:44:09 +02:00
romaric.demachy
4ba10864ee V4.4.3 - Third intermediate versions between V4.3 and V4.4 final, with
evolutions of the functional architecture only. Functional architecture
freeze for V4.4
2022-10-17 16:42:51 +02:00
romaric.demachy
ec627ea74c V4.4.2 - Second intermediate versions between V4.3 and V4.4 final, with
evolutions of the functional architecture only
2022-10-17 16:41:01 +02:00
romaric.demachy
9b3130a560 V4.4.1 - First intermediate versions between V4.3 and V4.4 final, with
evolutions of the functional architecture only
2022-10-17 16:39:40 +02:00
romaric.demachy
e4ec5cf9e2 V4.3 system version - first iteration used in S2C 2022-10-17 16:38:22 +02:00
romaric.demachy
6d0f5dfafc V4.2 - initial S2C version 2022-10-17 16:35:48 +02:00
romaric.demachy
d0e1e1d083 Revert "AIDA V4.4"
This reverts commit 39ff17f13f.
2022-10-17 16:32:29 +02:00
16 changed files with 49363 additions and 12803 deletions

View File

@@ -1,2 +0,0 @@
<?xml version="1.0" encoding="ASCII"?>
<vp:Workspace xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:vp="http://www.polarsys.org/kitalpha/ad/viewpoint/1.0.0"/>

View File

@@ -1,6 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_Pj_RoGYMEeeYC6NJVLZvnQ">
<viewpointReferences id="_PqCPQGYMEeeYC6NJVLZvnQ" vpId="org.polarsys.capella.core.viewpoint" version="5.0.0"/>
<viewpointReferences id="_nyYmcKy_EeqXA5wdFDfB8g" vpId="org.polarsys.kitalpha.vp.requirements" version="0.12.0"/>
<viewpointReferences id="_nzHmQKy_EeqXA5wdFDfB8g" vpId="org.polarsys.capella.vp.requirements" version="0.12.0"/>
</metadata:Metadata>

View File

@@ -1,10 +0,0 @@
Copyright (c) 2016-2021 IRT AESE (IRT Saint Exup<75>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 <20> Initial contribution
Romaric Demachy - V4.4 system version

Binary file not shown.

Binary file not shown.

View File

@@ -0,0 +1,9 @@
/********************************************************************************************************
* 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
*********************************************************************************************************/

Binary file not shown.

12
Cameo model/README.txt Normal file
View File

@@ -0,0 +1,12 @@
This model is the Cameo version of the version 4.4 of AIDA. It is made available under the termes below.
/*****************************************************************************************************************
Copyright (c) 2021-2022 IRT AESE (IRT Saint Exup<75>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: Mirna OJEDA, Julie DE SOUSA, S<>bastien DUBE, Ida Electra DAHL, Mihir JOSHI
****************************************************************************************************************/
It requires the usage of the SAMAREQ profile for Cameo Systems Modeller, which is available here :
https://gitlab.com/samares-public/samareq-profile/

Binary file not shown.

Binary file not shown.

View File

@@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<!--Capella_Version_5.1.0-->
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_Pj_RoGYMEeeYC6NJVLZvnQ">
<viewpointReferences xsi:type="metadata:ViewpointReference" id="_PqCPQGYMEeeYC6NJVLZvnQ"
vpId="org.polarsys.capella.core.viewpoint" version="5.0.0"/>
<viewpointReferences xsi:type="metadata:ViewpointReference" id="_nyYmcKy_EeqXA5wdFDfB8g"
vpId="org.polarsys.kitalpha.vp.requirements" version="0.12.0"/>
<viewpointReferences xsi:type="metadata:ViewpointReference" id="_nzHmQKy_EeqXA5wdFDfB8g"
vpId="org.polarsys.capella.vp.requirements" version="0.12.0"/>
</metadata:Metadata>

File diff suppressed because it is too large Load Diff

File diff suppressed because one or more lines are too long

View File

@@ -1,3 +0,0 @@
This model shall be edited with Capella 5.0.
Capella can be downloaded from <https://www.eclipse.org/capella/download.html>

97
readme.txt Normal file
View File

@@ -0,0 +1,97 @@
*******************
*** README AIDA ***
*******************
This repository contains the architecture models and artifacts of the study case AIDA.
It is provided by IRT Saint Exup<75>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.4 final
************************************************************************
* 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 model. Required environment : Capella 5.1 with the following add-ons : PVMT + Diagram Styler
(See https://www.eclipse.org/capella/download.html and https://www.eclipse.org/capella/addons.html)
- 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<75>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 <20> Initial contribution
Romaric Demachy - V4.4 system version
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