Dependable Software Engineering
Methods and processes for engineering dependable software systems.
Methods and processes for engineering dependable software systems;
- specifically, techniques and schedulability analysis for fault-tolerant real-time systems
- software reliability modelling
- software testing
- safety argumentation for certification.
Ongoing research projects
FiC will provide generic solutions for Future factories in the Cloud in the form of an integrated set of techniques and generic tools for future smart products and production systems, including architectural templates for cloud based production; algorithms and tools for safe and secure communication and computation, specifically handling big-data; and techniques for efficient and predictable sharing of computation and communication resources.
Project manager at MDH: Hans A Hansson
Main financing: The Swedish Foundation for Strategic Research