Per Lindgren
Per Lindgren

Per Lindgren

Professor
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
Per.Lindgren@ltu.se
+46 (0)920 491092
A2307 Luleå

Per Lindgren, Professor Embedded Systems

Academic background and current roles

Since June 2008 Per Lindgren holds the position as chaired professor in Embedded Systems at EISLAB, and manages the Sustainable IT systems Master's (SITS) program. Dr. Lindgren currently heads a group of Ph.D. students in the area of embedded system design, with a focus on real-time, low-power software and hardware architectures with applications to embedded monitoring and control. Dr. Lindgren is a member of the ARTES++ reference group, and member of the ARTEMIS Architecture group, having contributed to the ARTEMIS Tools SRA.

Until January 2010, Dr Lindgren has supervised 6 students to the level of licentiate degree, and 2 students to the level of doctoral degree. After finishing his doctoral studies January 2000, he has held the position of senior lecturer/associate professor, leading education and research in the area of Computer Engineering/Embedded Systems at EISLAB, Luleå University of Technology (LTU).

Dr. Lindgren received a PhD in Computer Engineer (2000) and a Master's degree in Computer Science (1994) at LTU.

Research

My research interests are into component based design of embedded systems. The overall goal is to provide a modeling and implementation framework for systems operating under resource and timing constraints. Topics of interests are methods and tools for, real-time scheduling (for both single and multi-core systems), code generation, resource analysis (CPU/Memory/Power/IO), componentization and composability, and co-simulation.

Related links

Teaching

Dr. Lindgren is currently examiner and course responsible for courses, student projects and theses in embedded systems.

Courses

Projects and funding

Project homepages

Publications

Article in journal

Concurrent Reactive Objects in Rust Secure by Construction (2019)

Lindner. M, Aparicio. J, Lindgren. P
Ada User Journal, ISSN: 1381-6551, Vol. 40, nr. 1
Conference paper

Hardware-in-the-loop based WCET analysis with KLEE (2018)

Lindner. M, Aparicio. J, Tjäder. H, Lindgren. P, Eriksson. J
Part of: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), s. 345-352, IEEE, 2018
Conference paper

Heapless (2018)

Dynamic Data Structures without Dynamic Heap Allocator for Rust
Aparicio Rivera. J, Lindner. M, Lindgren. P
Part of: 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), s. 87-94, IEEE, 2018, 8472097
Conference paper

No Panic! Verification of Rust Programs by Symbolic Execution (2018)

Paper presented at : 16th International Conference on Industrial Informatics (INDIN), Porto, Portugal, 18-20 July 2018
Conference paper

Contract Based Verification of IEC 61499 (2017)

Lindgren. P, Lindner. M, Pereira. D, Pinho. L
Part of: IEEE International Conference on Industrial Informatics (INDIN), s. 132-141, Institute of Electrical and Electronics Engineers (IEEE), 2017, 7819147