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:

Ivan Miguel Pires, Nuno M. Garcia, Nuno Pombo, Francisco Flórez-Revuelta, Natalia Díaz-Rodrígue, 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.

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.

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, 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.

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.

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.

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.