Software and Systems (SAS)

The Division of Software and Systems is part of the Department of Computer and Information Science. The division conducts research and education in software engineering and computer systems.

A person sits in front of a computer screen and handles a floor robot Photo credit Jonas Järmen Research and education are conducted in the following areas:

  • Software Engineering
  • Programming Models and Environments
  • Software and System Modelling and Simulation
  • System Software
  • Embedded/Cyberphysical Software/Hardware Systems
  • Computer Systems Engineering
  • Real-Time Systems and System Dependability
  • Parallel and Distributed Software and Systems
  • Software and System Verification and Testing

Research

The research activities covers both basic research and projects in cooperation with industry - projects are or have been conducted in cooperation with ABB Robotics, ABB Industrial Systems, Ericsson Softlab AB, Ericsson Radio Systems, Ericsson Telecom, SKF, Saab, Saab Dynamics, Saab Combitech and several other companies.

Hands on laptop keyboard, a circuit board in the background Photo credit Jonas Järmen
In addition, the research activities include several long-term open-source system development efforts, such as the OpenModelica framework for object-oriented equation-based modeling and simulation of cyberphysical systems, and the SkePU high-level programming framework for heterogeneous parallel systems.

Nine full professors, eight associate/assistant professors and several postdocs are involved in the research together with about 25 graduate students. 

Students listening to a teacher pointing to an example at a big screen. Photo credit Jonas Järmen

The SaS Seminars is a permanent series of open seminars with topics related to research at the division.




Research is conducted in three laboratories

Embedded Systems (ESLAB)
Codesign and design for testability of embedded/cyberphysical hardware/software systems and formal methods for embedded systems.

Programming Environments (PELAB)
Software engineering tools and architectures, large-scale software engineering, model-based software engineering, programming languages and systems, including compilers, debuggers, testing tools, and programming tools for parallel, distributed and real-time systems.

Real Time Systems (RTSLAB)
Dependable systems and networks, including reliability, safety and security, resource efficiency with respect to computation capacity, memory, bandwidth and energy.

Education

The division accounts for a significant share of the department's comprehensive undergraduate and master-level education activities, operating about 70 undergraduate/master-level courses per year as well as providing final-thesis supervision.Group of students working on computers.. Photo credit Jonas Järmen
The undergraduate teaching activities are jointly carried out by the researchers and by the UPP education group for programming and programming didactics, which consists of about ten full-time university teachers and many teaching assistants.

Doctoral studies are offered in the field of Computer Science.  


News at SAS

News and major articles

Power generation in an illustrated landscape

Open Modelica helping to solve complex societal issues

OpenModelica is a free tool, partially developed at Linköping University, to model and simulate complex systems. It is an open-source system, which enables many actors to contribute and benefit companies and society.

Chu Wanjun visar för gruppen vilka frukter roboten kan känna igen just nu. I förgrunden ligger en apelsin.

Minister for Energy and Digital Development visits IDA

On Wednesday, 20 april 2022, the minister for digital development Khashayar Farmanbar visited the Department of Computer and Information Science together with the Linköping municipal councillor Mari Hultgren.

Computer turned on with colorful light.

30 million in grant for developing software for smart technology

The Swedish Foundation for Strategic Research (Stiftelsen för strategisk forskning, SSF) has given SEK 30 million in a grant to a research project at Linköping University.

Research at SAS

Latest publications

2024

Johannes Klaus Fichte, Arne Meier, Irena Schindler (2024) Strong Backdoors for Default Logic ACM Transactions on Computational Logic Continue to DOI
Johannes Klaus Fichte, Geibinger Tobias, Hecher Markus, Schlögel Matthias (2024) Parallel Empirical Evaluations: Resilience despite Concurrency Proceedings of the 38th AAAI Conference on Artificial Intelligence Continue to DOI
Mainak Deb, Krishna Gopal Dhal, Arunita Das, Abdelazim Hussien, Laith Abualigah, Arpan Garai (2024) A CNN-based model to count the leaves of rosette plants (LC-Net) Scientific Reports, Vol. 14, Article 1496 Continue to DOI
Anton Risberg Alakula, Gorel Hedin, Niklas Fors, Adrian Pop (2024) Property probes: Live exploration of program analysis results Journal of Systems and Software, Vol. 211, Article 111980 Continue to DOI
Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2024) NetGAP: A graph grammar approach for concept design of networked platforms with extra-functional requirements Engineering applications of artificial intelligence, Vol. 133, Article 108089 Continue to DOI
Oluwatayomi Rereloluwa Adegboye, Afi Kekeli Feda, Opeoluwa Seun Ojekemi, Ephraim Bonah Agyekum, Abdelazim Hussien, Salah Kamel (2024) Chaotic opposition learning with mirror reflection and worst individual disturbance grey wolf optimizer for continuous global numerical optimization Scientific Reports, Vol. 14, Article 4660 Continue to DOI
Shuang Wang, Heming Jia, Abdelazim Hussien, Laith Abualigah, Guanjun Lin, Hongwei Wei, Zhenheng Lin, Krishna Gopal Dhal (2024) Boosting aquila optimizer by marine predators algorithm for combinatorial optimization JOURNAL OF COMPUTATIONAL DESIGN AND ENGINEERING, Vol. 11, p. 37-69 Continue to DOI
Reham R. Mostafa, Essam H. Houssein, Abdelazim Hussien, Birmohan Singh, Marwa M. Emam (2024) An enhanced chameleon swarm algorithm for global optimization and multi-level thresholding medical image segmentation Neural Computing & Applications Continue to DOI
Jing Lu, Rui Yang, Gang Hu, Abdelazim Hussien (2024) Ameliorated Snake Optimizer-Based Approximate Merging of Disk Wang-Ball Curves BIOMIMETICS, Vol. 9, Article 134 Continue to DOI
Abdelazim Hussien, Adrian Pop, Sumit Kumar, Fatma A. Hashim, Gang Hu (2024) A Novel Artificial Electric Field Algorithm for Solving Global Optimization and Real-World Engineering Problems BIOMIMETICS, Vol. 9, Article 186 Continue to DOI

Contact us

Staff at SAS

All staff

About the department