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

Anna Friberg lutad mot en stor ladugårdsgrind.

LiU-forskare lyser upp Almedalsveckan

Kan dystopier visa vägen till en ljus framtid? Kan vi koppla av när vi kopplar upp? Det är några av rubrikerna när forskare från Linköpings universitet dyker upp under Almedalsveckan på Gotland 27 juni till 1 juli.

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.

Kraftgenerering i ett illustrerat landskap

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

2024

Serdar Ekinci, Davut Izci, Abdelazim Hussien (2024) Comparative analysis of the hybrid gazelle-Nelder-Mead algorithm for parameter extraction and optimization of solar photovoltaic systems IET Renewable Power Generation Vidare till DOI
Shereen Hamadneh, Jehan Hamadneh, Esraa Alhenawi, Ruba Abu Khurma, Abdelazim Hussien (2024) Predictive factors and adverse perinatal outcomes associated with maternal smoking status Scientific Reports, Vol. 14, Artikel 3436 Vidare till DOI
Ephraim Bonah Agyekum, Jeffrey Dankwa Ampah, Tahir Khan, Nimay Chandra Giri, Abdelazim Hussien, Vladimir Ivanovich Velkin, Usman Mehmood, Salah Kamel (2024) Towards a reduction of emissions and cost-savings in homes: Techno-economic and environmental impact of two different solar water heaters Energy Reports, Vol. 11, s. 963-981 Vidare till DOI
Mohamed Ebeed, Mohamed A. Abdelmotaleb, Noor Habib Khan, Raheela Jamal, Salah Kamel, Abdelazim Hussien, Hossam M. Zawbaa, Francisco Jurado, Khairy Sayed (2024) A Modified Artificial Hummingbird Algorithm for solving optimal power flow problem in power systems Energy Reports, Vol. 11, s. 982-1005 Vidare till DOI
Abdelazim Hussien, Hoda Abd El-Sattar, Fatma A. Hashim, Salah Kamel (2024) Enhancing optimal sizing of stand-alone hybrid systems with energy storage considering techno-economic criteria based on a modified artificial rabbits optimizer Journal of Energy Storage, Vol. 78, Artikel 109974 Vidare till DOI
Aren A. Babikian, Oszkar Semerath, Daniel Varro (2024) Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search IEEE Transactions on Software Engineering, Vol. 50, s. 48-68 Vidare till DOI
Esra'a Alhenawi, Ruba Abu Khurma, Robertas Damasevicius, Abdelazim Hussien (2024) Solving Traveling Salesman Problem Using Parallel River Formation Dynamics Optimization Algorithm on Multi-core Architecture Using Apache Spark International Journal of Computational Intelligence Systems, Vol. 17, Artikel 4 Vidare till DOI
Mohamed A. Elseify, Fatma A. Hashim, Abdelazim Hussien, Salah Kamel (2024) Single and multi-objectives based on an improved golden jackal optimization algorithm for simultaneous integration of multiple capacitors and multi-type DGs in distribution systems Applied Energy, Vol. 353, Artikel 122054 Vidare till DOI
Erik Berglund, Izabella Jedel, Helena Orädd, Aseel Berglund (2024) Considerations for Player Enjoyment and Exertion in Casual Exergames Proceedings of the 57th Hawaii International Conference on System Sciences, s. 1328-1337

2023

Erik Berglund, Helena Orädd, Izabella Jedel, Aseel Berglund (2023) The Potential of Seated and Standing Short Duration Casual Exergames to Increase Positive Affect PROCEEDINGS OF THE 26TH INTERNATIONAL ACADEMIC MINDTREK, MINDTREK 2023, s. 25-34 Vidare till DOI

Kontakta oss

Medarbetare vid SAS

Alla medarbetare

Om institutionen