Division of Networked and Embedded Systems


The mission of the Networked and Embedded System Division (NES) is to provide engineers with scientific methods and tools for designing safety-critical real-time systems. The goal is to advance state-of-art and practice for developing such systems into a mature engineering discipline, i.e., in analogue with the scientifically well founded methods and tools for mechanical construction. NES develops methods for constructing safetycritical real-time systems, ultimately capable of guaranteeing their multitude of requirements to be fulfilled.

Our division is very research and education intensive. The research has an internationally proved record of excellence in conducting high-quality research and a very productive graduate training program. All research is performed in projects with specific goals with respect to achievements, publications, collaborations, and prototype tools. A project typically has elements of both basic and applied research Equally important is the undergraduate education, where EAi s responsible for computer engineering related courses, with a particular focus on computer based real-time systems. We are responsible for the international Master Program in Intelligent Embedded Systems and Bachelor Program in Computer Network Engineering . 

First NameLast NameTitle
Abu Naser Masud Senior Lecturer
Adnan Causevic Senior Lecturer
Alessandro Papadopoulos Associate Professor,Docent
Ali Balador Assistant Professor
Antonio Cicchetti Associate Professor
Arash Ghareh Baghi Post Doc
Ashalatha Kunnappilly Doctoral student
Conny Collander Lecturer
Cristina Seceleanu Associate Professor
Dag Nyström Director of Education,Senior Lecturer
Damir Bilic Doctoral student
Damir Isovic Associate Professor,Dean of School
Daniel Brahneborg Industrial Doctoral Student
Daniel Flemström Doctoral student,Lecturer
Daniel Hallmans Doctoral student
Daniel Hedin Senior Lecturer
Daniel Sundmark Professor
Eduard Paul Enoiu Post Doc
Elaine Weyuker Visiting Professor
Elena Lisova Post Doc
Elisabeth Uhlemann Associate Professor,Senior Lecturer
Francisco Pozo Doctoral student
Guillermo Rodriguez-Navas Senior Lecturer
Gunnar Widforss Project Manager,Senior Project Manager
Hans Bjurgren Doctoral student,Lecturer
Hans Hansson Professor
Henrik Thane Adjunct Professor
Hossein Fotouhi Assistant Professor
Jakob Danielsson Doctoral student
Joakim Wangborn Lecturer
Johan Åkerberg Adjunct Professor
Jukka Mäki-Turja Senior Lecturer
Kivanc Doganay Doctoral student
Kristian Sandström Adjunct Professor
Lucia Lo Bello Visiting Professor
Luis Almeida Visiting Professor
Mahshid Helali Moghadam Industrial Doctoral Student
Maryam Vahabi Post Doc
Mats Björkman Professor
Mikael Sjödin Professor,Research Leader
Mohammad Ashjaei Assistant Professor
Moris Behnam Associate Professor,Head of Division
Nandinbaatar Tsog Doctoral student
Nesredin Mahmud Doctoral student
Niclas Ericsson Industrial Doctoral Student
Nils Müllner Assistant Professor,Post Doc
Pablo Gutiérrez Peón Industrial Doctoral Student
Per Erik Strandberg Industrial Doctoral Student
Predrag Filipovikj Doctoral student
Raluca Marinescu Post Doc
Reinder J. Bril Visiting Professor
Robert Suurna Lecturer
Rong Gu Doctoral student
Saad Mubeen Associate Professor,Docent
Sahar Tahvili Industrial Doctoral Student
Sara Abbaspour Asadollah Doctoral student
Sara Lundahl
Saurabh Tiwari Postdoctoral research fellow
Shahriar Hasan Doctoral student
Sigrid Eldh Lecturer,Senior Lecturer
Simin Cai Doctoral student
Stefan Löfgren Lecturer
Svetlana Girs Post Doc
Thomas Nolte Professor
Thomas Ostrand Researcher
Tran Hung Post Doc
Vaclav Struhar Doctoral student
Wasif Afzal Associate Professor
Youssef Zaki Industrial Doctoral Student
Project TitleStatus
Adequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR) active
ARRAY - Automation Region Research Academy active
CAMI - Artificially intelligent ecosystem for self-management and sustainable quality of life in AAL (Ambient Assisted Living) active
Cloud and the Industrial Internet of Things Initiative active
Collaborative Cloud Robotics active
Demand-Driven Slicing active
DPAC - Dependable Platforms for Autonomous systems and Control active
ELECTRA - Evaluation of different communication technologies for heavy duty vehicle platooning active
Epistemological Issues in Computer Science Education fromGender Research Perspectives active
ESS-H - Embedded Sensor Systems for Health Research Profile active
EXACT - Experimental Analysis of the Coupling Effect Hypothesis in Software Testing active
FAST-ARTS: Fast and Sustainable Analysis Techniques for Advanced Real-Time Systems active
Future factories in the Cloud active
HoPiiA+ active
ImmerSafe - Immersive Visual Technologies for Safety-critical Applications active
ITS ESS-H Industrial Graduate School in Reliable Embedded Sensor Systems active
MegaMaRt2 - Megamodelling at Runtime (ECSEL/Vinnova) active
Morphological Computing in Cognitive Systems active
MRTV - Mälardalen Real-Time Virtualizer active
PARIS - Practical Probabilistic Timing Analysis of Real-Time Systems active
PICO - Philosophy of Information and Computing active
PREMISE - Predictable Multicore Systems active
PRESS - Predictable Embedded Software Systems active
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C) active
READY - Research Environment for Advancing Low Latency Internet active
RV-REDS - Resource Virtualization for Real-Time Embedded Distributed Systems active
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication active
SALUTOGEN - Seniors’ Activity and quality of Life sUpported by Technology thrOugh deliGht, Engagement and iNterest active
SeCRA - Security Case Run-Time Adaptation active
Serendipity - Secure and dependable platforms for autonomy active
Software Center: Aspects of Automated Testing (MDH) active
Static Program Analysis for Complex Embedded systems active
SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems active
TESTMINE - Mining Test Evolution for Improved Software Regression Test Selection (KKS) active
TESTOMAT Project - The Next Level of Test Automation active
Timing Analysis on Code-Level active
Timing Predictions of Complex Embedded Systems active
TOCSYC - Testing of Critical System Characteristics (KKS) active
V-trustEE active
VeriSpec - Structured Specification and Automated Verification for Automotive Functional Safety active
WCET - Worst-Case Execution Time analysis active
3D Graphics Simulation finished
A Canonical Model of the Primary Visual Cortex finished
A Tool Environment for the Development of Embedded systems finished
Affordable Safe & Secure Mobility Evolution finished
AGENTS - Automated Generation of Tests for Simulated Software Systems (KKS) finished
ALL-TIMES finished
APARTS - Advanced Program Analysis for Real-Time Systems finished
ARROWS - Design Techniques for Adaptive Embedded Systems finished
ARTIST finished
ArtistDesign finished
Asterix Project, The real-time kernel for the final frontier finished
ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova) finished
AUTOSAR for Multi-Core in Automotive and Automation Industries finished
BARTAP - Network Measurement Applications finished
BETSY - BEing on Time Saves EnergY finished
CHESS finished
ComposeIT finished
Computer Science Paradigms in Gender Research Perspective finished
COMSED - Communication for Small Embedded Devices finished
ConCentric CRAFT - Creative Activities Framework -- Theory and practice of Content-Centric interaction Technology finished
CONCERTO - Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems finished
DAGGERS - Data aggregation for embedded real-time database systems finished
Data Field Haskell finished
Debug finished
Dimensional Inference in Strongly Typed Modeling Languages. finished
EAST/EEA finished
EEMDEF finished
Embedded Systems - Adjungerad lektor Johan Åkerberg finished
Embedded Systems Verification using Timed Automata Technology (VR) finished
EvaluNet finished
EvaluNet - Step II finished
FABRIC - EU IST RTD project finished
Femmva - Functional- and execution-models in modern electronic vehicle architectures finished
FIRST - Flexible Integrating Scheduling Technology - EU IST Project finished
Gauss - Garanterad automationskommunikation under svåra störningar finished
Genetic Algorithm Theory finished
Global Constraints in Constraint Programming and Local Search finished
Global Regional Cooperation in India finished
Haxcel finished
HEAVE finished
High Level Languages for Hard and Embedded Real-Time Systems finished
HISCORE - Hierarchical Scheduling of Complex Real-Time Embedded Systems finished
IMPLY - Intelligent Personalisation finished
IMPRINT - Innovative Model-Based Product Integration Testing (Vinnova) finished
Industrial Software Engineering finished
Innocare finished
Less Bugs finished
LUCIA - International Guest Professor Lucia Lo Bello finished
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova) finished
MultEx finished
Multi-Aspectual Data Management of Embedded Real-Time Systems finished
NovaMedTech II finished
Parallel Execution of PLEX programs finished
PG-CBD-CVer – Component Verification finished
PG-CBD-StatA – Static Timing Analysis of Component-Based Systems finished
PG-Pla-INC – Information Centric development of component-based embedded real-time systems finished
PG-Pla-OSC – Optimization, Synthesis and Configuration finished
PG-Pla-SSI – SubSystem Integration finished
PPMsched - Performance Preserving Multicore Scheduling finished
PreView: Developing Predictable Vehicle Software on Multi-core finished
Process Industrial Big Data Analytics finished
Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software finished
RALF3 - Software for Embedded High Performance Architectures finished
RATAD - Reliability and Timing Analysis of Distributed systems finished
Real-time Architecture for Networked Multimedia Streaming systems finished
Real-time Heterogeneous Systems finished
Response-time Calculations with Integer Linear Programming Methods finished
RetNet - The European Industrial Doctorate Programme on Future Real-Time Networks finished
SaDIES. Safe Dynamic Software Instrumentation for Embedded Systems finished
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components finished
SALSART - Predictably Flexible and Reliable Real-Time Systems finished
SAVE finished
SAVE-IT finished
SICS CNS finished
SMARTCore: Model-driven support for deployment optimization of embedded systems on multicore finished
SONOTOPIA finished
Sprint 10 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT finished
Sprint 11 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT finished
Sprint 12 Project: SLA-IoT--Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT finished
Sprint 13 Project: SLA-IoT - Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT finished
START - Stochastic Real-Time Analysis of Embedded Software Systems finished
Strategic Knowledge Enhancement: International Visiting Professor, Alfonso Pierantonio finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished
Tangible and Ambient Interaction for Process Automation finished
TATOO - Test and Testability of Distributed Real-Time Systems finished
TESLA - Time-critical & Safe wireLess Automation communication finished
TESTit - Testing techniques for real-time systems finished
The Siblings Project finished
TIMMO-2-USE finished
Tools for analysis of complex software systems finished
Traffic Measurement and Analysis finished
User friendly H.264 for Realtime Editing finished
Warping - Wait and lock free synchronisation mechanisms finished
WIRE – Wireless Industrial networks with Reliability Enhancements finished
Worst-Case Execution Time Analysis of Parallel Systems finished
DAVID - Development of an Autonomous VehIcle Demo on-hold

[Show all publications]

Switched control for quantized feedback systems: invariance and limit cycles analysis (Dec 2018)
Alessandro Papadopoulos, Federico Terraneo , Alberto Leva , Maria Prandini
IEEE Transactions on Automatic Control (TAC)

Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking (Oct 2018)
Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)

Timing Analysis Driven Design-Space Exploration of Cause-Effect Chains in Automotive Systems (Oct 2018)
Matthias Becker, Saad Mubeen
44th Annual Conference of the IEEE Industrial Electronics Society (IECON'18)

Towards Security Case Run-time Adaptation by System Decomposition into Services (Oct 2018)
Elena Lisova, Aida Causevic
44th Annual Conference of the IEEE Industrial Electronics Society (IECON'18)

Incorporating Attacks Modeling into Safety Process (Sep 2018)
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt , Carl Falk
6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)

Service Level Agreements for Safe and Configurable Production Environments (Sep 2018)
Mohammad Ashjaei, Kester Clegg , Lorenzo Corneo , Richard Hawkins , Omar Jaradat, Vincenzo Gulisano , Yiannis Nikolakopoulos
International Conference on Emerging Technologies and Factory Automation - Work in Progress Session (ETFA-WiP'18)

Moris Behnam, Associate Professor,Head of Division

Email: moris.behnam@mdh.se
Room: U1-169
Phone: 021-107094