Search

Your search keyword '"GMVIS Skysoft SA (PORTUGAL)"' showing total 2 results
Start Over Author "GMVIS Skysoft SA (PORTUGAL)"
2 results on '"GMVIS Skysoft SA (PORTUGAL)"'

1. Formal verification of space systems designed with TASTE

Author

Dragomir, I, Bozga, M, Ober, Iulian, Silveira, D, Jorge, T, Alaña, E, Perrotin, M, GMV Space (GMV), GMV, VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), GMVIS Skysoft SA (PORTUGAL), European Space Research and Technology Centre (ESTEC), European Space Agency (ESA), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Grenoble Alpes - UGA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), ESA - ESTEC (NETHERLANDS), and GMV Aerospace and Defence S.A. (SPAIN)

Subjects
Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, MBSE, TASTE, model checking, Autre, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

International audience; Model-Based Systems Engineering (MBSE) is a development approach aiming to build correct-by-construction systems, provided the use of clear, unambiguous and complete models to describe them along the design process. The approach is supported by several engineering tools that automate the development steps, for example the production of code, documentation, test cases and more. TASTE [1] is pragmatic MBSE toolset supported by ESA that encapsulates several technologies to design a system (data modelling, architecture modelling, behaviour modelling/implementation), to automatically generate the binary application(s), and to validate it. One topic left open in TASTE is the formal verification of a system design with respect to specified properties. In this paper we describe our approach based on the IF model-checker [4] to enable the formal verification of properties on TASTE designs. The approach is currently under development in the ESA MoC4Space project.

Published
2021

2. ESROCOS: a robotic operating system for space and terrestrial applications

Author

Muñoz Arancón, M., Montano, G., Wirkus, M., Höflinger, Kilian Johann, Silveira, D., Tsiogkas, N., Hugues, J., Bruyninckx, H., Dragomir, I., Muhammad, A., Airbus (FRANCE), Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE), Université Grenoble Alpes - UGA (FRANCE), Deutsches Zentrum für Luft- und Raumfahrt - DLR (GERMANY), Deutsches Forschungszentrum für Künstliche Intelligenz GmbH - DFKI (GERMANY), GMV Innovating Solutions (SPAIN), GMVIS Skysoft SA (PORTUGAL), Intermodalics BVBA (BELGIUM), Katholieke Universiteit Leuven - KU LEUVEN (BELGIUM), VTT Technical Research Centre of Finland Ltd (FINLAND), Département d'Ingénierie des Systèmes Complexes - DISC (Toulouse, France), GMV, parent, Airbus [United Kingdom], Airbus [France], Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence (DFKI), Deutsches Zentrum für Luft- und Raumfahrt [Köln] (DLR), Département d'Ingénierie des Systèmes Complexes (DISC), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), Catholic University of Leuven - Katholieke Universiteit Leuven (KU Leuven), Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), and VTT Technical Research Centre of Finland (VTT)

Subjects
[SPI.OTHER]Engineering Sciences [physics]/Other, robotics, PERASPERA, Autre, robot control operating software, Software für Raumfahrtsysteme und interaktive Visualisierung, RCOS, RAMS, space robotics, H2020, Robot control operating software, Space robotics
Abstract

International audience; ESROCOS (http://www.h2020-esrocos.eu) is a European Project in the frame of the PERASPERA SRC, (http://www.h2020-peraspera.eu/), targeting the design of a Robot Control Operating Software (RCOS) for space robotics applications. The goal of the ESROCOS project is to provide an open-source framework to assist in the development of flight software for space robots, providing adequate features and performance with space-grade Reliability, Availability, Maintainability and Safety (RAMS) properties. This paper presents the ESROCOS project and summarizes the approach and the current status.

Published
2017

Catalog

Books, media, physical & digital resources
See catalog results