Tools & Standards

MATLAB/Simulink Development, Validation, Prototyping and Simulation of Algorithms and Real Time Signal, Data and Image Processing Software
RTW, Stateflow, Stateflow-Coder Design and Simulation of Event Driven Systems
Xpc, RTOS WxWorks Real-time rapid control prototyping, hardware-in-the-loop (HIL) simulation, and deployment on PC hardware
LabVIEW Development, Validation, Prototyping, Simulation and Management of Real Time Data Acquisition, Processing, Supervision and Process Control Systems
C++,Java, Visual Studio, Borland C builder
Nexor mailer, Nexor Directory Server
Windows, Linux, ARM9, Microchip, VmWare
Oracle, Postgres, MySql

UML, SysML, Rhapsody, Artisan, Eclipse, Papyrus SW Modelling and Complex System formal modelling
DOORS Requirement management
Carpet Simulator Simulation and Optimisation of Radar Systems Performances
Global Mapper, OpenstreetMap, PostGis Design of Telecommunications and Surveillance Systems distributed on the territory
IDL / ENVI Development of Image Processing Software
SuperNEC Antenna Simulation & Design, Electromagnetic Analyses
Full Wave RF Propagation Code RadioCommunication Systems Design and Optimisation (HF, VHF, UHF and Microwaves)
SoapUI, Glassfish, Liferay, Tomcat
IEC 61508 Risk Reduction Studies & Safety Analyses for Hardware and Software Safety Critical Systems
RTCA DO-178 Development of Aviation Software (FAA)
RTCA DO-160 Environmental and Electromagnetic Compatibility Testing for Avionic Systems
IEEE 1220 Application and Management of the Systems Engineering Process
ISO/IEC 15288:2008 Systems and software engineering
ISO/IEC 12207:2008 Systems and software engineering – Software life cycle processes
MIL-HDBK-217 Reliability Analysis for Systems and Electronic Equipment
MIL-HDBK-472 Maintainability Predictions for Systems and Electronic Equipment
MIL-HDBK-338B Electronic Reliability Design
MIL-HDBK-189C Reliability Growth Management
MIL-HDBK-502 Acquisition Logistics
MIL-HDBK-1388 Logistics Support Analysis
MIL-STD-1629 Risk analysis , Failure Mode Effects and Criticality Analysis – (FMECA)
MIL-STD-470 Maintenance Plans and Programs for Systems and Electronic Equipment
MIL-STD-2165 Testability Program for Electronic Systems and Equipment
MIL-STD-882 Fault Tree & Hazard Analysis
MIL-STD-810 Environmental Testing
MIL-STD-461 Electromagnetic Compatibility and Interference Analyses
MIL-PRF-49506 Logistics Management Information
IMO Resolution 857(20) Definition of VTS Systems
IMO MSC/Circ. 1072, IMO MSC 147 (77) Definition of Ship Security Alert Systems
IMO Resolution A.801(19) Design of Radio Services for the Global Maritime Distress and Safety System (GMDSS) 
IMO A.851(20) Definition of Ship Reporting Systems
IMO Recommendation MSC 74 (69), Annex 3 Performance Assessment of Universal AIS systems
IMO – NAV 50/4 Requirements for the display and use of AIS information on shipborne navigational displays
IALA Vessel Traffic Services Manual VTS service and systems design
IALA Recommendations V – 119, V-127, V-128 Feasibility Studies for the Implementation of VTS systems
IALA Recommendation A – 123, A-124 Design of Automatic Identification Systems (AIS)
IALA Recommendation V – 125 Integration and Display of AIS and VTS Information
ITU-R Recommendation P.370 Radio Coverage Evaluation at VHF and UHF
ITU Recommendation (ITU‑R M. 1371.1) AIS Base Station Design
IEC Standard 61993‑2 AIS Systems Validation & Testing
RADC-TR-83-176 A guidebook for software reliability assessment
RL-TR-92-52 Software reliability, measurement and testing