Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem.   

En person sitter framför en datorskärm och hanterar en golvrobot Foto Jonas Järmen Forskning och utbildning bedrivs inom följande delområden:

  • Programvaruteknik
  • Programmeringsmodeller och programmeringssystem
  • Modellering och simulering av programvara och system
  • Systemprogramvara
  • Inbyggda/cyberfysiska programvaru- och hårdvarusystem
  • Datorsystemteknik
  • Parallella och distribuerade programvara och system
  • Realtidssystem och systemtillförlitlighet
  • Verifiering och testning av programvara och system

Forskning

Forskningen omfattar både grundforskning och projekt i samarbete med industrin - projekt bedrivs eller har bedrivits i samarbete med ABB Robotics, ABB Industrial Systems, Ericsson Softlab AB, Ericsson Radio Systems, Ericsson Telecom, SKF, Saab, Saab Dynamics, Saab Combitech och flera andra företag.

Händer på en laptops tangentbord, i bakgrunden ett kretskort Foto Jonas Järmen Dessutom inkluderar forskningen vid avdelningen flera open-source systemutvecklingsprojekt, såsom OpenModelica ramverket för objektorienterat ekvationsbaserat modellering och simulering av cyberfysiska system, och högnivåprogrammeringsramverket SkePU för heterogena parallella system.

Nio professorer, åtta docenter/lektorer och flera postdocs är involverade i forskningen tillsammans med omkring 25 doktorander.

Studenter lyssnar på lärare som pekar mot ett exempel på en stor skärm. Foto Jonas Järmen



SaS seminarieserie
är en kontinuerlig serie av öppna seminarier inom SaS-forskningsområden.




Avdelningens forskning bedrivs inom tre enheter

Inbyggda system (ESLAB)

Co-design och design for testbarhet av inbyggda/cyberfysiska programvaru- och hårdvarusystem, samt formala metoder för inbyggda system.

Programmeringssystem (PELAB)
Verktyg och arkitekturer för programvaruteknik, storskalig programvaruteknik, modell-baserad programvaruutveckling, programspråk och programmeringssystem, inklusive kompilatorer, debugger, testverktyg, och verktyg för programmering av parallella, distribuerade och realtidssystem.

Realtidssystem (RTSLAB)
Pålitliga system och nätverk inklusive tillförlitlighet, säkerhet och informationssäkerhet, resurseffektivitet med avseende på beräkningskapacitet, minne, bandbredd, och energi.

Utbildning

Avdelningen ansvarar för en betydande del av institutionens omfattande grundutbildningsverksamhet, med ungefär 70 grundutbildningskurser per år på grundläggande och avancerad nivå, samt uppdragsutbildningskurser och handledning av examensarbeten. Dessutom ger forskarna ett antal kurser inom forskarutbildningen varje år.Grupp av studenter som arbetar vid datorer. Foto Jonas Järmen

Grundutbildningen vid avdelningen bedrivs gemensamt av forskarna och av undervisningsgruppen för programmering och programmeringens didaktik (UPP-lärargruppen), som består av omkring tio universitetsadjunkter/tekniker och många amanuenser. UPP-lärargruppen ansvarar för merparten av avdelningens grundläggande kurser i programmering, datastrukturer och algoritmer samt även en del mer avancerade kurser inom olika områden.

Forskarutbildning bedrivs inom datalogi.



Aktuellt vid SAS

Nyheter och reportage

Första forskarna i nya Fenomenmagasinet

När Fenomenmagasinet slår upp dörrarna till sina nya lokaler i Valla fritidsområde öppnar också möjligheten till närmare samarbeten med LiU. Forskarna Aseel och Erik Berglund är bland de första att flytta in.

Mikael Asplund i cybersäkerhetslabbets lokaler.

Nytt cybersäkerhetslabb vid LiU

Det nya cybersäkerhetslabbet är en milstolpe i Linköpings universitets satsning på utbildning inom området. Studenterna ska känna att "wow, här är det möjligt att göra något spännande", sa vicerektor Matts Karlsson vid invigningen den 7 maj 2025.

Två siluetter i profik i kulvert.

Forskarna som måste ligga steget före

Dagens samhälle vilar på cybersäkerhet och förmågan att ligga steget före hackare och främmande makt. På senare år har också ett nytt hot uppstått – AI. Men enligt forskarna Elisa Bertino och Simin Nadjm-Tehrani kan AI också vara en del av lösningen.

Forskning vid SAS

Senaste publikationerna

2025

Zeeshan Afzal, Giovanni Gaggero, Mikael Asplund (2025) Towards privacy-preserving anomaly-based intrusion detection in energy communities Energy Informatics, Vol. 8, Artikel 109 (Artikel i tidskrift) Vidare till DOI
Elisa Bertino, Simin Nadjm-Tehrani (2025) Invited Paper: Smart Autonomous Cyber-Physical Systems PROCEEDINGS OF THE 2025 ACM WORKSHOP ON SECURE AND TRUSTWORTHY CYBER-PHYSICAL SYSTEMS, SAT-CPS 2025 (Konferensbidrag) Vidare till DOI
Nelson Makau Mutua, Simin Nadjm-Tehrani, Petr Matousek (2025) Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systems CRITICAL INFORMATION INFRASTRUCTURES SECURITY, CRITIS 2024, s. 249-268 (Konferensbidrag) Vidare till DOI
Mohammad Hamad, Michael Kuehr, Haralambos Mouratidis, Eleni-Maria Kalogeraki, Christos Gizelis, Dimitris Papanikas, Athanasios Bountioukos-Spinaris, Charilaos Skandylas, Evangelos Raptis, Andreas Alexopoulos, Grigorios Chrysos, Mina Marmpena, Sevasti Politi, Konstantinos Lieros, Papagiannopoulos Nikolaos, Iordanis Xanthopoulos, Spyros Papastergiou, Sotiris Ioannidis, Mikael Asplund, Marc-Oliver Pahl, Sebastian Steinhorst (2025) Multi-Partner Project: CyberSecDome - Framework for Secure, Collaborative, and Privacy-Aware Incident Handling for Digital Infrastructure 2025 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE, DATE (Konferensbidrag) Vidare till DOI
Mohammad Hamad, Christian Prehofer, Mikael Asplund, Tobias Loehr, Lucas Bublitz, Alexander Zeh, Mridula Singh, Sebastian Steinhorst (2025) Cybersecurity Challenges of Autonomous Systems 2025 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE, DATE (Konferensbidrag) Vidare till DOI
Fang Li, Congteng Dai, Abdelazim Hussien, Rong Zheng (2025) IPO: An Improved Parrot Optimizer for Global Optimization and Multilayer Perceptron Classification Problems Biomimetics, Vol. 10, Artikel 358 (Artikel i tidskrift) Vidare till DOI
Rosanna Zimdahl, Ludvig Knöös Franzén (2025) An Inclusive Method for Connecting System-of-Systems Architectures with Stakeholders SYSTEMS, Vol. 13, Artikel 406 (Artikel i tidskrift) Vidare till DOI
Yiran Wang, Willem Meijer, Jose Antonio Hernandez Lopez, Ulf Nilsson, Daniel Varro (2025) Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks IEEE Transactions on Software Engineering, Vol. 51, s. 2181-2196 (Artikel i tidskrift) Vidare till DOI
Mina Niknafs, Petru Ion Eles, Zebo Peng (2025) Temperature and deadline aware runtime resource management with workload prediction for heterogeneous multi-core platforms Journal of systems architecture, Vol. 167, Artikel 103506 (Artikel i tidskrift) Vidare till DOI
Rui Zhong, Abdelazim Hussien, Essam H. Houssein, Jun Yu (2025) Enhanced crested ibis algorithm: Performance validation in benchmark functions, engineering problems, and application in brain tumor detection Expert systems with applications, Vol. 289, Artikel 128231 (Artikel i tidskrift) Vidare till DOI

Kontakta oss

Medarbetare vid SAS

Biträdande universitetslektorer

Samtliga medarbetare vid SAS

Om institutionen