Nesredin Mahmud, Doctoral student


Nesredin received masters degree in Intelligent and Embedded systems from Mälardalen University (MDH) in 2013, completing his thesis on Distributed Industrial Application for Virtualized Multicore Framework at ABB Corporate Research Center, Västerås. Afterwards, he worked as a student research assistant at MDH and as intern student at ABB AB Corporate Research Center (CRC). Recently, that is 13 June 2019, he defended his Ph.D thesis "Design of Assured and Efficient Embedded Systems". Currently, he is a research assistant in the Formal Modeling and Analysis of Embedded Systems (FMAES) research group.

I have applied optimization techniques to efficiently integrate software into heterogeneous execution platform by considering timing, reliability, power consumption, etc. Moreover, I have applied formal methods to specify and rigorously analyse safety-critical real-time embedded software. In doing so, I have collaborated with practitioners at Volvo Group Trucks Technology (VGTT) to address automotive systems development challenges. Thus, I have worked on AUTOSAR, EAST-ADL and Simulink at different levels, by proposing state-of-the art analysis methods and software integration techniques. Supporting tools can be downloaded from my Bitbucket page https://bitbucket.org/dashboard/overview.

I received masters degree in Intelligent and Embedded systems from Mälardalen University (MDH) in 2013. Afterwards, I worked as a student research assistant at MDH and as intern student at ABB AB Corporate Research Center (CRC). Recently, that is 13 June 2019, I defended my Ph.D thesis "Design of Assured and Efficient Embedded Systems". Currently, I am a research assistant in the Formal Modeling and Analysis of Embedded Systems (FMAES) research group.

Lab Assistatance


Supervision


Software Tools

  • ReSA Tool Chain ( Requirements Specification and Analysis)
  • PALMYS (Parser for Simulink MDL files)
  • ArchSyn (An AUTOSAR software integration tool)