5 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
21 changed files with 684505 additions and 340359 deletions

Binary file not shown.

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,4 +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"/>
</metadata:Metadata>

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

View File

@@ -1,9 +0,0 @@
Copyright (c) 2016-2018 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

Binary file not shown.

Binary file not shown.

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

@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>AIDA-4.2</name>
<name>AIDA-4.4</name>
<comment></comment>
<projects>
</projects>

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>

631441
Capella model/AIDA/AIDA.aird Normal file

File diff suppressed because it is too large Load Diff

File diff suppressed because one or more lines are too long

View File

@@ -28,7 +28,7 @@ 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.2
System architecture version: V4.4 final
************************************************************************
* 2. Motivation and intended use
@@ -46,14 +46,22 @@ In: Bozzano, M., Papadopoulos, Y. (eds.) Model-Based Safety and Assessment - 5th
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
************************************************************************
- AIDA folder : contains the Capella model. Required environment : Capella 5.0 with the following add-ons : PVMT + Diagram Styler
- 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
************************************************************************
@@ -71,5 +79,19 @@ 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