Company Profile
Company Profile
Company Profile
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Soft-Rec<br />
Soft-Rec is a real time GNSS software<br />
receiver for Galileo E1BC and<br />
GPS-EGNOS L1 bands. It is written<br />
in "C" language and runs on Linux.<br />
The only hardware required is an RF<br />
front-end in charge of signal reception,<br />
down-conversion and digitization. It is very<br />
flexible with its spectrum analyzer and signal simulator.<br />
Tested with the first Galileo satellite (GIOVE-<br />
A) and delivered in 2006, is currently in use in the<br />
"Galileo Test Range" and in the GALSEE Local<br />
Test Station for “Galileo Ground System Integration<br />
& Validation”.<br />
gLab<br />
gLab is a software tool for signal<br />
analysis of real or simulated GNSS<br />
data: Galileo (E1,E5,E6), GPS (L1,<br />
L5, L2C,L1C) and EGNOS. It offers<br />
all following features:<br />
• GNSS navigation data decoding and analysis.<br />
• Interferences, multipath and environment analysis.<br />
• Research on new algorithms and modulations.<br />
• Receiver simulation in different scenarios.<br />
• Commercial and professional receivers test and<br />
V&V.<br />
• Receiver chain calibration.<br />
MicrOsek<br />
Microsek is a Hard-Real-Time and<br />
Networked Operating System compliant<br />
to the Osek/Vdx standard<br />
and suitable for the development of<br />
Embedded Real-Time Application.<br />
MicrOSEK is available for several<br />
real-time platforms.<br />
DLT-Analyzer<br />
DLT-Analyzer is a software tool for collecting and<br />
analyzing AUTOSAR “log&trace” information from<br />
an ECU. A key debugging support for automotive<br />
engineers in the new AUTOSAR world both for<br />
development and for “recall” management.<br />
Products<br />
intecs experience in advanced technological developments has led to the conception and implementation<br />
of products applied to the realisation of new applications and advanced systems. These products bring consolidated<br />
experiences and investments both in R&D and in industrial context .<br />
HRT-UML<br />
HRT-UML (Hard Real-Time Unified<br />
Modelling Language) is a method<br />
and a supporting toolset providing<br />
a comprehensive solution<br />
to the modelling of hard real-time<br />
and dependable systems and<br />
their early verification, according to rigorous techniques<br />
based on formal theories, such as schedulability<br />
analysis and simulation, formal verification<br />
and quantitative evaluation of dependability attributes.<br />
HRT-UML allows static scheduling analysis of the<br />
system, caters for automated generation of consistent<br />
code (ADA, C), and integrates design activities<br />
with selected methods for the development of<br />
dependable systems. It offers:<br />
• dependability validation techniques based on<br />
formal verification of system behavioural properties<br />
by model-checking,<br />
• modelling of dependability aspects and well established<br />
techniques for quantitative assessment of<br />
system dependability attributes,<br />
• automatic translations from the design to the mathematical<br />
models and the analysis tools that are<br />
most appropriate for the different kinds of validation,<br />
the SPIN model-checker and the Möbius<br />
behaviour modelling tool.<br />
SIRIO<br />
Sirio is a small radar for obstacle detection<br />
on railways. It has been developed<br />
to be deployed near bridges and<br />
galleries to monitor and detect the<br />
presence of objects that can be dangerous<br />
for coming trains.<br />
Sirio’s design is highly reliable and complies with<br />
the strictest safety standards for railway applications.<br />
OBlue<br />
OBlue is a Bluetooth proprietary<br />
stack certified on the GAP, SPP,<br />
HFP, HSP, GAVDP, A2DP, AVRCP profiles. It is<br />
used in wireless stereo, helmet, antenna, health<br />
devices applications.
Change language