Dependable Software Engineering

Focus:

Methods and processes for engineering dependable software systems; specifically, techniques and schedulability analysis for fault-tolerant real-time systems, software reliability modelling, software testing and safety argumentation for certification.

Members
Projects
Latest Publications

First Name	Last Name	Title
Ayhan	Mehmed
Dino	Mustefa	Industrial Doctoral Student
Faiz	Ul Muram	Researcher
Hans	Hansson	Professor
Heinz	Schmidt	Adjunct Professor
Henrik	Jonsson	Industrial Doctoral Student
Iain	Bate	Visiting Professor
Mahnaz	Malekzadeh	Doctoral student
Marina	Gutiérrez	Industrial Doctoral Student
Muhammad Atif	Javed	Researcher
Nitin	Desai	Doctoral student
Omar	Jaradat
Radu	Dobrin	Associate Professor,Head of Division,International Coordinator
Sasikumar	Punnekkat	Professor
Stephan	Baumgart	Industrial Doctoral Student
Zeinab	Bakhshi Valojerdi	Doctoral student

Project Title	Status
ESCAPE - Efficient and effective functional safety for complex autonomous production systems	active
Future factories in the Cloud	active
InSecTT: Intelligent Secure Trustable Things	active
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication	active
Safety Assurance in Continuous Deployment	active
SUCCESS: Safety assurance of Cooperating Construction Equipment in Semi-automated Sites	active
TRYM: Trust your Metrics!	active
Volvo Group Arena	active
AVANS - civilingenjörsprogrammet i tillförlitliga flyg- och rymdsystem	finished
EURECA	finished
FIA - Strategic research into safety and security for the automation industry	finished
Gen&ReuseSafetyCases	finished
PG-DEP-REMAP - Reliability Modeling and Analysis for Predictability Assurance	finished
RetNet - The European Industrial Doctorate Programme on Future Real-Time Networks	finished
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components	finished
SSpiia - Safety & Security in Process Industrial IT and Automation	finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems	finished
V-trustEE	finished

[Show all publications]

Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking (Apr 2021)
Faiz Ul Muram, Samina Kanwal , Muhammad Atif Javed
Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

Facilitating the Compliance of Process Models with Critical System Engineering Standards Using Natural Language Processing (Apr 2021)
Faiz Ul Muram, Muhammad Atif Javed, Samina Kanwal
Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

Drone-Based Risk Management of Autonomous Systems Using Contracts and Blockchain (Mar 2021)
Faiz Ul Muram, Muhammad Atif Javed
4th International Workshop on Emerging Trends in Software Engineering for Blockchain (IWBOSE 2021)

Exploring micro-credentials - the PROMPT example (Nov 2020)
Malin Rosqvist, Hans Hansson
SPHERE: Support and Promotion for Higher Education Reform Experts, European University Association (SPHERE2020)

Systematic False Positive Mitigation in Safe Automated Driving Systems (Nov 2020)
Ayhan Mehmed, Wilfried Steiner , Aida Causevic
2020 International Symposium on Industrial Electronics and Applications (INDEL 2020)

Towards Dynamic Safety Assurance for Industry 4.0 (Oct 2020)
Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane
Journal of Systems Architecture (JSA)

Sasikumar Punnekkat, Professor

Email: sasikumar.punnekkat@mdh.se
Room: U1-070
Phone: +46-21-107324

We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.

By continuing to use our website without changing the settings, you are agreeing to our use of cookies.

close

Mälardalen University

|

Box 325, 631 05 Eskilstuna

|

Box 883, 721 23 Västerås

|

+46-21-10 13 00, +46-16-15 36 00