Indico style
Indico style - inline minutes
Indico style - numbered
Indico style - numbered + minutes
Indico Weeks View
Back to Conference View
Choose Timezone
Use the event/category timezone
Specify a timezone
Africa/Abidjan
Africa/Accra
Africa/Addis_Ababa
Africa/Algiers
Africa/Asmara
Africa/Bamako
Africa/Bangui
Africa/Banjul
Africa/Bissau
Africa/Blantyre
Africa/Brazzaville
Africa/Bujumbura
Africa/Cairo
Africa/Casablanca
Africa/Ceuta
Africa/Conakry
Africa/Dakar
Africa/Dar_es_Salaam
Africa/Djibouti
Africa/Douala
Africa/El_Aaiun
Africa/Freetown
Africa/Gaborone
Africa/Harare
Africa/Johannesburg
Africa/Juba
Africa/Kampala
Africa/Khartoum
Africa/Kigali
Africa/Kinshasa
Africa/Lagos
Africa/Libreville
Africa/Lome
Africa/Luanda
Africa/Lubumbashi
Africa/Lusaka
Africa/Malabo
Africa/Maputo
Africa/Maseru
Africa/Mbabane
Africa/Mogadishu
Africa/Monrovia
Africa/Nairobi
Africa/Ndjamena
Africa/Niamey
Africa/Nouakchott
Africa/Ouagadougou
Africa/Porto-Novo
Africa/Sao_Tome
Africa/Tripoli
Africa/Tunis
Africa/Windhoek
America/Adak
America/Anchorage
America/Anguilla
America/Antigua
America/Araguaina
America/Argentina/Buenos_Aires
America/Argentina/Catamarca
America/Argentina/Cordoba
America/Argentina/Jujuy
America/Argentina/La_Rioja
America/Argentina/Mendoza
America/Argentina/Rio_Gallegos
America/Argentina/Salta
America/Argentina/San_Juan
America/Argentina/San_Luis
America/Argentina/Tucuman
America/Argentina/Ushuaia
America/Aruba
America/Asuncion
America/Atikokan
America/Bahia
America/Bahia_Banderas
America/Barbados
America/Belem
America/Belize
America/Blanc-Sablon
America/Boa_Vista
America/Bogota
America/Boise
America/Cambridge_Bay
America/Campo_Grande
America/Cancun
America/Caracas
America/Cayenne
America/Cayman
America/Chicago
America/Chihuahua
America/Ciudad_Juarez
America/Costa_Rica
America/Creston
America/Cuiaba
America/Curacao
America/Danmarkshavn
America/Dawson
America/Dawson_Creek
America/Denver
America/Detroit
America/Dominica
America/Edmonton
America/Eirunepe
America/El_Salvador
America/Fort_Nelson
America/Fortaleza
America/Glace_Bay
America/Goose_Bay
America/Grand_Turk
America/Grenada
America/Guadeloupe
America/Guatemala
America/Guayaquil
America/Guyana
America/Halifax
America/Havana
America/Hermosillo
America/Indiana/Indianapolis
America/Indiana/Knox
America/Indiana/Marengo
America/Indiana/Petersburg
America/Indiana/Tell_City
America/Indiana/Vevay
America/Indiana/Vincennes
America/Indiana/Winamac
America/Inuvik
America/Iqaluit
America/Jamaica
America/Juneau
America/Kentucky/Louisville
America/Kentucky/Monticello
America/Kralendijk
America/La_Paz
America/Lima
America/Los_Angeles
America/Lower_Princes
America/Maceio
America/Managua
America/Manaus
America/Marigot
America/Martinique
America/Matamoros
America/Mazatlan
America/Menominee
America/Merida
America/Metlakatla
America/Mexico_City
America/Miquelon
America/Moncton
America/Monterrey
America/Montevideo
America/Montserrat
America/Nassau
America/New_York
America/Nome
America/Noronha
America/North_Dakota/Beulah
America/North_Dakota/Center
America/North_Dakota/New_Salem
America/Nuuk
America/Ojinaga
America/Panama
America/Paramaribo
America/Phoenix
America/Port-au-Prince
America/Port_of_Spain
America/Porto_Velho
America/Puerto_Rico
America/Punta_Arenas
America/Rankin_Inlet
America/Recife
America/Regina
America/Resolute
America/Rio_Branco
America/Santarem
America/Santiago
America/Santo_Domingo
America/Sao_Paulo
America/Scoresbysund
America/Sitka
America/St_Barthelemy
America/St_Johns
America/St_Kitts
America/St_Lucia
America/St_Thomas
America/St_Vincent
America/Swift_Current
America/Tegucigalpa
America/Thule
America/Tijuana
America/Toronto
America/Tortola
America/Vancouver
America/Whitehorse
America/Winnipeg
America/Yakutat
Antarctica/Casey
Antarctica/Davis
Antarctica/DumontDUrville
Antarctica/Macquarie
Antarctica/Mawson
Antarctica/McMurdo
Antarctica/Palmer
Antarctica/Rothera
Antarctica/Syowa
Antarctica/Troll
Antarctica/Vostok
Arctic/Longyearbyen
Asia/Aden
Asia/Almaty
Asia/Amman
Asia/Anadyr
Asia/Aqtau
Asia/Aqtobe
Asia/Ashgabat
Asia/Atyrau
Asia/Baghdad
Asia/Bahrain
Asia/Baku
Asia/Bangkok
Asia/Barnaul
Asia/Beirut
Asia/Bishkek
Asia/Brunei
Asia/Chita
Asia/Choibalsan
Asia/Colombo
Asia/Damascus
Asia/Dhaka
Asia/Dili
Asia/Dubai
Asia/Dushanbe
Asia/Famagusta
Asia/Gaza
Asia/Hebron
Asia/Ho_Chi_Minh
Asia/Hong_Kong
Asia/Hovd
Asia/Irkutsk
Asia/Jakarta
Asia/Jayapura
Asia/Jerusalem
Asia/Kabul
Asia/Kamchatka
Asia/Karachi
Asia/Kathmandu
Asia/Khandyga
Asia/Kolkata
Asia/Krasnoyarsk
Asia/Kuala_Lumpur
Asia/Kuching
Asia/Kuwait
Asia/Macau
Asia/Magadan
Asia/Makassar
Asia/Manila
Asia/Muscat
Asia/Nicosia
Asia/Novokuznetsk
Asia/Novosibirsk
Asia/Omsk
Asia/Oral
Asia/Phnom_Penh
Asia/Pontianak
Asia/Pyongyang
Asia/Qatar
Asia/Qostanay
Asia/Qyzylorda
Asia/Riyadh
Asia/Sakhalin
Asia/Samarkand
Asia/Seoul
Asia/Shanghai
Asia/Singapore
Asia/Srednekolymsk
Asia/Taipei
Asia/Tashkent
Asia/Tbilisi
Asia/Tehran
Asia/Thimphu
Asia/Tokyo
Asia/Tomsk
Asia/Ulaanbaatar
Asia/Urumqi
Asia/Ust-Nera
Asia/Vientiane
Asia/Vladivostok
Asia/Yakutsk
Asia/Yangon
Asia/Yekaterinburg
Asia/Yerevan
Atlantic/Azores
Atlantic/Bermuda
Atlantic/Canary
Atlantic/Cape_Verde
Atlantic/Faroe
Atlantic/Madeira
Atlantic/Reykjavik
Atlantic/South_Georgia
Atlantic/St_Helena
Atlantic/Stanley
Australia/Adelaide
Australia/Brisbane
Australia/Broken_Hill
Australia/Darwin
Australia/Eucla
Australia/Hobart
Australia/Lindeman
Australia/Lord_Howe
Australia/Melbourne
Australia/Perth
Australia/Sydney
Canada/Atlantic
Canada/Central
Canada/Eastern
Canada/Mountain
Canada/Newfoundland
Canada/Pacific
Europe/Amsterdam
Europe/Andorra
Europe/Astrakhan
Europe/Athens
Europe/Belgrade
Europe/Berlin
Europe/Bratislava
Europe/Brussels
Europe/Bucharest
Europe/Budapest
Europe/Busingen
Europe/Chisinau
Europe/Copenhagen
Europe/Dublin
Europe/Gibraltar
Europe/Guernsey
Europe/Helsinki
Europe/Isle_of_Man
Europe/Istanbul
Europe/Jersey
Europe/Kaliningrad
Europe/Kirov
Europe/Kyiv
Europe/Lisbon
Europe/Ljubljana
Europe/London
Europe/Luxembourg
Europe/Madrid
Europe/Malta
Europe/Mariehamn
Europe/Minsk
Europe/Monaco
Europe/Moscow
Europe/Oslo
Europe/Paris
Europe/Podgorica
Europe/Prague
Europe/Riga
Europe/Rome
Europe/Samara
Europe/San_Marino
Europe/Sarajevo
Europe/Saratov
Europe/Simferopol
Europe/Skopje
Europe/Sofia
Europe/Stockholm
Europe/Tallinn
Europe/Tirane
Europe/Ulyanovsk
Europe/Vaduz
Europe/Vatican
Europe/Vienna
Europe/Vilnius
Europe/Volgograd
Europe/Warsaw
Europe/Zagreb
Europe/Zurich
GMT
Indian/Antananarivo
Indian/Chagos
Indian/Christmas
Indian/Cocos
Indian/Comoro
Indian/Kerguelen
Indian/Mahe
Indian/Maldives
Indian/Mauritius
Indian/Mayotte
Indian/Reunion
Pacific/Apia
Pacific/Auckland
Pacific/Bougainville
Pacific/Chatham
Pacific/Chuuk
Pacific/Easter
Pacific/Efate
Pacific/Fakaofo
Pacific/Fiji
Pacific/Funafuti
Pacific/Galapagos
Pacific/Gambier
Pacific/Guadalcanal
Pacific/Guam
Pacific/Honolulu
Pacific/Kanton
Pacific/Kiritimati
Pacific/Kosrae
Pacific/Kwajalein
Pacific/Majuro
Pacific/Marquesas
Pacific/Midway
Pacific/Nauru
Pacific/Niue
Pacific/Norfolk
Pacific/Noumea
Pacific/Pago_Pago
Pacific/Palau
Pacific/Pitcairn
Pacific/Pohnpei
Pacific/Port_Moresby
Pacific/Rarotonga
Pacific/Saipan
Pacific/Tahiti
Pacific/Tarawa
Pacific/Tongatapu
Pacific/Wake
Pacific/Wallis
US/Alaska
US/Arizona
US/Central
US/Eastern
US/Hawaii
US/Mountain
US/Pacific
UTC
Save
Europe/Amsterdam
English (United Kingdom)
Deutsch (Deutschland)
English (United Kingdom)
English (United States)
Español (España)
Français (France)
Italiano (Italia)
Polski (Polska)
Português (Brasil)
Türkçe (Türkiye)
Čeština (Česko)
Монгол (Монгол)
Українська (Україна)
中文 (中国)
Login
Model-Based System and Software Engineering - Future directions
Thursday, 8 December 2016 -
09:00
Monday, 5 December 2016
Tuesday, 6 December 2016
Wednesday, 7 December 2016
Thursday, 8 December 2016
09:00
ESA introduction – MBSE at system level
ESA introduction – MBSE at system level
09:00 - 09:30
Room: Newton 2
09:30
Trends in MBSE and experiences with SysML on Euclid
-
Harold Metselaar
(
ESA/ESTEC
)
Jose Lorenzo Alvarez
(
ESA/ESTEC
)
Trends in MBSE and experiences with SysML on Euclid
Harold Metselaar
(
ESA/ESTEC
)
Jose Lorenzo Alvarez
(
ESA/ESTEC
)
09:30 - 09:50
Room: Newton 2
In recent years, the system engineering field is coming to terms with a paradigm shift in the approach for complexity management. Different strategies have been proposed to cope with highly interrelated systems and system of systems. In particular, Model Based System Engineering (MBSE) intends to introduce methodologies for a systematic system definition, development, validation, deployment, operation and decommission, based on logical and visual relationship mapping, rather than traditional ‘document based’ information management. Euclid is the second medium class mission (M2) of the European Space Agency (ESA) Cosmic Vision program. Its primary goal is to determine the nature and distribution of dark matter and dark energy using two main cosmological probes: Weak Lensing (WL) and Galaxy Clustering (GC). Euclid is the first attempt to apply an MBSE approach at mission level for a major science project under development in ESA. The topic of this presentation is two-fold: (1) general trends in MBSE and (2) experiences with SysML on Euclid.
09:50
MBSSE used in the Ariane 6 launcher development
-
Patrick Cormery
(
Airbus Safran Launchers
)
MBSSE used in the Ariane 6 launcher development
Patrick Cormery
(
Airbus Safran Launchers
)
09:50 - 10:10
Room: Newton 2
This presentation will focus on the current deployment of methods and tools, in the frame of Ariane 6 project. It will also address the on-going and future studies, targeting various aspects such as formal proof, integrated modelling for RAMS and the enhancement of analysis capabilities to be coupled with the existing toolset. The current status is covering the following capabilities : • Functional analysis with Mega • Refinement of the functional and Avionic electrical definition with Capella • Functional architecture Modelling with SYSML Rhapsody • Mission Management with DSL Vasco • Model transformation from SYSML and VASCO to Lustre language allowing formal proof • Automated generation of Documentation from Capella & SYSML • Automated code generation from SYSML and VASCO The next step, initiated from current R&T studies are focusing on : • The harmonization of the current toolset, replacing SYML & MEGA with a future version of Capella • Automated test generation and validation of the SYSML models correctness (in order to compensate the lack of certification of the code generator Tool) • RAMS modelling (linked to the Clarity project), with the ability to create non-functional links to be added to the Capella engineering models • Coupling of dedicated analysis tool to support Avionic architecture Trade-offs (power consumption, mass budget, thermal,…)
10:10
Connecting COMPASS to Capella
-
Regis de Ferluc
(
Thales Alenia Space
)
Connecting COMPASS to Capella
Regis de Ferluc
(
Thales Alenia Space
)
10:10 - 10:30
Room: Newton 2
Model Based FDIR process with Capella and COMPASS. “In the past decade, Model Checking and Model Simulation techniques have been investigated and developed with better and better results in terms of efficiency and performance. For a long time, those techniques have been identified as promising to assist Safety, Dependability and FDIR engineers in their activities when dealing with complex systems such as spacecraft and satellites. However, these techniques are rarely applied in operational projects due to major blocking points : (i) need for detailed knowledge on the methodology and hands-on practice by prospective users, (ii) big effort required to build a formal model of the system, (iii) insufficient means or methodology to ensure that the modelled system matches the real system, (iv) scarce understanding of properties to be proved, (v) tools with shortcomings in ergonomic and interoperability with other engineering environments. In this context, the recent deployment of Model Based System and Software Engineering practices is seen as an opportunity : instead of developing specific models for safety and FDIR analysis, it becomes possible to couple model checking and model simulation tools to System and Software engineering models. This track has been investigated during a CNES study aiming at defining a Model Based approach for supporting the FDIR process, and some prototyping activities have allowed to couple the COMPASS toolset to Melody Advance, the Thales modelling tool now released as open-source software under the name Capella. Based on such results, this presentation will provide an overview of what could be the future for Model Based Safety / FDIR Assessment in the Space domain.”
10:30
COMPASS: Future trends and developments
-
Marco Bozzano
(
Fondazione Bruno Kessler
)
COMPASS: Future trends and developments
Marco Bozzano
(
Fondazione Bruno Kessler
)
10:30 - 10:50
Room: Newton 2
COMPASS is a toolset for model-based design of complex aerospace systems. It has been developed, under funding of the European Space Agency, in response to the need of a more formal and comprehensive approach to the problem of system-software co-engineering. A new release of the toolset, COMPASS 3.0, has recently been delivered, consolidating the work done over the last eight years. In this talk, we will summarize the main achievements of COMPASS, and present the roadmap for future developments, which include the integration of COMPASS with other modeling languages and design environments, and the synergy with other ESA-related initiatives such as the TASTE development environment and OSRA (On-board Software Reference Architecture).
10:50
Coffee Break
Coffee Break
10:50 - 11:20
Room: Newton 2
11:20
Elevator pitches
Elevator pitches
11:20 - 11:40
Room: Newton 2
* Ontology-based Requirements Validation - Speaker: Nick Bassiliades (Aristotle University of Thessaloniki) * Formal verification techniques applied to Spacecraft Mode Management - Speaker: Massimo Tipaldi (OHB) * Model Driven Engineering using COMPASS and Simulink - Speaker: Harold Bruintjes (RWTH Aachen) * CITADEL Adaptive Systems for High-Assurance Protection - Speaker: Stefano Tonetta (FBK) * COMPASS without AADL: towards COMPASS-STAR? - Speaker: Alessandro Cimatti (FBK)
11:40
Group discussion
Group discussion
11:40 - 12:40
Room: Newton 2
12:40
Lunch Break
Lunch Break
12:40 - 13:40
Room: Newton 2
13:40
ESA introduction – MBSE at software level
ESA introduction – MBSE at software level
13:40 - 14:10
Room: Newton 2
14:10
Data Modelling on Proba3 ASPIICS payload - Lessons learned and way forward
-
Konrad Grochowski
(
N7 mobile
)
Michał Mosdorf
(
N7 mobile
)
Data Modelling on Proba3 ASPIICS payload - Lessons learned and way forward
Konrad Grochowski
(
N7 mobile
)
Michał Mosdorf
(
N7 mobile
)
14:10 - 14:30
Room: Newton 2
ASPIICS payload software is responsible for the management of scientific observations performed on-board of PROBA3 mission. Additionally it provides important shadow position sensor data for the verification of PROBA3 satellites alignment. This talk will present ASPIICS instrument software architecture. Additionally there will be provided summary of lessons learned from the usage of TASTE and ASN.1 data modeling for the design and implementation of PUS-A stack. Designed PUS-A stack was integrated into on-board software and SVF scripting environment.
14:30
Mixing Re-Use and Model-Based Development - The CHEOPS Payload Software Experience
-
Alessandro Pasetti
(
PnP Software
)
Mixing Re-Use and Model-Based Development - The CHEOPS Payload Software Experience
Alessandro Pasetti
(
PnP Software
)
14:30 - 14:50
Room: Newton 2
The CHEOPS payload software is a PUS application which offers 17 services to the satellite platform and uses 7 services from a lower-level computer. This software has been implemented as an instantiation of the CORDET Framework. The CORDET Framework provides reusable components to manage incoming and out-going PUS telecommands and reports. The framework must be customized with user-provided components implementing application-specific behaviour. In the CHEOPS case, these components were specified as a set of UML models compliant with the FW Profile. The FW Profile is a UML profile to support the modelling of reuse-oriented software applications. A tool - the FW Profile Editor - allows code to be generated from the models. This presentation describes our experience with building an application built partly as reused components and partly as components generated from their UML models.
14:50
SARGON (Space Automation & Robotics General cONtroller)
-
Martin Azkarate
(
ESA/ESTEC
)
SARGON (Space Automation & Robotics General cONtroller)
Martin Azkarate
(
ESA/ESTEC
)
14:50 - 15:10
Room: Newton 2
SARGON is devoted to the design of a Robot Control Operating Software (RCOS) based on the TASTE toolset and on existing open-source robotics software, with special care on its RAMS characteristics. ESA space robotics missions such as ExoMars or European Robotic Arm (ERA) require significant software engineering effort when compared with other satellite space missions, due to their complexity and low heritage. Moreover, the software engineering tools used are customized to such extent that a very little percentage of this software development, validation and verification effort becomes re-usable for future space robotics missions. One of SARGON’s main objectives is to reduce the cost of future software developments for space robotics missions. For this purpose, the TASTE framework provides a model-driven approach for the development of reusable and RAMS-compliant on-board software. The activity focuses on the analysis and definition of requirements for an RCOS and on identifying the building blocks to complement the current TASTE implementation for covering all needed RCOS functionalities. The aim of this TASTE RCOS is to be the base of future European space robotics applications, and in this context SARGON is a first step in that direction. SARGON is an activity funded by the ESA Basic Technology Research Programme (TRP). The activity is ongoing but has already been successful in securing a continuation. The EC H2020 programme, within the Strategic Research Cluster in Space Robotics, has awarded an operational grant to the ESROCOS team for the further development of SARGON.
15:10
Model-Based Design of an Energy-System Embedded Controller using TASTE
-
Roberto Cavada
(
Fondazione Bruno Kessler
)
Model-Based Design of an Energy-System Embedded Controller using TASTE
Roberto Cavada
(
Fondazione Bruno Kessler
)
15:10 - 15:30
Room: Newton 2
Model-based design has become a standard practice in the development of control systems. Many solutions provide simulation, code generation, and other functionalities to minimize the design time and optimize the resulting control system implementation. We report on the experience of using TASTE as the design environment for the controller of an energy system comprising a parabolic dish collector and a Stirling engine. Besides standard advantages of model-based design, an appealing feature of TASTE is the possibility of specifying the design model with a formal language such as SDL. The complexity of the designed system stressed the tool’s performances and usability. Nevertheless, the functionalities provided by TASTE were essential to manage such complexity.
15:30
Coffee Break
Coffee Break
15:30 - 15:50
Room: Newton 2
15:50
Elevator pitches
Elevator pitches
15:50 - 16:10
Room: Newton 2
* Model-based design and tools for space applications - Speaker: Holger Schlingloff (Fraunhofer/FOKUS) * A Model Based and Domain Specific Development Environment - Speaker: Andreas Wortmann (OHB) * How dynamic is TASTE? - Speaker: Roger Jacobs (Topic Products) * QGen as a qualifiable code generation backend for TASTE - Speaker: Andres Toom (IB-KRATES)
16:10
Group discussion
Group discussion
16:10 - 17:10
Room: Newton 2
17:10
Closing
-
Jean-Loup TERRAILLON
(
ESA
)
Closing
Jean-Loup TERRAILLON
(
ESA
)
17:10 - 17:20
Room: Newton 2