Dependable Software Engineering

Focus:

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


Our reserach is aimed at development of methods, processes and assurance guarantees for dependable (trustworthy) software systems. Specifically we target safety, security and timeliness properties. Ensuring trustworthiness of collaborating system of systems, especially with AI inside constituent systems is one of the current focus themes. We have also developed techniques and schedulability analysis for ensuring predictabile timing properties for fault-tolerant real-time systems. We have also performed reserach on machine learning for anomaly/network intrusion detetcion in centralised and federated learning setups, software reliability modelling for component bases systems, software testing  in agile contexts, etc.

Past Members of the group

Project TitleStatus
DAIS - Distributed Artificial Intelligent Systems active
DAISY- Dependable Autonomous System of Systems active
Dependable Collaboration of Intelligent System of Trusted Smart Systems active
Efficient Safety in Complex Autonomous Production Environments - Concept Development active
Generative AI for Software Engineering active
InSecTT: Intelligent Secure Trustable Things active
Safety Assurance in Continuous Deployment active
SIMCON: System of Intelligent Connected Machines for Construction active
SUNRISE - Strategic Universities Network for Regional Innovative and Sustainable Evolution active
TRYM: Trust your Metrics! active
AVANS - civilingenjörsprogrammet i tillförlitliga flyg- och rymdsystem finished
ESCAPE - Efficient and effective functional safety for complex autonomous production systems finished
EURECA finished
FIA - Strategic research into safety and security for the automation industry finished
Future factories in the Cloud 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
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication finished
SSpiia - Safety & Security in Process Industrial IT and Automation finished
SUCCESS: Safety assurance of Cooperating Construction Equipment in Semi-automated Sites finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished
V-trustEE finished

Sasikumar Punnekkat, Professor

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