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

Researchers

Tom Fredman Sébastien Lafond Kristian Nybom Leonidas Tsiopoulos

External Docents

João Miguel Fernandes Lionel Morel

Projects 

AMEBA

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

ASSURE

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

CLOUD

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

DORADO

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

ENGINES

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

FCEP

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

ParallaX

Parallel Acceleration Project, TEKES, 2013

RECOMP

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

Publications 

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

The latest updated publications:

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.

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.

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.

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.

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.

Moreno Ambrosin, Arman Anzanpour, Mauro Conti, Tooska Dargahi, Sanaz Rahimi Moosavi, Amir-Mohammad Rahmani, Pasi Liljeberg, On the Feasibility of Attribute-Based Encryption on Internet of Things Devices. IEEE Micro 36(6), 25–35, 2016.

Simon Holmbacka, Jörg Keller, Patrick Eitschberger, Johan Lilius, Accurate Energy Modeling for Many-Core Static Schedules with Streaming Applications. Microprocessors and Microsystems 43, 14–25, 2016.

Drazen Lucanin, Ilia Pietri, Simon Holmbacka, Ivona Brandic, Johan Lilius, Rizos Sakellariou, Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing. IEEE Transactions on Cloud Computing (99), 1–14, 2016.

Ivan Miguel Pires, Nuno M. Garcia, Nuno Pombo, Francisco Flórez-Revuelta, Natalia Díaz Rodríguez, Validation Techniques for Sensor Data in Mobile Health Applications. Sensor Letters 2016, 1–9, 2016.

John-Eric Saxén, Henrik Saxén, Hannu T. Toivonen, Identification of Switching Linear Systems Using Self-Organizing Models with Application to Silicon Prediction in Hot Metal. Applied Soft Computing 47, 271–280, 2016.

Amir H. Shirdel, Jari M. Böling, Hannu T. Toivonen, System Identification in the Presence of Trends and Outliers Using Sparse Optimization. Journal of Process Control 44(1), 120–133, 2016.

Kurt Bollacker, Natalia Díaz Rodríguez, Xian Li, Beyond Clothing Ontologies: Modeling Fashion with Subjective Influence Networks. In: Vikas C. Raykar, Brad Klingenberg, Heng Xu, Raghavendra Singh, Amrita Saha (Eds.), Machine Learning meets fashion KDD Workshop, 1–7, ACM, 2016.

Simon Holmbacka, Robert Müller, epEBench: True Energy Benchmark. In: Magnus Jahre, Magnus Själander (Eds.), Ninth Nordic Workshop on Multi-Core Computing, 1 – 4, Norwegian University of Science and Technology, 2016.

Eugene Cherny, Johan Lilius, Johannes Brusila, Dmitry Mouromtsev, A Knowledge Engineering Approach to Computational Creativity in Sound Design. In: Steven Jan, Valerio Velardo (Eds.), The Proceedings of the 1st Conference on Computer Simulation of Musical Creativity, –, University of Huddersfield, 2016.

Eugene Cherny, Johan Lilius, Johannes Brusila, Dmitry Mouromtsev, Gleb Rogozinsky, An Approach for Structuring Sound Sample Libraries Using Ontology. In: Axel-Cyrille Ngonga Ngomo, Petr Křemen (Eds.), Knowledge Engineering and Semantic Web, Communications in Computer and Information Science 649, 202–214, Springer International Publishing, 2016.

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. In: Vladik Kreinovich, Marek Z. Reformat, Ronald R. Yager (Eds.), World Conference on Soft Computing, 1–5, Springer, 2016.

Fahimeh Farahnakin, Rami Bahsoon, Pasi Liljeberg, Tapio Pahikkala, Self-Adaptive Resource Management System in IaaS Clouds. In: Rami Bahsoon, Pasi Liljeberg, Tapio Pahikkala (Eds.), 9th International Conference on Cloud Computing (IEEE CLOUD), 553–560, IEEE, 2016.

Yad Faeq, Cosmo Harrigan, Natalia Díaz Rodríguez, Bogdana Rakova, Dan Girshovich, Learning to act with recurrent neural networks. In: Christine Peterson, Julia Bossmann, Steve Burgess, Allison Duettmann, Maya Lockwood, Miguel Aznar, Marcia Seidler, Jim Lewis (Eds.), AI for Scientific Progress Workshop, 45–47, Foresight Institute, 2016.

Georgios Georgakarakos, Simon Holmbacka, Johan Lilius, Analysis on Scalability and Energy Efficiency of HEVC Decoding Using Task-Based Programming Model. In: Sophie Cerisier, Morawiec Adam (Eds.), The 2016 Conference on Design & Architectures for Signal & Image Processing, 37–44, ECSI European Electronic Chips & Systems design Initiative, 2016.

Shohreh Hosseinzadeh, Natalia Díaz Rodríguez, Seppo Virtanen, Johan Lilius, A Semantic Security Framework and Context-Aware Role-Based Access Control Ontology for Smart Spaces. In: Sven Groppe, Le Gruenwald (Eds.), International Workshop on Semantic Big Data, 8:1–8:6, ACM, 2016.

Simon Holmbacka, Enida Sheme, Sébastien Lafond, Neki Frasheri, Geographical Competitiveness for Powering Datacenters with Renewable Energy. In: Jesus Carretero, Javier Garcia-Blas, Svetozar Margenov (Eds.), Third Nesus Action Workshop, 1–8, Network for Sustainable Ultrascale Computing (NESUS), 2016.

Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis, Formalisation-Driven Development of Safety-Critical Systems. In: Radu Babiceanu, Helene Waeselynck (Eds.), HASE 2016 -- IEEE High Assurance Systems Engineering Symposium, 165–172, IEEE, 2016.

Maxim Kolchin, Eugene Cherny, Fedor Kozlov, Alexander Shipilo, Liubov Kovriguina, CEUR-WS-LOD: Conversion of CEUR-WS Workshops to Linked Data. In: Fabien Gandon, Elena Cabrio, Milan Stankovic, Antoine Zimmermann (Eds.), Second SemWebEval Challenge at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers, Communications in Computer and Information Science 548, 142–152, Springer, 2016.

Liubov Kovriguina, Alexander Shipilo, Fedor Kozlov, Maxim Kolchin, Eugene Cherny, Metadata Extraction from Conference Proceedings Using Template-Based Approach. In: Fabien Gandon, Elena Cabrio, Milan Stankovic, Antoine Zimmermann (Eds.), Second SemWebEval Challenge at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers, Communications in Computer and Information Science 548, 153–164, Springer, 2016.

Sébastien Lafond, Simon Holmbacka, Johan Lilius, Energy Aware Software: Issues, Approaches and Challenges. In: Behrooz Shirazi, Ishfaq Ahmad (Eds.), 7th International Green & Sustainable Computing Conference, 1–8, IEEE, 2016.

Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns, A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. In: Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Eds.), Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Lecture Notes in Computer Science 10009, 141–158, Springer, 2016.

Ranjita Pradhan, Natalia Díaz Rodríguez, Riitta Danielsson-Ojala, Hanna Pirinen, Lotta Hamari, Ilona Tuominen, Sanna Salanterä, Annamari Soini, Johan Lilius, Medicine Tray Design and Security for Medication Administration Processes at Hospital Wards. In: Audrey Girouard, David McGookin, Katie Siek, Orit Shaer, Marilyn Lennon, Peter Bennett (Eds.), CHI 2016 Tangibles for Health Workshop, 1–5, ACM, 2016.

Gleb G. Rogozinsky, Eugene Cherny, Ivan Osipenko, Making Mainstream Synthesizers with Csound. In: Gleb G. Rogozinsky (Ed.), Proceedings of the Third International Csound Conference, 132–140, The Bonch-Bruevich St. Petersburg State University of Telecommunications, 2016.

Enida Sheme, Neki Frashëri, Simon Holmbacka, Sébastien Lafond, Drazen Luzanin, Datacenters powered by renewable energy: A case study for 60 degrees latitude north. In: Marina Prvan (Ed.), 24th International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 1–5, IEEE Communications Society, 2016.

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala, Towards Security-Explicit Formal Modelling of Safety-Critical Systems. In: Amund Skavhaug, Jeremie Guiochet, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, Lecture Notes in Computer Science 9922, 213–225, Springer, Cham, 2016.

Linas Laibinis, Elena Troubitsyna, A Contract-Based Approach to Ensuring Component Interoperability in Event-B. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems, 81–96, Taylor & Francis, 2016.

Jüri Vain, Leonidas Tsiopoulos, Pontus Boström, Integrating Refinement-Based Methods for Developing Timed Systems. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems: The Refinement Approach, 171 – 185, Taylor & Francis, 2016.

Stefan Grönroos, Efficient and Low-Cost Software Defined Radio on Commodity Hardware. TUCS Dissertations 218. 2016.