Research

Research Interests

My main research interests are design methodologies for embedded systems that can provide service guarantees for the final implementation. Although difficult to achieve in practice, my vision is to develop a design methodology that provides a correct-by-construction design flow from specification to implementation. Key components for such a design flow are a formal base, analysis methods and target platforms that can provide service guarantees. Of particular interest are the following topics:

• Modeling of heterogeneous embedded systems
• Software design flow for real-time multiprocessor applications
• Design space exploration to find efficient implementations for multiprocessor architectures
• Hardware/software co-design
• Design of mixed-criticality systems

I am the creator and main contributor of ForSyDe (Formal System Design), a design methodology for embedded systems. ForSyDe has a formal foundation in form of models of computation (MoCs) and provides modeling libraries to system designers for different MoCs. Currently we develop tools for design space exploration and software synthesis.

I am also part of the CASTOR Software Research Center at KTH.

Open Positions

Projects

Current Projects

• EARLY BIRD - Seamless System Design from Concept Phase to Implementation (Vinnova, Oct 2021 - May 2025)

Past Projects

• TRANSFORM - Design transformation for correct-by-construction design methodology (Vinnova, Nov 2019 - Oct 2022)
• PANORAMA: Boosting Design Efficiency for Heterogeneous Systems (ITEA3, Apr 2019 - Mar 2022)
• CORRECT: Correct-by-construction design methodology (Vinnova, Nov 2017 - Feb 2022)
• SAFEPOWER (H2020, Jan 2016 - Dec 2018)
• CONTREX (Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties) (FP7, 2013-2016)
• EMC² (Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments) (Artemis, 2014-2017)
• iFEST (industrial Framework for Embedded Systems Tools) (Artemis, 2010-2013)
• SYSMODEL (System Level Modeling Environment for SMEs) (Artemis, 2009-2011)
• ANDRES (Analysis and Design of run-time Reconfigurable, heterogeneous Systems) (FP6, 2006-2009)

PhD Students

Current PhD Students

Rodolfo Jordao (co-supervisor: Matthias Becker, Johnny Öberg)
• Rui Chen (co-supervisor: Dilian Gurov)
• Fahimeh Bahrami (co-supervisor: Dilian Gurov)

Past PhD Students

• George Ungureanu (co-supervisor: Christian Schulte, Matthias Becker) - 2021
• Byron Navas (co-superivsor: Johnny Öberg) - 2015
• Seyed Hosein Attarzadeh Niaki (co-supervisor: Axel Jantsch) - 2014
• Jun Zhu (co-supervisor: Axel Jantsch) - 2010

Post-doctoral researchers

Current post-doctoral researchers

• -

Past post-doctoral researchers

• Nima Khalilzad (Nov 2015 - April 2017)
• Fernando Herrera Casanueva (August 2012 - July 2014)

Visiting researchers (Duration: at least four weeks)

• Ricardo Bonna (Feb 2018 - July 2018)
• Jose Edil Guimares de Medeiros (October 2016 - September 2017)
• Daniel Mauricio Munhoz Arboleda (March 2016 - February 2017)
• Denis Loubach (May 2016, November 2018)

Please read also the disclaimer regarding personal homepages at KTH.