Search - ONERA - Office national d'études et de recherches aérospatiales Access content directly

Filter your results

23 Results
authFullName_s : Thomas Polacsek
Image document

Patterns for Certification Standards

Kevin Delmas , Claire Pagetti , Thomas Polacsek
Advanced Information Systems Engineering, 32nd International Conference, CAiSE 2020, Jun 2020, Grenoble, France. pp.417 - 432, ⟨10.1007/978-3-030-49435-3_26⟩
Conference papers hal-03171837v1
Image document

Support of Justification Elicitation: Two Industrial Reports

Clément Duffau , Thomas Polacsek , Mireille Blay-Fornarino
30th International Conference on Advanced Information Systems Engineering (CAISE'2018), Jun 2018, Tallinn, Estonia
Conference papers hal-01816334v1
Image document

Modélisation graphique des SI. Du traitement visuel de modèles complexes

David Bihanic , Max Chevalier , Sophie Dupuy-Chessa , Xavier Le Pallec , Thierry Morineau et al.
Journées INFormatique des Organisations et Systemes d'Information et de Decision (INFORSID 2013), May 2013, Paris, France. pp.99-114
Conference papers hal-03668941v1

Validation, Accreditation or Certification : a New Kind of Diagram to Provide Confidence

Thomas Polacsek
IEEE Tenth International Conference on Research Challenges in Information Science, May 2016, GRENOBLE, France
Conference papers hal-01413100v1
Image document

A Collaborative Model for Connecting Product Design and Assembly Line Design: an Aeronautical Case

Alex Aquieta Nuñez , Anouck Chan , Alberto Donoso-Arciniega , Thomas Polacsek , Stéphanie Roussel et al.
poEM 2021: International Federation for Information Processing 2021, Nov 2021, RIGA, Latvia
Conference papers hal-03464418v1
Image document

Une sémantique pour les patrons de justification

Clément Duffau , Thomas Polacsek , Mireille Blay-Fornarino
36ème Congrès INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision), May 2018, Nantes, France
Conference papers hal-01819287v1
Image document

A service-based modelling approach to ease the certification of multi-core COTS processors

Frédéric Boniol , Youcef Bouchebaba , Julien Brunel , Kevin Delmas , Claire Pagetti et al.
SAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩
Conference papers hal-02441365v1
Image document

PHYLOG: a model-based certification framework

Frédéric Boniol , Youcef Bouchebaba , Julien Brunel , Kevin Delmas , Claire Pagetti et al.
37th AIAA/IEEE Digital Avionics Systems Conference (DASC), Sep 2018, LONDRES, United Kingdom
Conference papers hal-01888687v1
Image document

Design for Efficient Production, a Model-Based Approach

Thomas Polacsek , Stéphanie Roussel , Cédric Pralet , Claude Cuiller
RCIS 2019, May 2019, BRUXELLES, Belgium
Conference papers hal-02362061v1
Image document

Formal Software Verification at Model and at Source Code Levels

Anthony Fernandes Pires , Thomas Polacsek , Stéphane Duprat
2nd International Conference on Model & Data Engineering (MEDI'2012), Oct 2012, France. pp.162-169, ⟨10.1007/978-3-642-33609-6_16⟩
Conference papers hal-00797091v1
Image document

PHYLOG certification methodology: a sane way to embed multi-core processors

Frédéric Boniol , Youcef Bouchebaba , Julien Brunel , Kevin Delmas , Thomas Loquen et al.
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02441323v1
Image document

The need of diagrams based on Toulmin schema application: an aeronautical case study

Thomas Polacsek , Sanjiv Sharma , Claude Cuiller , Vincent Tuloup
2020
Preprints, Working Papers, ... hal-02468175v1
Image document

Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels

Thomas Polacsek
Systèmes embarqués. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
Habilitation à diriger des recherches tel-02283804v2
Image document

Assembly Line Performance Analysis Based on Aircraft Preliminary Design: a Scheduling Approach

Anouck Chan , Stéphanie Roussel , Thomas Polacsek
18th International Workdhop on Project Managment and Scheduling PMS 2022, Apr 2022, Gand, Belgium
Conference papers hal-03771512v1
Image document

Use of formal methods in embedded software development: stakes, constraints and proposal

Anthony Fernandes Pires , Thomas Polacsek , Virginie Wiels , Stéphane Duprat
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers hal-02272049v1

Diffusion d'alarmes, diffusion d'alertes. De nouveaux enjeux pour les SI.

Florence Sèdes , Rémi Delmas , Thomas Polacsek
Sèdes, Florence; Delmas, Rémi; Polacsek, Thomas. Hermès Science, 21 (4 : juillet - août 2016), 2016, Ingénierie des Systèmes d'Information
Books hal-03165009v1
Image document

A model-based certification approach for multi/many-core embedded systems

Pierre Bieber , Frédéric Boniol , Youcef Bouchebaba , Julien Brunel , Claire Pagetti et al.
ERTS 2018, Jan 2018, Toulouse, France
Conference papers hal-01700857v1

Une approche basée sur l'ordonnancement pour évaluer la performance de la production d'avions à haut niveau

Anouck Chan , Stéphanie Roussel , Thomas Polacsek
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers hal-03596246v1
Image document

Introduction

David Db Bihanic , Sophie Dupuy-Chessa , Xavier Le Pallec , Thomas Polacsek
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (2), pp.141-144
Journal articles hal-01407938v1
Image document

The Aircraft and Its Manufacturing System: From Early Requirements to Global Design

Anouck Chan , Anthony Fernandes Pires , Thomas Polacsek , Stéphanie Roussel
CAISE 2022, Jun 2022, Louvain, Belgium. pp.164-179, ⟨10.1007/978-3-031-07472-1_10⟩
Conference papers hal-03832242v1

Diagramme de justification. Un outil pour la validation, la certification et l’accréditation

Thomas Polacsek
Ingéniérie des Systèmes d'Information, 2017, 22 (2), pp.95-120. ⟨10.3166/isi.22.2.95-119⟩
Journal articles hal-01849131v1
Image document

MIMOSA: Towards a model driven certification process

Pierre Bieber , Frédéric Boniol , Guy Durrieu , Olivier Poitou , Thomas Polacsek et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Conference papers hal-01289704v1
Image document

StrataVis : une technique de visualisation graphique orientée modèle

David Db Bihanic , Thomas Polacsek
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (2), pp.145-174. ⟨10.3166/tsi.35.145-174⟩
Journal articles hal-01405784v1