Výsledky vyhledávání

Report

Formal verification of space systems designed with TASTE

Autor: Dragomir, I, Bozga, M, Ober, Iulian, Silveira, D, Jorge, T, Alaña, E, Perrotin, M

Publikováno v: ESA's Second Virtual Workshop on Model Based Space Systems and Software Engineering (MBSE2021), Sep 2021, Nordwijk, Netherlands

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 sever

Externí odkaz: http://arxiv.org/abs/2111.10132

Zobrazit plný text záznamu

Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project

Autor: Hugues, J, Pautet, Laurent, Zalila, B, Dissaux, P, Perrotin, M

Publikováno v: ERTS 2008 proceedings
Embedded Real Time Software and Systems (ERTS2008)
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France

International audience; In this paper, we discuss the use of the AADL (Architecture Analysis and Design Language) in the IST- ASSERT project, which spans from 2004 to 2007. In the context of this project, the European Space Agency, in collaboration w

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ef27fb67970c54184ccac8a9ee9139a8
https://hal-insu.archives-ouvertes.fr/insu-02270096/document

Zobrazit plný text záznamu

Conference

Using MDE for the Rapid Prototyping of Space Critical Systems.

Autor: Hugues, J., Perrotin, M., Tsiodras, T.

Publikováno v: 2008 the 19th IEEE/IFIP International Symposium on Rapid System Prototyping; 2008, p10-16, 7p

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Towards integration of Overture into TASTE

Autor: Fabbri, T., Verhoef, M., Victor Bandur, Perrotin, M., Tsiodras, T., Peter Gorm Larsen

Publikováno v: Aarhus University
Fabbri, T, Verhoef, M, Bandur, V, Perrotin, M, Tsiodras, T & Larsen, P G 2016, Towards integration of Overture into TASTE . in P G Larsen, N Plat & N Battle (eds), The 14th Overture Workshop: Towards Analytical Tool Chains : Electrical and Computer Engineering . vol. 4/28, Aarhus University, Department of Engineering, Technical report ECE-TR-28, pp. 94-108, The 14th Overture Workshop, Limassol, Cyprus, 07/11/2016 . < http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669 >

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::17da97abaf56c2f036374c4c2de0061b
https://pure.au.dk/portal/en/publications/towards-integration-of-overture-into-taste(a73ff17d-46a3-4357-9463-593d853f0457).html

Zobrazit plný text záznamu

Model Checking for Formal Verification of Space Systems

Autor: Kurowski, M, Babski, R, Duncan, S, Perrotin, M, Webster, M

Publikováno v: Model Based Space Systems and Software Engineering (MBSE2021)

The goal of the presented activity is to integrate an existing model checking engine – SPIN1 – with the TASTE2 MBSE environment. For this purpose, the modelling languages used in TASTE – ASN.1, AADL and SDL need to be translated into PROMELA, a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::cbc013aec56f1ac36d143e7d0523ff16

Zobrazit plný text záznamu