???global.info.a_carregar???
Short bio: Nelissen Geoffrey completed his PhD in 2013 and Master in Electrical engineering in 2008 at the Université Libre de Bruxelles (ULB), Belgium. He is Assistant Professor at TU Eindhoven in the Mathematics and Computer Science department. He published 12 articles in journals and 30+ publications in renown conferences. He is co-supervises 1 PhD thesis. Has received 5 awards and/or honors. Participated in several projects funded by the European Commission and the Portuguese FCT. Work description: My work is essentially articulated around the analysis and design of real-time embedded computing systems. Embedded systems have evolved from simple processors executing a few tasks to become parts of large cyber-physical systems composed of several nodes interconnected by complex communication networks. This constant growth of the complexity of embedded systems is not expected to slow down as there is an increasing demand from consumers for smarter, more autonomous, more connected and more integrated features. Concurrently, there is a drive from the industry to introduce new technologies (e.g., multicore processors, Ethernet technologies) in their products. These new components introduce yet new sources of interference (e.g., through memories, caches, switches) between tasks executing on the same or different processing nodes. Models and analyses must therefore be developed to consider the impact of these new trends on the timing properties of each individual application. Those models and analyses can then be used to develop new design methodologies for improving the predictability, efficiency and/or quality of service (QoS) of modern CPSs. I organised my research around the following focal points: (1) The design of real-time scheduling algorithms for new computing architectures, including but not limited to multicore processors, Network-on-Chips and distributed systems. (2) Analyses of real-time scheduling protocols, providing safe bounds on application response times on processors and in distributed systems, and transmission times of messages in networks, whilst considering the impact of the computing architecture on those timing properties. (3) Run-time verification of functional and timing properties of safety critical systems to check if system requirements are respected during the runtime and trigger counter-measures if errors or faults are detected. (4) Implementation and integration of algorithms, protocols and services in real-time operating systems. This means that my research spans from the high level modelling of real-time systems to the actual implementation of protocols and algorithms in operating systems micro-kernels. My work resulted so far in 12 journal publications and 30+ papers published in peer-reviewed conferences, among which 4 received outstanding or best paper awards. Several of those works result from international collaborations with renown research institutions (among others: Max Planck Institute for Software Systems, University of York, University of Amsterdam and INRIA).
Read full resume ↓
Identification

Personal identification

Full name
Geoffrey Nelissen

Citation names

  • Geoffrey, Nelissen

Author identifiers

Ciência ID
E51E-C723-0D77
ORCID iD
0000-0003-4141-6718

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
French Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2013
Concluded
 Doctorat en sciences the l'ingénieur (Doktor (PhD))
Université Libre de Bruxelles, Belgium
"Efficient Optimal Multiprocessor Scheduling Algorithms for Real-Time Systems" (THESIS/DISSERTATION)
 N/A
2003/09 - 2008/07
Concluded
 Ingénieur civil électricien (Electrical engineering) (Master)
Major in Electronic
Université Libre de Bruxelles, Belgium
"Implémentation d'un calculateur RPN sur base d'algorithmes CORDIC en virgule folttante décimale sur une plate-forme FPGA" (THESIS/DISSERTATION)
 Greatest honor
Affiliation

Science

Category
Host institution 		Employer
2019/03 - 2020/02 Auxiliary Researcher (Research) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2013 - 2019/02 Researcher (Research) Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2020/03 - Current Assistant Professor (University Teacher) Technische Universiteit Eindhoven Faculty of Mathematics and Computer Science, Netherlands
Projects

Grant

Designation Funders
2019 - 2020/02 THERMAC: Thermal-aware Resource Management for Modern Computing Platforms in the Next Generation of Aircraft
Clean Sky 2 H2020-CS2-CFP08-2018-01 nr. 832011
Principal investigator
Ongoing
2018 - 2020/02 PReFECT: Predictable Multiprocessor Platforms for Embedded Safety Critical Systems
POCI-01-0145-FEDER-029119
Principal investigator
Fundação para a Ciência e a Tecnologia
Ongoing
2018 - 2020/02 REASSURE: Secure Runtime Verification for Reliable Real-Time Embedded Software
NORTE-01-0145-FEDER-028550
Researcher
Ongoing
2016 - 2017 P-SOCRATES: Parallel Software framework for time-critical many-core systems
FP7-ICT-611016
Researcher
2015 - 2017 EMC2: Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
JU grant nr. 621429 | ARTEMIS/0001/2013
Research Fellow
Concluded
2013 - 2016 CONCERTO: Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-Integrity Multi-core Systems
JU grant nr. 333053 ARTEMIS/0003/2012
Research Fellow
Concluded
Outputs

Publications

Conference paper
  1. Sayra Ranjha; Mitra Nasri; Geoffrey Nelissen. "Work-in-Progress: Partial-Order Reduction in Reachability-based Response-Time Analyses". Paper presented in 2021 IEEE 42nd Real-Time Systems Symposium, 2021.
    10.1109/RTSS52674.2021.00061
  2. González, Y.R.; Nelissen, G.; Tovar, E.. "nDimNoC: Real-time D-dimensional NoC". 2021.
    10.4230/LIPIcs.ECRTS.2021.5
  3. Aromolo, F.; Biondi, A.; Nelissen, G.; Buttazzo, G.. "Event-driven delay-induced tasks: Model, analysis, and applications". 2021.
    10.1109/RTAS52030.2021.00013
  4. Arora, J.; Maia, C.; Aftab Rashid, S.; Nelissen, G.; Tovar, E.. "Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling". 2021.
    10.1145/3453417.3453433
  5. Benny Akesson; Mitra Nasri; Geoffrey Nelissen; S. Altmeyer; R.I. Davis. "An Empirical Survey-based Study into Industry Practice in Real-time Systems". 2020.
    10.1109/RTSS49844.2020.00012
  6. Daniel Casini; Alessandro Biondi; Geoffrey Nelissen; Giorgio Buttazzo. "A Holistic Memory Contention Analysis for Parallel Real-Time Tasks under Partitioned Scheduling". 2020.
    10.1109/RTAS48715.2020.000-3
  7. Rashid, S.A.; Nelissen, G.; Tovar, E.. "Cache Persistence-Aware Memory Bus Contention Analysis for Multicore Systems". 2020.
    10.23919/DATE48585.2020.9116265
  8. Nogd, S.; Nelissen, G.; Nasri, M.; Brandenburg, B.B.. "Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks". 2020.
    10.1109/RTSS49844.2020.00021
  9. Carvalho, H.; Nelissen, G.; Zaykov, P.. "McQEMU: Time-Accurate Simulation of Multi-core platforms using QEMU". 2020.
    10.1109/DSD51259.2020.00024
  10. Rashid, S.A.; Nelissen, G.; Tovar, E.. "Bounding cache persistence reload overheads for set-associative caches". 2020.
    10.1109/RTCSA50079.2020.9203583
  11. Arora, J.; Maia, C.; Rashid, S.A.; Nelissen, G.; Tovar, E.. "Work-In-Progress: WCRT Analysis for the 3-Phase Task Model in Partitioned Scheduling". 2020.
    10.1109/RTSS49844.2020.00050
  12. Nelissen, G.; Biondi, A.. "The SRP Resource Sharing Protocol for Self-Suspending Tasks". 2019.
    10.1109/RTSS.2018.00051
  13. Casini, D.; Biondi, A.; Nelissen, G.; Buttazzo, G.. "Partitioned Fixed-Priority Scheduling of Parallel Tasks Without Preemptions". 2019.
    10.1109/RTSS.2018.00056
  14. Casini, D.; Biondi, A.; Nelissen, G.; Buttazzo, G.. "Memory Feasibility Analysis of Parallel Tasks Running on Scratchpad-Based Architectures". 2019.
    10.1109/RTSS.2018.00047
  15. Nasri, M.; Nelissen, G.; Brandenburg, B.B.. "Response-time analysis of limited-preemptive parallel DAG tasks under global scheduling". 2019.
    10.4230/LIPIcs.ECRTS.2019.21
  16. Saranya Natarajan; Mitra Nasri; David Broman; Björn Brandenburg; Geoffrey, Nelissen. "From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C". Paper presented in IEEE Real-Time Systems Symposium, 2019.
    10.1109/RTSS46320.2019.00025
  17. Rashid, S.A.; Nelissen, G.; Altmeyer, S.; Davis, R.I.; Tovar, E.. "Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads". 2018.
    10.1109/RTSS.2017.00025
  18. Rashid, S.A.; Nelissen, G.; Tovar, E.. "Trading between intra-and inter-task cache interference to improve schedulability". 2018.
    10.1145/3273905.3273924
  19. Nasri, M.; Nelissen, G.; Brandenburg, B.B.. "A response-time analysis for non-preemptive job sets under global scheduling". 2018.
    10.4230/LIPIcs.ECRTS.2018.9
  20. Cerqueira, F.; Nelissen, G.; Brandenburg, B.B.. "On strong and weak sustainability, with an application to self-suspending real-time tasks". 2018.
    10.4230/LIPIcs.ECRTS.2018.26
  21. Maia, C.; Nelissen, G.; Nogueira, L.; Pinho, L.M.; Perez, D.G.. "Schedulability analysis for global fixed-priority scheduling of the 3-phase task model". 2017.
    10.1109/RTCSA.2017.8046313
  22. Fonseca, J.; Nelissen, G.; Nélis, V.. "Improved response time analysis of sporadic dag tasks for global FP scheduling". 2017.
    10.1145/3139258.3139288
  23. Nasri, M.; Nelissen, G.; Fohler, G.. "A New Approach for Limited Preemptive Scheduling in Systems with Preemption Overhead". 2016.
    10.1109/ECRTS.2016.15
  24. Rashid, S.A.; Nelissen, G.; Hardy, D.; Akesson, B.; Puaut, I.; Tovar, E.. "Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems". 2016.
    10.1109/ECRTS.2016.25
  25. Chen, J.-J.; Nelissen, G.; Huang, W.-H.. "A Unifying Response Time Analysis Framework for Dynamic Self-Suspending Tasks". 2016.
    10.1109/ECRTS.2016.31
  26. Fonseca, J.; Nelissen, G.; Nelis, V.; Pinho, L.M.. "Response time analysis of sporadic DAG tasks under partitioned scheduling". 2016.
    10.1109/SIES.2016.7509443
  27. Rashid, S.A.; Nelissen, G.; Tovar, E.. "Integrating the calculation of preemption and persistence related cache overhead". 2016.
    10.1109/RTSS.2016.045
  28. Kochanthara, S.; Nelissen, G.; Pereira, D.; Purandare, R.. "REVERT: Runtime Verification for Real-Time Systems". 2016.
    10.1109/RTSS.2016.044
  29. Garibay-Martínez, R.; Nelissen, G.; Ferreira, L.L.; Pinho, L.M.. "Allocation of parallel real-time tasks in distributed multi-core architectures supported by an FTT-SE network". Paper presented in International Conference on Architecture of Computing Systems, 2015.
    10.1007/978-3-319-16086-3_18
  30. Nelissen, G.; Pereira, D.; Pinho, L.M.. "A novel run-time monitoring architecture for safe and efficient inline monitoring". Paper presented in Ada-Europe International Conference on Reliable Software Technologies, 2015.
    10.1007/978-3-319-19584-1_5
  31. Baldovin, A.; Zovi, A.; Nelissen, G.; Puri, S.. "The CONCERTO methodology for model-based development of avionics software". Paper presented in Ada-Europe International Conference on Reliable Software Technologies, 2015.
    10.1007/978-3-319-19584-1_9
  32. Nelissen, G.; Fonseca, J.; Raravi, G.; Nelis, V.. "Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks". 2015.
    10.1109/ECRTS.2015.15
  33. Esper, A.; Nelissen, G.; Nélis, V.; Tovar, E.. "How realistic is the mixed-criticality real-time system model?". 2015.
    10.1145/2834848.2834869
  34. Garibay-Martinez, R.; Nelissen, G.; Ferreira, L.L.; Pedreiras, P.; Pinho, L.M.. "Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol". 2015.
    10.1109/WFCS.2015.7160571
  35. Baldovin, A.; Nelissen, G.; Vardanega, T.; Tovar, E.. "SPRINT: Extending RUN to schedule sporadic tasks". 2014.
    10.1145/2659787.2659828
  36. Allard, Y.; Nelissen, G.; Goossens, J.; Milojevic, D.. "A context aware cache controller to bridge the gap between theory and practice in real-time systems". 2014.
    10.1109/RTCSA.2014.6910503
  37. Garibay-Martinez, R.; Nelissen, G.; Lino Ferreira, L.; Pinho, L.M.. "On the scheduling of fork-join parallel/distributed real-time tasks". 2014.
    10.1109/SIES.2014.6871184
  38. Santy, F.; Raravi, G.; Nelissen, G.; Nelis, V.; Kumar, P.; Goossens, J.; Tovar, E.. "Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems". 2013.
    10.1145/2516821.2516834
  39. Nelissen, G.; Berten, V.; Nélis, V.; Goossens, J.; Milojevic, D.. "U-EDF: An unfair but optimal multiprocessor scheduling algorithm for sporadic tasks". 2012.
    10.1109/ECRTS.2012.36
  40. Nelissen, G.; Funk, S.; Goossens, J.. "Reducing preemptions and migrations in EKG". 2012.
    10.1109/RTCSA.2012.47
  41. Nelissen, G.; Berten, V.; Goossens, J.; Milojevic, D.. "Techniques optimizing the number of processors to schedule multi-threaded tasks". 2012.
    10.1109/ECRTS.2012.37
  42. Nelissen, G.; Berten, V.; Goossens, J.; Milojevic, D.. "Reducing preemptions and migrations in real-time multiprocessor scheduling algorithms by releasing the fairness". 2011.
    10.1109/RTCSA.2011.57
Journal article
  1. Jatin Arora; Cláudio Maia; Syed Aftab Rashid; Geoffrey Nelissen; Eduardo Tovar. "Bus-contention aware WCRT analysis for the 3-phase task model considering a work-conserving bus arbitration scheme". Journal of Systems Architecture 122 (2022): 102345-102345. https://doi.org/10.1016/j.sysarc.2021.102345.
    10.1016/j.sysarc.2021.102345
  2. Syed Aftab Rashid; Geoffrey Nelissen; Eduardo Tovar. "Tightening the CRPD bound for multilevel non-inclusive caches". Journal of Systems Architecture 122 (2022): 102340-102340. https://doi.org/10.1016/j.sysarc.2021.102340.
    10.1016/j.sysarc.2021.102340
  3. Yilian Ribot Gonzalez; Geoffrey Nelissen. "HopliteRT*: Real-Time NoC for FPGA". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 11 (2020): 3650-3661. https://research.tue.nl/en/publications/5335f98c-8ebb-468d-972b-b0967a125bc6.
    10.1109/TCAD.2020.3012748
  4. Jian-Jia Chen; Geoffrey Nelissen; Wen-Hung Huang; Maolin Yang; Björn Brandenburg; Konstantinos Bletsas; Cong Liu; et al. "Many suspensions, many problems: a review of self-suspending tasks in real-time systems". Real-Time Systems 55 1 (2019): 144-207. https://doi.org/10.1007/s11241-018-9316-9.
    10.1007/s11241-018-9316-9
  5. Gujarati, A.; Cerqueira, F.; Brandenburg, B.B.; Nelissen, G.. "Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling". Real-Time Systems 55 1 (2019): 136-143. http://www.scopus.com/inward/record.url?eid=2-s2.0-85051723454&partnerID=MN8TOARS.
    10.1007/s11241-018-9315-x
  6. Fonseca, J.; Nelissen, G.; Nélis, V.. "Schedulability analysis of DAG tasks with arbitrary deadlines under global fixed-priority scheduling". Real-Time Systems (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85061722840&partnerID=MN8TOARS.
    10.1007/s11241-018-09325-5
  7. Esper, A.; Nelissen, G.; Nélis, V.; Tovar, E.. "An industrial view on the common academic understanding of mixed-criticality systems". Real-Time Systems 54 3 (2018): 745-795. http://www.scopus.com/inward/record.url?eid=2-s2.0-85046766298&partnerID=MN8TOARS.
    10.1007/s11241-018-9308-9
  8. Konstantinos Bletsas; Neil C. Audsley; Wen-Hung Huang; Jian Chen; Geoffrey Nelissen. "Errata for Three Papers (2004-05) on Fixed-Priority Scheduling with Self-Suspensions". Leibniz Transactions on Embedded Systems 5 1 (2018): 02:1-02:20. https://research.tue.nl/en/publications/9607d49d-daea-4d66-9075-2a0ee83e795c.
    10.4230/LITES-v005-i001-a002
  9. Awan, M.A.; Nelissen, G.; Yomsi, P.M.; Petters, S.M.. "Online slack consolidation in global-EDF for energy consumption minimisation". Journal of Systems Architecture 63 (2016): 1-15. http://www.scopus.com/inward/record.url?eid=2-s2.0-84957031038&partnerID=MN8TOARS.
    10.1016/j.sysarc.2016.01.001
  10. Godard, W.; Nelissen, G.. "Model-based design and schedulability analysis for avionic applications on multicore platforms". Ada User Journal 37 3 (2016): 157-163. http://www.scopus.com/inward/record.url?eid=2-s2.0-84997113345&partnerID=MN8TOARS.
  11. Garibay-Martinez, R.; Nelissen, G.; Ferreira, L.L.; Pedreiras, P.; Pinho, L.M.. "Improved Holistic Analysis for Fork-Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol". IEEE Transactions on Industrial Informatics 12 5 (2016): 1865-1876. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027017888&partnerID=MN8TOARS.
    10.1109/TII.2016.2603461
  12. Awan, M.A.; Yomsi, P.M.; Nelissen, G.; Petters, S.M.. "Energy-aware task mapping onto heterogeneous platforms using DVFS and sleep states". Real-Time Systems 52 4 (2016): 450-485. http://www.scopus.com/inward/record.url?eid=2-s2.0-84938717829&partnerID=MN8TOARS.
    10.1007/s11241-015-9236-x
  13. Garibay-Martínez, R.; Nelissen, G.; Ferreira, L.L.; Pinho, L.M.. "Task partitioning and priority assignment for distributed hard real-time systems". Journal of Computer and System Sciences 81 8 (2015): 1542-1555. http://www.scopus.com/inward/record.url?eid=2-s2.0-84940447874&partnerID=MN8TOARS.
    10.1016/j.jcss.2015.05.005
  14. Nelissen, G.; Su, H.; Guo, Y.; Zhu, D.; Nélis, V.; Goossens, J.. "An optimal boundary fair scheduling". Real-Time Systems 50 4 (2014): 456-508. http://www.scopus.com/inward/record.url?eid=2-s2.0-84903608931&partnerID=MN8TOARS.
    10.1007/s11241-014-9201-0
  15. Nelissen, G.; Bletsas, K.; Goossens, J.. "CPMD-mindful task assignment for NPS-F". Real-Time Systems 50 5-6 (2014): 585-591. http://www.scopus.com/inward/record.url?eid=2-s2.0-84910116852&partnerID=MN8TOARS.
    10.1007/s11241-014-9206-8
  16. Nelissen, G.; Goossens, J.. "A counter-example to: Sticky-ERfair: A task-processor affinity aware proportional fair scheduler". Real-Time Systems 47 4 (2011): 378-381. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959534956&partnerID=MN8TOARS.
    10.1007/s11241-011-9128-7
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2020/06 - Current Analysis and Configuration of Time-Sensitive Networks using Schedule Abstraction Graphs
Co-supervisor
2019 - Current Predictable Network on Chip for Real-Time Systems
Co-supervisor
Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2021/04 Towards Predictable Multi-core Platforms for Safety Critical Real-Time Systems
Co-supervisor of Syed Aftab Rashid
Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2017 Scheduling High Criticality Real-Time Systems
Co-supervisor
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2015 - 2016 REVERT: Runtime Verification for Real-Time Systems
Co-supervisor of Sangeeth Kochanthara
Indraprastha Institute of Information Technology Delhi, India

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2018 - 2020 Publication chair of the IEEE Real-Time Systems Symposium (RTSS) from 2018 to 2020 (2018)
2018 - 2018 Publication chair of the CPS week 2018 (including the fours conferences RTAS, HSCC, ICCPS, IPSN and 12 workshops) (2018 - 2018)
Conference (Member of the Organising Committee)

Conference scientific committee

Conference name Conference host
2020 - 2020 Design Automation Conference (DAC)
2020 - 2020 IEEE Mediterranean Eletrotechnical Conference (MELECON)
2017 - 2020 Euromicro Technical Committee on Real-Time Systems (ECRTS)
2019 - 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
2018 - 2019 International Conference on Embedded Software (EMSOFT)
2018 - 2019 IEEE Real-Time Systems Symposium (RTSS)
2016 - 2019 Workshop on Mixed Criticality Systems (WMC)
2017 - 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
2017 - 2017 International Conference on Real-Time Networks and Systems (RTNS)
2016 - 2017 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
2015 - 2017 IEEE International Conference on Embedded Software and Systems (ICESS)

Consulting

Activity description Institution / Organization
2017 - 2019 Activity subcontracted by Honeywell International (under NDA). Topic: Timing accurate simulation environment for multicore platforms.
2016 - 2017 Activity subcontracted by Honeywell International (under NDA). Topic: Memory architectures analysis. Result: The results of the project are considered a trade secret of Honeywell International.

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2020 - Current Operating systems (Bachelor) Technische Universiteit Eindhoven Faculty of Mathematics and Computer Science, Netherlands
2020 - Current Real-time systems (Master) Technische Universiteit Eindhoven Faculty of Mathematics and Computer Science, Netherlands
2020 - Current Homologatie C++ and Computer Organization Technische Universiteit Eindhoven Faculty of Mathematics and Computer Science, Netherlands
Distinctions

Award

2020 best-paper candidates of the 2020 edition of RTCSA
2018 Outstanding Paper Award at Euromicro Conference on Real-Time Systems
2017 Best Paper Award at International Conference on Real-Time Networks and Systems
2016 Outstanding Paper Award at Euromicro Conference on Real-Time Systems
2015 Outstanding Paper Award at International Conference on Real-Time Networks and Systems

Other distinction

2008 FRIA grant (Fund for Research Training in Industry and Agriculture)
Fonds de la Recherche Scientific, Belgium