softwcare labs

Softwcare takes part, from its start, in different R&D projects for large industrial clients. Few examples are:

The development, verification and validation of the safety and dependability of critical software products:

  • ISVV:
    • 2008-2010: ISVV activities and methods and techniques effectiveness measurement (Client: ESA)
  • Safety and dependability:
    • 2007-2009: Evaluation and definition of the safety and dependability characteristics of software architectures and products to be reused in critical applications (Client: ESA, Prime: GMV and EADS)
    • 2005-2007: Efficiency and applicability of software safety and dependability analysis methods (Client: ESA)
    • 2002-2005: Definition of the requirements of software reuse in critical systems (Client: ESA, Prime: TERMA)

The assessment and improvement/optimization of software development processes::

  • 2010-2011: Domain engineering process definition for the creation of reusable software in critical space systems (Cliente: ESA, Prime: GMV)
  • 2007-2010: Definition of the safety and dependability processes for software in a critical system (Client: ESA, Prime: EADS)

In our KnowledgeCenter, we have published the results and conclusions of some of these projects.