+ reset -

Software is everywhere and it is never a simple matter. Large companies are required to set up software development processes to manage complex systems from the specification to the operational phase. In critical scenarios additional effort is required for the verification and validation phase, aimed at discovering software defects and improving product quality, especially when certification requirements have to be taken into account: Air Traffic Control, space, naval combat systems and defense industry to provide a few examples. However, market pressure and budget constraints often represent a big wall for  industrial research that would be rather needed to face the plethora of open issues related to software dependability assessment and improvement and its real world application. The key for bringing innovation into such industrial scenarios lies into the creation of research collaboration between industry and academia, through which an osmotic knowledge exchange is settled up. However, there are a few
issues hampering the creation of this link, as well as to the transfer
of people and skills from one world to the other. This keynote will
discuss this problem and it will provide success stories in the field of Air Traffic Control Italian software industry.

Gabreilla Carrozza's main research interests are in dependability evaluation and assessment of complex software systems, as well as on the V&V of large critical systems. She is managing two projects in the SESAR research programme, 
aimed at developing novel ATC and Airport systems supervision to improve overall software quality and reliability. 
Since 2008, when she held her Ph.D. in Computer and  ng as reviewer and PC member of several international conferences and journals in the dependable systems research community.
The information presented on this web site has been produced in the context of the CRITICAL-STEP project, which is in receipt of funding from the
European Community's 7th Framework Programme (FP7/2007-13) under grant agreement No. 230672. All information on this web site is provided "as is"
and no guarantee or warranty of any kind is given that this information is fit for any particular purpose.CRITICAL-STEP Consortium will
not be liable for any direct, consequential, incidental, or special damage or loss of any kind arising as a result of use of this information by a third party.
A third party using this information will do so at its sole risk and liability. The European Commission has no liability in respect of this information, which is merely
representing the views of theCRITICAL-STEP Consortium.
CRITICAL-STEP Project 2009. All Rights Reserved
evden eve nakliyat evden eve nakliyat oyun