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

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.

Bild på 8 personer och en roll up

Miljoner till kvalitetssäkring av programvara

Vinnova tilldelar Kristian Sandahl med kollegor vid Inst för datavetenskap 5,6 miljoner kr till utveckling av metoder för kvalitetssäkring av programvara genererad av AI-modeller. Med bidrag från företag och LiU omsätter projektet 18 miljoner kr.

OpenModelica bidrar till lösningar på komplicerade samhällsfrågor

OpenModelica är ett gratis verktyg - utvecklat bland annat vid Linköpings universitet - för modellering och simulering av komplexa system. Verktyget är baserat på öppen källkod. Många aktörer kan därmed bidra till nytta för både företag och samhälle.

Forskning vid SAS

Senaste publikationerna

2025

John Törnblom (2025) Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles
Azeem Ahmad, Xin Sun, Muhammad Rashid Naeem, Yasir Javed, Mohammad Akour, Kristian Sandahl (2025) Understanding Flaky Tests Through Linguistic Diversity: A Cross-Language and Comparative Machine Learning Study IEEE Access, Vol. 13, s. 54561-54584 (Artikel i tidskrift) Vidare till DOI
Maria Andreassen, Nuria Santaularia, Aseel Berglund, Erik Berglund, Helena Orädd, Anna Strömberg, Tiny Jaarsma, Leonie Klompstra (2025) Feasibility of a Mobile Exergame for Patients with Heart Failure Games for Health Journal (Artikel i tidskrift) Vidare till DOI
Fabio Pertille, Tejaswi Badam, Nina Mitheiss, Pia Lötvedt, Emmanouil Tsakoumis, Mika Gustafsson, Luiz Lehmann Coutinho, Per Jensen, Carlos Guerrero-Bosagna (2025) Sex-Specific Methylomic and Transcriptomic Responses of the Avian Pineal Gland to Unpredictable Illumination Patterns Journal of Pineal Research, Vol. 77, Artikel e70040 (Artikel i tidskrift) Vidare till DOI
Rong Zheng, Abdelazim Hussien, Anas Bouaouda, Rui Zhong, Gang Hu (2025) A Comprehensive Review of the Tunicate Swarm Algorithm: Variations, Applications, and Results Archives of Computational Methods in Engineering (Artikel, forskningsöversikt) Vidare till DOI
Frans Öhrström, Joakim Oscarsson, Zeeshan Afzal, János Dani, Mikael Asplund (2025) From balance to breach: cyber threats to battery energy storage systems Energy Informatics, Vol. 8, Artikel 39 (Artikel i tidskrift) Vidare till DOI
Antonia Arvanitaki (2025) Performance Analysis of Wireless Systems with Security Constraints
Xing Wang, Huazhen Liu, Abdelazim Hussien, Gang Hu, Li Zhang (2025) Enhanced Particle Swarm Optimization Algorithm Based on SVM Classifier for Feature Selection CMES - Computer Modeling in Engineering & Sciences (Artikel i tidskrift) Vidare till DOI
Ali Toufanzadeh Mozhdehi, Nima Khodadadi, Mohaddeseh Aboutalebi, El-Sayed M. El-kenawy, Abdelazim Hussien, Weiguo Zhao, Mohammad H. Nadimi-Shahraki, Seyedali Mirjalili (2025) Divine Religions Algorithm: a novel social-inspired metaheuristic algorithm for engineering and continuous optimization problems Cluster Computing, Vol. 28, Artikel 253 (Artikel i tidskrift) Vidare till DOI
Shahrzad Khayatbashi, Olaf Hartig, Amin Jalali (2025) Transforming Object-Centric Event Logs to Temporal Event Knowledge Graphs Business Process Management Workshops: BPM 2024 International Workshops, Krakow, Poland, September 1–6, 2024, Revised Selected Papers, s. 300-313 (Konferensbidrag) Vidare till DOI

Kontakta oss

Medarbetare vid SAS

Alla medarbetare

Om institutionen