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 replica rolex 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.