News

n.damouche — 2021-12-16T15:26:54Z

Best presentation session in ICoSSE 2024 - 7th International Conference on Software and System Engineering

Technical PC Member of ITFT 2024 - International Symposium on Intelligent Technology for Future Transportation

Technical PC Member of SYSCON 2024 - 18th IEEE International Systems Conference

Qualified by the CNUs 27 and 61

Research

n.damouche — 2021-12-16T15:00:29Z

My research portfolio is diverse :
Formal Methods, Static analysis, Abstract interpretation, Semantics-based code transformations, Validation of Embedded Systems, Computer arithmetic, Numerical accuracy, Compilation, Software engineering, Model-Based Systems Engineering (MBSE-SysML), Timing Analysis in Real Time Systems (WCET), etc.

- Nasrine Damouche

Teaching

n.damouche — 2021-03-18T16:40:17Z

À l'ISAE-SUPAERO

Ingénierie dirigée par les modèles (SysML-MBSE)
Langage de Programmation C
Introduction to Systems Engineering
Systèmes embarqués : conception (Cameo Systems Modeler)
Architecture des Systèmes
Traitement numérique dans les systèmes embarqués critiques
Object Oriented Software Development (UML-JAVA) (enseignement en anglais)
Systems Modelling and Analysis (enseignement en anglais)
Event-B (enseignement en anglais)
Conception et Programmation orientées objet

À l'ENSEEIHT

Programmation fonctionnelle (OCaml)
Traduction des Langages (Compilation)

À l'Université de Perpignan

Algo. & Langage de programmation (C/C++, OCaml, Python, Open MP, ...)
Génie logiciel et gestion de projet
Systèmes embarqués critiques
Programmation web
Réseaux, Logique, système d'exploitation, ...

À l'IUT de Perpignan

Statistiques Descriptives
Base de données avancées

Contact

n.damouche — 2021-03-18T16:23:01Z

Office : 07.059

e-mail : nasrine (dot) damouche (at) isae-supaero (dot) fr

Phone : +33 (0) 5 61 33 88 45

Address :
Département Ingénierie des Systèmes Complexes (DISC)
Institut Supérieur de l'Aéronautique et de l'Espace
10, Avenue Marc Pélegrin - BP 54032
31055 Toulouse CEDEX 4

Edito

n.damouche — 2021-03-18T15:45:57Z

Currently, I am a research engineer within the ThéMIS (Théorie, modélisation et ingénierie des systèmes) team in the Department of Complex Systems Engineering (DISC). I am involved in the CONCORDE [1] project funded by the DGA.

I am working on coupling MBSE approach with timing analysis for Real-Time Systems.

I was a postdoc at IRT Saint Exupery, in the Embedded systems department. I was working on an incremental static analyzer approach to estimate the WCET applied on the Infinion tricore TC275 processor.

I was a postdoc funded by the LaBEX CIMI at IRIT/ENSEEIHT, in the ACADIE team. I was working on dependent type system to check numerical stability in finite precision using prametrized gauge functions for dataflow languages like Lustre.

I received my Ph.D. in Computer Science from the University of Perpignan in December 2016, on Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods under the supervision of Matthieu Martel and Alexandre Chapoutot. I developped Salsa, a tool that improves the numerical accuracy of programs based on floating-point arithmetic. Salsa relies on static analysis by abstract interpretation to compute variable ranges and round-off error bounds.

I received my Master's degree in Computer Science at the University of Paul Sabatier - Toulouse III, France, in 2013.

[1] Méthodes de conception et de certification des systèmes de drones