Nesredin Mahmud (not working at IDT anymore)
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
- Data Communication course (2015,16,17)
- Data Communication for Embedded Systems 1 (2016)
- Project in Embedded Systems course (2014,15,16,17)
- Software Engineering for Real-Time Systems course (2017)
Supervision
Software Tools
- ReSA Tool Chain ( Requirements Specification and Analysis)
- PALMYS (Parser for Simulink MDL files)
- ArchSyn (An AUTOSAR software integration tool)
Optimized Allocation of Fault-tolerant Embedded Software with End-to-end Timing Constraints (May 2019) Nesredin Mahmud, Cristina Seceleanu, Hamid Reza Faragardi, Guillermo Rodriguez-Navas, Saad Mubeen
Power-aware Allocation of Fault-tolerant Multi-rate AUTOSAR Applications (Dec 2018) Nesredin Mahmud, Guillermo Rodriguez-Navas, Hamid Reza Faragardi, Saad Mubeen, Cristina Seceleanu 25th Asia-Pacific Software Engineering Conference (APSEC'18)
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic (Aug 2017) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz Software Engineering and Formal Methods (SEFM)
Semantic Analysis of Embedded System Requirements Speci fications (May 2017) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
Analyzing Industrial Simulink Models by Statistical Model Checking (Mar 2017) Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)
ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking (Nov 2016) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz 35th Annual IEEE Software Engineering Workshop (FedCSIS Conference) (SEW-36)