Mission Critical Software

Projects

Projects per year 2004 2023

• 1 Active
• 3 Finished

Projects per year

Search results

• VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments

  Truscan, D., Porres Paltor, I., Ashraf, A., Ahmad, T., Chariyarupadannayil Sudheerbabu, G. & Chapagain, S.

  EU H2020

  01/10/20 → 30/09/23

  Project: Research

• AutoSys: Development of High-Assured Autonomous Systems

  Lafond, S. & Truscan, D.

  NORDPLUS

  15/06/15 → 31/10/19

  Project: Other

• MICAS: Model-Driven Architecture In Co-design ArchitectureS

  Lilius, J., Porres Paltor, I. & Truscan, D.

  01/01/04 → 31/12/05

  Project: Research

• Recomp: Reduced Certification Costs Using Trusted Multi-core Platforms

  Lilius, J., Lafond, S., Truscan, D. & Porres Paltor, I.

  01/01/10 → 31/03/13

  Project: Research