Robust Software for Mission-Critical Systems

The project develops tools and methods to meet the technical demands and security challenges of software-intensive products and services – especially in defense and maritime systems.
Säkerhetsutveckling, verifiering och validering för inbäddad AI

Project Objectives

Timeline

Kontaktpersoner bakom projektet

Tony Gorschek

Professor

Michel Nass

Michell Nass

Postdoc

Financiers / Partners

Project Background

Software-intensive products and services (SIPS) are now the core of everything from submarines to logistics systems. As software becomes mission-critical, especially in defense and maritime domains, the demand for secure, reliable, and verifiable AI components increases – placing high requirements on development and real-time performance assurance.

Complete Project Description

The project addresses these challenges by developing:

– Threat models and security frameworks
– Methods for verifying and validating AI/ML components
– Tools and models for real-time performance, safety, and functionality

The goal is to support the entire technical lifecycle of SIPS – from design to maintenance – and enable reliable systems in sensitive and demanding environments.

Discuss Further with Researchers/Team

Contact us to discuss your project.

More Projects

Simulation and visualization of human factors and cognitive load

Marine Technology Testbed for Innovation and Research

Marine Technology Testbed for Innovation and Research

Agile Innovation Through Minimal Prototypes

Agile Innovation Through Minimal Prototypes

Robust Software for Mission-Critical Systems

Robust Software for Mission-Critical Systems