Intecs S.p.A.

Intecs S.p.A.
Salita del Poggio Laurentino N° 7
00144 Rome
Italy

tel: +39 06 97279500
fax: +39 06 97279552
email: casucci@pisa.intecs.it

url: http://www.intecs.it

Casucci Marco: Managing Director
Carla Terzi: Space Division Director

Intecs S.p.A is a Small Medium Enterprise, private company operating in the information technology field. The 2004 turnover has been of 12.000.000 euro with a 30% share in the Space market and about 220 employees located in Rome, Naples, Pisa and Toulouse. More than 80% employees have a university degree, either in Computer Science, Engineering or other scientific disciplines.

In December 1994 Intecs passed the formal certification audit for ISO 9001 and in 2003 for VISIO 2000 . In 2005 Intecs got a level 3 CMM certification.

This places Intecs among the first Companies certified in Italy. The Certification applies for any software development project in the Civilian, Space, and Defense domains.

The business area of the Company is in the Information Technology field, providing big national and international organizations with consultancy services on high-tech systems, as well as prototype, product and "turn-key" software systems developments.

Real Time Safety Critical Applications for Embedded Systems

A number of activities related to the development of embedded Software Applications have been performed, with different criticality requirements. The major projects carried out are:

Design, development and functional testing of a safety on-board subsystem to be suitable for the Italian SCMT railway system. The software was certifiable (Safety Integrity Level 1, 4) against the CENELEC 50128 safety critical software international standards.
Design, development and functional testing of an Embedded and Safety Real-Time operating system to be used in the railway field. The software was certifiable (Safety Integrity Level 4) against the CENELEC 50128 safety critical software international standards. Requirement analysis, design and implementation of the Software for the Star Tracker and Navigation Camera for the ROSETTA spacecraft (Officine Galileo contract).
Design and implementation of the Software for the Star Tracker of the XMM spacecraft (Officine Galileo contract).
Design and development of the On-Board Central Facility Software for the Polar Platform satellite (MMS-F contract). It includes the implementation of the Power Supply, Thermal Control, Housekeeping, Payload communication protocol and LEOP sequence functions.
Implementation of a real-time Operating System and Network File System for the Columbus space station (COLOS), based on the INTECS executive and integrated with the Alsys Ada Runtime Support and including a portable debugging module.

Operating Systems

As a result of two Industrial contracts and R&D activities, INTECS has acquired a thorough experience on Real Time Operating Systems and has proprietary products which can be promptly used for On-Board applications. In particular, the core kernel of them (MicroExec) is currently being extended in order to take into account all those dependability and security mechanisms needed on railway safety-critical systems. The extension will foresee the full validation of the MicroExec for safety-critical applications and the development of the MICROSEK proprietary products which is also certifiable and support the OSEK-VDX standard and that can be promptly used or adapted in order to meet specific customers needs mainly in the automotive domain.

INTECS expertise on Real Time Operating Systems is offered to customers in order to provide high-quality and cost-effective solutions for the deployment of the basic software layer of on-board systems. Finally, the experience on commercial operating systems (e.g. VxWorks, pSOS, LynxOS, VRTX) and POSIX interface can be useful to support customers developments.

Independent Verification & Validation of Safety Critical Sofware

INTECS has a long experience in the IV&V of Safety Critical Systems. The availability of specialized software laboratories and well established methodologies provides the best solution for IV&V in the following domain:

Railways system
Automotive embedded system
Space and Aeronautics system

Products

Intecs offer includes the following products:

MICROSEK, is a new Hard Real Time and Networked Operating System designed and developed by Intecs which is compliant to the Osek/Vdx standard and suitable for the development of embedded Real-Time Applications. MICROSEK is also certifiable against the safety critical software international standards.
UML-HRT CASE tool, supporting the UML notation and the feature of the HOOD-HRT methodology. The HRT-UML method provides a comprehensive solution to the modelling of Hard Real Time systems by replacing the HRT-HOOD method with a customized version of UML that incorporates all the advantages of the HRT-HOOD method and improves the HRT-HOOD design concepts by converging to a more powerful and expressive modelling notation, which is currently a de-facto international standard.