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