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