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

En del av superdatorn som lyser rött.

AI kan på sikt stärka samhällets cybersäkerhet

Kapplöpningen mellan hackare som försöker knäcka samhällsbärande system och cybersäkerhetsexperter är ständigt pågående. Nu ska LiU-forskare utveckla AI som kan upptäcka hackerattacker och vidta åtgärder innan skadan är gjord.

Aseel Berglund forskar om rörelse på jobbet.

Spela datorspel på jobbet – för hälsans skull

Människan är en jägare och samlare. Men i dagens moderna samhälle sitter vi mer än någonsin – något vår stenålderskropp inte mår bra av. Det vill forskarna Aseel och Erik Berglund ändra på med hjälp av datorspel på jobbet.

Två manliga forskare vid bord med spel.

Spelforskning om hållbart samhälle

Hur ska vi förstå varandras perspektiv på omställningen till ett hållbart samhälle? Forskare vid LiU utformar metoden megaspel. Människor kan nämligen komma till insikter om svåra frågor genom att i stor grupp spela ett verklighetsnära spel.

Forskning vid SAS

Senaste publikationerna

2025

Junqiang Jiang, Shengjie Jin, Zhifang Sun, Jinxue Duan, Lizhi Liu, Li Pan, Zebo Peng (2025) An Efficient Approach for Improving Message Acceptance Rate and Link Utilization in Time-Sensitive Networking ACM Transactions on Embedded Computing Systems, Vol. 24, s. 1-25 (Artikel i tidskrift) Vidare till DOI

2024

Emily Hofstetter, Ola Leifler, Björn Johansson, Berggren Berggren (2024) Facilitating systems thinking in serious game design by highlighting inter-player relationships ECCE '24: Proceedings of the European Conference on Cognitive Ergonomics 2024, s. 1-8, Artikel 23 (Konferensbidrag) Vidare till DOI
Gang Hu, Feng Zhao, Abdelazim Hussien, Jingyu Zhong, Essam H. Houssein (2024) Ameliorated Fick's law algorithm based multi-threshold medical image segmentation Artificial Intelligence Review, Vol. 57, Artikel 302 (Artikel i tidskrift) Vidare till DOI
Aseel Berglund, Leonie Klompstra, Helena Orädd, Johan Fällström, Anna Strömberg, Tiny Jaarsma, Erik Berglund (2024) The Rationale Behind the Design Decisions in an Augmented Reality Mobile eHealth Exergame to Increase Physical Activity for Inactive Older People With Heart Failure JMIR Serious Games, Vol. 12, Artikel e50066 (Artikel i tidskrift) Vidare till DOI
Zebo Peng (2024) Security-Aware Design of Cyber-Physical Systems for Control over the Cloud
Samarjit Chakraborty, Somesh Jha, Soheil Samii, Philipp Mundhenk (2024) Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2 ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, Vol. 8, Artikel 10 (Artikel i tidskrift) Vidare till DOI
Zhifang Sun, Shengjie Jin, Jinxue Duan, Junqiang Jiang, Zebo Peng (2024) Integrated Mapping and Scheduling Optimization with Genetic Algorithms based on a Novel Encoding Scheme
Zhifang Sun, Shengjie Jin, Jinxue Duan, Junqiang Jiang, Zebo Peng (2024) A Relative-Priority Encoding Genetic Algorithm for Integrated Mapping and Scheduling Optimization
Gang Hu, Mao Cheng, Essam H. Houssein, Abdelazim Hussien, Laith Abualigah (2024) SDO: A novel sled dog-inspired optimizer for solving engineering problems Advanced Engineering Informatics, Vol. 62, Artikel 102783 (Artikel i tidskrift) Vidare till DOI
Willem Meijer, Catia Trubiani, Aldeida Aleti (2024) Experimental evaluation of architectural software performance design patterns in microservices Journal of Systems and Software, Vol. 218, Artikel 112183 (Artikel i tidskrift) Vidare till DOI

Kontakta oss

Medarbetare vid SAS

Alla medarbetare

Om institutionen