APPRAISAL Project

PARTNERS PROFILE

TXT Ingegneria Informatica

Company Profile

Software technology division at TXT

---

Company Profile

TXT Ingegneria Informatica is a private IT Group, structured into 4 Operating Divisions:

• Energy Division, providing solutions based on embedded systems in the area of Energy management. Customers are both Energy Providers and Energy large users (Industrial Enterprises, Hotels, Parkings, etc.).

• Industry Division, providing solutions to manufacturing enterprises, SMEs and large Companies, both in discrete and continuous production. The division operates as a System Integrator, offering a wide range of first-class competence in manufacturing systems which takes concrete form in a set of products (namely FMOS, Flexible Manufacturing Operating Systems)for Production Management. These products are offered as "kernel" packages, around which customisations are provided, to suit specific customers needs.

• Professional Services Division, providing turn-key application developments for customers in Industry and Services, built around connectivity and telecommunication products, both third party and proprietary ones.

• Software Technologies Division, providing Research Services to TXT and to external organisations, through contract research activities, as well as consultancy on software technologies and Sw best practices. It is the division involved in the IDEA Project.

The fixed staff of the TXT Group consists of 110 highly qualified engineers and technicians. In the last years, TXT Group has shown a continuous growth, even in presence of a difficult market scenario.

Innovation is considered by TXT a key competitive lever and one of the main factors contributing to the Company success. TXT invests about 15% of its annual turnover in R&D activities.

Software technology division at TXT

The Software Technology Division of TXT has developed a very strong technological basis by being permanently involved in large cooperative R&D projects with leading European and U.S. companies and research institutions.

There is a continuos effort to bring the most promising results of such research activities to industrial applications, both to improve internal software production quality and productivity and to provide customers with innovative and cost-effective system and software solutions.

Technologies are not developed and mastered for their own sake, but are always referred to clear industrail market needs.

The main technological areas are:

• Operating System
• Language and Compiler Design
• Distributed Systems
• Software Reuse
• Object-Oriented Techniques
• Software Testing
• Formal Specification Methods
• Database Technology
• Artificial Intelligence
• Graphical User Interface
• Telematics

The division has a quite long experience of cooperation in international research projects:

Project management of the European projects:

Esprit 1550 DRAGON (reusability for ADA-based distributed application), Esprit 8947 EUROWARE (Enabling Users to Reuse Over a Wide AREa)

Participation as partners to the European projects:

Esprit 432 METEOR (an integrated formal approach to industrial software development); Esprit 2443 STRETCH (extensible KBMS for large knowledge base applications); Esprit 5237 REBOOT (REuse based on Object-Oriented Techniques); Map 770 DIADEM (Distributed Ada Demonstrated); Eureka AIMS (Aerospace Intelligent Management for Embedded Systems); Esprit 6612 F3 (From Fuzzy to Formal); Esprit 6333 IDEA (Intelligent Deductive Environment for Advanced application); Esprit 8228 STOPHAZ (Support TOol for Process HAzard and operability studies); Esprit 9152 SENDIT (Software Engineering for Network Debug and Test); Esprit 9809 SER (Software Evolution & Reuse); Essi 10452 APPRAISAL (APPlication of Reuse Techniques in Real Industrial Environments); Essi 10453 ELSA (Experimentation of a Logical approach to the Specification and design of Automation control system); Capri 114 ISCHIA (Industrial SCalable HIgh performance and fault tolerant Architectures); Telematics 811 IECASE (Information Engineering Concepts Applied to Software Engineering).