Sistemi Embedded

ItalSystem s.r.l. è impegnata nella progettazione, sviluppo e verifica&validazione di software Safety Critical per Sistemi Embedded Real-Time. ItalSystem s.r.l. opera in ambito sia Civile che Militare su sistemi avionici dei settori Aerospazio, Aeronautico e Difesa.

ItalSystem s.r.l. supporta i propri clienti sull’intero ciclo di vita del software partecipando alle attività di planning, progettazione, sviluppo e test CSCI. ItalSystem s.r.l. effettua attività di definizione ed improvement di software process development in conformità ai principali standard di settore. ItalSystem s.r.l. effettua attività di independent Verification and Validation fornendo un elevato livello di safety ed efficienza per software safety critical attraverso un rigoroso approccio per ground e in-flight software valutati durante tutte le fasi dello sviluppo:

concept, requirements, design, coding, testing and operation.

Progettazione e Sviluppo Software:

• Requirements Analisys
• Sofware Requirements Specification
• Design
• Software Design Description
• Coding
• Software Change Management
• Software Problem Management
• Integration
• Reverse Engineering

Verification & Validation (V&V):

• Review Software Requirements
• Review Software Design
• Code Review
• RBT Review
• White Box
• Assembly Code Analisys
• Unit Test
• Compiler Confidence
• Document Management
• Tool Qualification
• Data Coupling

Metodologie

Analisi e progettazione object-oriented mediante modelli UML applicati a sistemi embedded con RTOS:

• Definizione dei casi d’uso
• Progettazione preliminare e di dettaglio
• Diagrammi dei casi d’uso
• Diagrammi delle classi
• Diagrammi di sequenza, Macchine a stati

Progettazione e Simulazione di algoritmi per il trattamento digitale dei segnali (DSP)

Standard:

• DO-178B
• MIL-STD-498
• Arinc 429
• MIL-STD-1553
• MISRA

Sistemi Operativi:

• uC/OS-II
• VxWorks
• DSP/BIOS
• DDC ADA Real-Time

Processori:

• Intel 386 EX
• Motorola PowerPC
• Motorola Coldfire
• DSP TI C5000/6000

Tools

Requirements Analisys:

• DOORS
• Requisite PRO

Design:

• Artisan Studio
• Telelogic Rhapsody
• Rose Enterprise

Development:

• ADAMulti
• Code Composer Studio
• TORNADO

Code Testing:

• VectorCAST
• LDRA

Code Analisys/Reverse Engineering:

• MISRA Assent Checker
• Understand ADA-C/C++
• LDRA Test Bed

Configuration Management:

• PVCS