Aller au menu Aller au contenu
Thèmes de recherche
Thèmes de recherche
Thèmes de recherche

> Thèmes > Sécurité des systèmes embarqués et distribués critiques > Organisation et membres

Mouna TKA MNAD

PhD student (Computer Science)

[legende-image]1383921703709[/legende-image]


Mouna TKA obtained her engineering degree (in "Computer Science") in 2008 from ENSI: National School of Computer Sciences in Tunisia, then a Master degree in "Software Engineering and Decision Support" in 2011 from ENSI, Tunisia. Now, she is a PhD student in Computer Science at Grenoble University.
 

PhD thesis: "Automated test generation for synchronous controllers in a Globally Asynchronous Locally Synchronous (GALS) Network "

This work is part of the Bluesky project since October 2012. The participation the LCIS laboratory in the Bluesky project , through the CTSYS team work, offers an opportunity to consolidate its expertise in the design and testing of embedded systems. Indeed, it provides an occasion to simultaneously address issues of flexibility and security services, while greatly interesting in aspects of testing and validation. In this project I am working on an approach for automatic test data generation for synchronous programmable logic controllers, in an innovative industrial context. My contribution to this research project is under the supervision of Ioannis Parissis and Christophe Deleuze.
 

Research Interests


  • Software Engineering
  • Software Testing and Validation
  • Synchronous Systems Testing
  • Business Process Reengineering
  • Process Modeling

Teaching activities


  • Avanced Algorithms
  • Introduction to Algorithms
  • Compilation and Software Engineering

Publications

  • TKA Mnad, M., Deleuze, C., Parissis, I.: Synchronous programs testing language(SPTL). In: Computational Science and Its Applications ,ICCSA 2014 , 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part I. pp. 683-695 (2014).
  • TKA Mnad, M., Deleuze, C., Parissis, I.: Synchronous Programs Testing Language(SPTL). MSR 2013 , Modélisation des Systèmes Réactifs (2013).
  • Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, and Ioannis Parissis: Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones.In: Approches Formelles dans l’Assistance au Développement de Logiciels AFADL’2014 (Paris, France), June 2014.
  • Mouna Tka and Sonia Ayachi Ghannouchi. 2014. Comparison of Business Process Models as Part of BPR Projects. Inf. Resour. Manage. J. 27, 1 (January 2014), 53-66.
  • Mouna Tka, Sonia Ayachi Ghannouchi, Comparison of Business Process Models as Part of BPR Projects, 4th Conference of ENTERprise Information Systems – aligning technology, organizations and people (CENTERIS 2012) , Procedia Technology, Volume 5, 2012, Pages 427-436.

mise à jour le 24 avril 2015

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes