ESA ITT AO5459 - System and Software Functional Requirements Technique

Project Title: System and Software Functional Requirements Techniques

Project Acronym: SSFRT

Funding Scheme: European Space Agency (ESA) ITT AO5459

Starting Date: April 2008

Project Duration in Months: 15

UNIROMA1 Unit Activity: our role in this project is the investigation of how model checking techniques could be used for system level analysis starting from a SysML definition of requirements and of the system itself.

Project Consortium: 1) Intecs S.p.A. (Italy, Prime Contractor), 2) Thales Alenia Space (France), 3) Sapienza University of Rome (Italy)

The proejct objective is to help space system and software engineering practitioners to apply the ECSS-10 and ECSS-40 standards, taking into account the Model Based System and Software Engineering (MBSSE) methodology and current industrial practices, in particular the reference framework given by ISO-15288 and related technical reports [ISO TR 19760], and the INCOSE System Engineering Handbook [SE HB].
The emphasis is on applying the MBSSE methodology for the development of the flight segment of the space system in phases 0, A and B using the results and examples from a Case Study implementation.
The project shall help space engineers and in particular space system engineers and space software system engineering in: increasing the understanding of the overall and specific aspects of software issues related to systems engineering, comprehending the integrative nature of these two processes, understanding the related European Industry Standards, focusing on organizational issues of cooperating systems and system-software co-engineering, identifying the needed engineering roles, phasing the software towards the system life cycle, tailoring the system and software process when and if the investigated techniques are applied, identifying all the relationships with the other space system disciplines during the requirements elicitation process.