INTECS competence in Software Engineering represents one of its main competitive advantages.
INTECS has expertise related to the definition of methods and development of supporting tools for the critical activities of the software system development process, such as object-oriented and hard real-time domain design and analysis.
Intecs participates to the ECSS E40 & Q80 Working Group, and in particular is contributing to the ECSS E40-01 guidelines for Flight Software Engineering.
In recent years, Intecs has developed a family of CASE (Computer Aided Software Engineering) products to support design and analysis of critical, HRT, Object-Oriented software.
is a CASE toolset providing fully integrated support to the Unified Modelling Language (UML). UmlNICE is fully implemented in Java, with a flexible CORBA-compliant infrastructure.
The HRT-UML development methodology was developed by INTECS, and its support toolset, based on UML profiling, is aimed at providing a comprehensive solution to the modelling of hard real-time and dependable systems, incorporating and improving on the principles of HRT-HOOD and Ravenscar. HRT-UML supports schedulability and timing analysis as well as Ada95/Ravenscar code generation.
The HRT-UML methodology has been validated and customized for space real-time software development.
HoodNICE is a CASE toolset specifically designed to support the application of the HOOD (Hierarchical Object Oriented Design) method to software production activity, ranging from requirement collection and analysis to generation of code (Ada, C and C++).
HRT-HoodNICE was developed with the support of ESA/ESTEC, and extends the HoodNICE toolset to fully support the HRT-HOOD method, including scheduling and timing analysis facilities. HRT-HOOD is a specialization of the base HOOD for the development of predictable and efficient Hard Real-Time systems, and is the reference methodology today for the development of space on-board systems, recommended also by the ECSS software engineering standards.