Division of Software Engineering


Division of Software Engineering (DSE) is placed at School of Innovation, Design and Engineering  (IDT) at Mälardalen University (MdH). It is also part of Mälardalen Research Real time Center (MRTC), and the PROGRESS Centre for Predictable Embedded Software Systems. Division of Software Engineering is also active member of Swedish Software Engineering Network SESweden.

The mission of the Division of Software Engineering is to provide education in all relevant aspects of Software Engineering, and research in Systems and software engineering for industrial and embedded systems. To establish world class education and research in this utterly complex area extensive collaboration with industry is required.

Our research is directed to increase the knowledge of software engineering and in particular of industrial software engineering, real-time and embedded systems component-based software engineering, dependable systems, from both theoretical and practical points of view. The research results of the DSE is supposed to be used both at the university and in the industry. At the university, the accumulated knowledge is used for further education in order to prepare the students for new aspects in system development. The industry will benefit with direct implementation of methods and knowledge built up in the research activities and well educated students.

Research Areas:

  • Component-Based Software Engineering
  • Software engineering for real-time embedded systems
  • Software Configuration Management
  • Product-line architectures for real-time systems
  • Software Processes
  • Dependable embedded systems
  • Test and Verification
  • Legacy systems modelling

Project TitleStatus
Projekt 1 active
Static Program Analysis for Complex Embedded systems active
ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems finished
APICS - A Process for Efficient and Effective Integration of Component Based Software finished
ARROWS - Design Techniques for Adaptive Embedded Systems finished
ASIS - Architecture-based verification of software-intensive systems finished
ASSIST - Analysis and Synthesis of Industrial Software Systems finished
BALSOP - Business, Architecture, Organization, and Process: Balancing Software Product Development finished
CARTCOM - Monitoring and Probabilistic Analysis of Component-Based Embedded Control Systems finished
COMET - COMponent-based Embedded real-Time database system finished
COMING finished
CONTESSE - Contract-Based Components for Embedded Software finished
Devlopment of Software Intensive Systems in Complex Organizations finished
DICES - Distributed Component-based Embedded Software Systems finished
ECSS - Efficient Certification of functional Safety for Software systems finished
ESTER finished
EURECA finished
Extract finished
FIA - Strategic research into safety and security for the automation industry finished
FIND - Flexibilitet i Industriella system finished
FLEXCON - flexibe controllers finished
FLEXI - Flexible Global Product Development and Integration finished
HELPING: Heterogeneous Platform Deployment Modelling of Embedded Systems finished
Hi5 - A Holistic and Improved Infrastructure for Increased Industrial Impact of research finished
ISE - Industrial Software Engineering finished
KISEK - Collaborative Internationalisation of Software Engineering in Croatia finished
Linnaeus-Palme: Salvador Brazil finished
Linneaus-Palme: Osijek, Croatia finished
MESSI - Methods for innovation development in software intensive systems finished
Methods for development of E/E-systemarchitectures in early phases finished
OPEN-SME Open-Source, Software Reuse, Service for SMEs finished
OpenController finished
Pasas- Analyzing the enterprise-, system-, and software architecture impact of stakeholders’ concerns for profitable industrial software systems finished
PG-CBD-IDE – Integration Development Environment finished
PG-CBD-Proc – Identification and specification of CB process finished
PG-CBD-Trans – Transformation of processes finished
PG-Demo-Evolution – Progress Component Models finished
PG-Dep-ET – Enabling Technologies for Evaluating/Ensuring Dependability finished
PG-Dep-FRAMES – Faults and Reliability Aware Methodologies for Efficient Scheduling finished
PG-Dep-PEARLS – Parameterized Evaluation of Attributes of Reliable Systems finished
PG-DEP-REMAP - Reliability Modeling and Analysis for Predictability Assurance finished
PG-Leg-Asis – Legacy Model Analysis finished
PG-Leg-Comp – Composition of legacy systems finished
PG-Leg-Extract – Model Extraction for Legacy Systems finished
ProPlat - Development and decisions processes finished
PSI - Product Data Management and Software Data Management Integration finished
Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software finished
Remodel finished
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components finished
Safety-Critical Component-Based Systems finished
SAVE finished
SAVE/AutoComp finished
SISTER - Strengthening the IST Research Capacity of Sofia University finished
SOFAR - Software Architecture Evolution finished
SoftIn - Introducing methods and tools for software development in small and medium-sized enterprises finished
SSpiia - Safety & Security in Process Industrial IT and Automation finished
SWELL - Swedish V&V Excellence finished
TIMERS - Timing analysis, modeling and evaluation of RTS finished

[Show all publications]

Special section on: Reliability and Safety Certification of Software-Intensive Systems (Feb 2017)
Barbara Gallina, Roberto Natella
Reliability Engineering & System Safety-Volume-58-February-2017 (RE&SSvol158Feb17)

Deriving Verification-related Means of Compliance for a Model-based Testing Process (Dec 2016)
Barbara Gallina, Anneliese Andrews
35th Digital Avionics Systems Conference (DASC-2016)

A genetic planner for mission planning of cooperative agents in an underwater environment (Dec 2016)
Branko Miloradovic, Baran Çürüklü, Mikael Ekström
The 2016 IEEE Symposium Series on Computational Intelligence (SSCI'16)

Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer (Dec 2016)
Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle
Computer Standards & Interfaces -SPICE-2016 Special Issue (CSI SPICE-2016)

Safety in Vehicle Platooning: A Systematic Literature Review (Dec 2016)
Jakob Axelsson
IEEE Transactions on Intelligent Transportation Systems (T-ITS)

A Filtering Heuristic for the Computation of Minimum-Volume Enclosing Ellipsoids (Dec 2016)
Linus Källberg, Thomas Larsson
Combinatorial Optimization and Applications: 10th International Conference, COCOA 2016, Hong Kong, China, December 16-18, 2016, Proceedings (COCOA 2016)