Where academic tradition
meets the exciting future

Embedded Systems Laboratory (ESLAB)

The Embedded Systems Laboratory does research on the practice and theory of embedded and automation systems. A central vision of the laboratory is to contribute to development of solutions for improving energy-efficiency and reliability of systems, both traditional ICT systems (mobile, Green-ICT), as well as automation systems for energy production.

The laboratory has strong research cooperation with the Distributed Systems Lab, the Embedded Computer and Electronic Systems Lab, and the Software Engineering Lab, through joint research projects.

The laboratory is hosting 2 International Masters programmes in cooperation with ECES, Embedded Computing, and EIT ICTLabs Master School Embedded Computing Specialisation on Energy-Efficient Compting, and a double-degree with ESIGELEC in Rouen, France.

The laboratory consists of 4 research groups:

Systems and Control Engineering (Lead: Hannu Toivonen): The group is involved in both applied and theoretical research. The latter is partly done within the OSE (Optimization and Systems Engineering) group at Åbo Akademi. In theoretical research, the current focus is on system modeling and identification methods, and control methods for periodically time-varying systems. In applied research, the group currently focuses on issues in intelligent automation and control of combustion engines and power plants.

Embedded Systems (Lead: Johan Lilius): The current focus of research on the development of new methods and tools for energy-efficient system implementation, including dataflow-languages, many-core operating systems and the use of mobile technologies in data-centers.

Communication and Signal Processing (Lead: Jerker Björqkvist): The communcations and signal processing group currently focuses on development and implemention issues for wireless broadbad communication systems. This includes Software Defined Radio (SDR) implementation of relevant communication kernels, such as forward error correction and symbol demapping, implemented on various computing architectures.

Resilient Systems Engineering (Lead: Elena Troubitsyna): The group has a strong track record in developing formal design theories for highly dependable systems. We focus on modelling safety, fault tolerance and resilience of systems from a broad range of domains -- from traditional control systems to self-adaptive multi-agent applications and big data in cloud. Our core expertise is in high-assurance systems engineering that includes proof-based verification, model-checking, safety analysis and advanced system adaptation technologies.

Research Unit Web Page: https://research.it.abo.fi/research/embedded-systems-laboratory

Leader of the unit

Johan Lilius

Senior Researchers

Jerker Björkqvist Linas Laibinis Hannu Toivonen Elena Troubitsyna


Tom Fredman Sébastien Lafond Kristian Nybom Leonidas Tsiopoulos

External Docents

João Miguel Fernandes Lionel Morel



Agent Based Management of Embedded Data Reserves, Academy of Finland, 2012-2014


Autonomic software-intensive systems – foundations of safety and resilience, Academy of Finland, 2009-2013


Cloud Software Programme, TIVIT SHOK Research Programme, 2010-2013


Dataflow Oriented Automated Design Toolchain, Academy of Finland, 2011-2015


Enabling Next GeneratIon NEtworks for broadcast Services, CELTIC, 2010-2012


Future Combustion Engine Power Plant programme, CLEEN SHOP Research Programme, 2011-2014


Parallel Acceleration Project, TEKES, 2013


Reduced Certification Costs for Trusted Multi-core Platforms, ARTEMIS, 2010-2013


Click here to see the full list of publications from the TUCS Publication Database

The latest updated publications:

Ignacio Huitzil, Umberto Straccia, Natalia Diaz-Rodriguez, Fernando Bobillo, Datil: Learning Fuzzy Ontology Datatypes. In: David Pelta, B. Bouchon-Meunier, R. R. Yager (Eds.), Communications in Computer and Information Science (CCIS) , 1–12, Springer, 2018.

I Huitzil, U Straccia, N Díaz-Rodríguez, F Bobillo, Datil: Learning Fuzzy Ontology Datatypes. In: J. Medina, M. Ojeda-Aciego, J.L. Verdegay, I. Perfilieva, B. Bouchon-Meunier, R.R Yager (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications, Communications in Computer and Information Science 854, 100–112, Springer, 2018.

Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab, Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. In: Ivan Merelli, Pietro Lio, Igor Kotenko (Eds.), 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 101–108, IEEE, 2018.

Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab, Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. In: Carlos Coello Coello, Hisao Ishibuchi, Xiaodong Li, Fernando Von Zuben (Eds.), 2018 IEEE Congress on Evolutionary Computation (CEC), 1–8, IEEE, 2018.

Irum Rauf, Elena Troubitsyna, Securing Open Source Clouds Using Models. In: Fuyuki Ishikawa, Patrizio Pelliccione, Elena Troubitsyna (Eds.), nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 50–65, Electronic Proceedings in Theoretical Computer Science, 2018.

Irum Rauf, Inna Vistbakka, Elena Troubitsyna, Formal Verification of Stateful Services with REST APIs Using Event-B. In: Bhavani Thuraisingham, Yushun Fan (Eds.), 2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018, 131–138, IEEE, 2018.

Hergys Rexha, Sébastien Lafond, Exploring Energy Efficiency Model Generalization on Multicore Embedded Platforms. In: Juan E Guerrero (Ed.), 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 494–498, IEEE, 2018.

Hergys Rexha, Lafond Sébastien, Karol Desnos, Energy-Efficient Actor Execution for SDF Application on Heterogeneous Architectures. In: Juan E Guerrero (Ed.), 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 486–493, IEEE, 2018.

Enida Sheme, Sébastien Lafond, Dorian Minarolli, Elinda Kajo Meçe, Simon Holmbacka, Battery Size Impact in Green Coverage of Datacenters Powered by Renewable Energy: A Latitude Comparison. In: Fatos Xhafa (Ed.), 6th International Conference on Emerging Internet, Data & Web Technologies (EIDWT-2018), 1–6, Springer, Cham, 2018.

Elena Troubitsyna, Inna Vistbakka, Deriving and Formalising Safety and Security Requirements for Control Systems. In: Barbara Gallina, Amund Skavhaug, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21,2018, Proceedings, Lecture Notes in Computer Science 11093, 107–122, Springer, 2018.

Natalia Díaz-Rodríguez, Stefan Grönroos, Frank Wickström, Johan Lilius, Henk Eertink, Andreas Braun, Paul Dillen, James Crowley, Jan Alexandersson, An Ontology for Wearables Data Interoperability and Ambient Assisted Living Application Development Big Data Analytics and Fuzzy Technology: Extracting Information from Social DataRead first chapter. In: Lotfi A. Zadeh, Ronald R. Yager, Shahnaz N. Shahbazova, Marek Z. Reformat, Vladik Kreinovich (Eds.), Recent Developments and the New Direction in Soft-Computing Foundations and Applications, Studies in Fuzziness and Soft Computing, 1–10, Springer International Publishing, 2018.

Fredrik Robertsén, The Lattice Boltzmann Method, a Petaflop and Beyond. TUCS Dissertations 231. 2018.

Fredrik Robertsén, Keijo Mattila, Jan Westerholm, Lattice Boltzmann Method on GPUs: A Comparison Between OpenACC and CUDA. TUCS Technical Reports 1191, TUCS, 2018.

Inna Vistbakka, Amin Majd, Elena Troubitsyna, Autonomous Resilient Systems: Derivation of Mode Logic Using Event-B. TUCS Technical Reports 1199, 2018.

Alejandro Betancourt, Natalia Díaz Rodríguez, Emilia Barakova, Lucio Marcenaro, Matthias Rauterberg, Carlo Regazzoni, Unsupervised Understanding of Location and Illumination Changes in Egocentric Videos. Pervasive and Mobile Computing 8, 1–13, 2017.

Stefan Grönroos, Laura-Maria Peltonen, Valentin Soloviev, Johan Lilius, Sanna Salanterä, Indoor positioning system for movement path analysis in healthcare institutions. FINNISH JOURNAL OF EHEALTH AND EWELFARE 9(2-3), 0–0, 2017.

Lotta Hamari, Tiina Kullberg, Jukka Ruohonen, Olli J. Heinonen, Natalia Díaz Rodríguez, Johan Lilius, Anni Pakarinen, Annukka Myllymäki, Ville Leppänen, Sanna Salanterä, Physical Activity Among Children – Objective Measurements Using Fitbit One® and ActiGraph. BMC Research Notes 10, 1–6, 2017.

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems. Science of Computer Programming , 1–22, 2017.

Enida Sheme, Simon Holmbacka, Sébastien Lafond, Drazen Lucanin, Neki Frashëria, Feasibility of Using Renewable Energy to Supply Data Centers in 60 Degrees North Latitude. Sustainable Computing: Informatics and Systems , 1–14, 2017.

Adnan Ashraf, Amin Majd, Elena Troubitsyna, Towards a Realtime, Collision-Free Motion Coordination and Navigation System for a UAV Fleet. In: Ondrej Rysavy, Valentino Vranić (Eds.), Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBS '17, 11:1–11:9, ACM, 2017.

Eugene Cherny, Johan Lilius, Dmitry Mouromtsev, A Method for Automatic Whoosh Sound Description. In: Alberto Torin, Brian Hamilton, Stefan Bilbao, Michael Newton (Eds.), Proceedings of the 20th International Conference on Digital Audio Effects (DAFx-17), Edinburgh, UK, September 5–9, 2017, 459–465, University of Edinburgh, 2017.

Natalia Díaz Rodríguez, Aki Harma, Ignacio Huitzil, Fernando Bobillo, Rim Helaoui, Umberto Straccia, Couch Potato or Gym Addict? Semantic Lifestyle Profiling with Wearables and Fuzzy Knowledge Graphs. In: Jay Pujara, Danqi Chen, Bhavana Dalvi, Tim Rocktäschel (Eds.), 6th Workshop on Automated Knowledge Base Construction (AKBC) 2017, 1–8, NIPS, 2017.

Georgios Georgakarakos, Sudeep Kanur, Johan Lilius, Karol Desnos, Task-based Execution of Synchronous Dataflow Graphs for Scalable Multicore Computing. In: Vianney Lapotre (Ed.), 2017 IEEE International Workshop on Signal Processing Systems, 13–18, IEEE, 2017.

Simon Holmbacka, Robert Müller, epEBench: True Energy Benchmark. In: Erwin Grosspietsch, Konrad Klöckner (Eds.), PDP 2017, 1–4, Euromicro, 2017.

Irum Rauf, Elena Troubitsyna, Towards a Model-Driven Security Assurance of Open Source Components. In: Alexander Romanovsky, Elena Troubitsyna (Eds.), 9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017) September 4-5, 2017, Geneva, Switzerland. Proceedings, LNCS-10479, 65–80, SpringerLink, 2017.

Hergys Rexha, Simon Holmbacka, Lafond Sébastien, Core Level Utilization for Achieving Energy Efficiency in Heterogeneous Systems. In: Igor Kotenko, Yiannis Cotronis, Daneshtalab Masoud (Eds.), 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, 401–407, IEEE, 2017.

Gleb Rogozinsky, Mihail Chesnokov, Eugene Cherny, pch2csd: An Application for Converting Nord Modular G2 Patches Into Csound Code. In: Tapio Lokki, Jukka Pätynen, Vesa Välimäki (Eds.), Proceedings of the 14th Sound and Music Computing Conference 2017, 415–421, Aalto University, 2017.

Deneke Tewodros, Proactive Management of Video Transcoding Services. TUCS Dissertations 222. 2017.

Sudeep Kanur, Johan Lilius, Johan Ersfolk, Detecting Data-Parallel Synchronous Dataflow Graphs. TUCS Technical Reports 1184, TUCS, 2017.