Menu

ImplementazioneSW

Nelle applicazioni "safety e/o mission critical" l'implementazione del software richiede un particolare rigore e comporta l'applicazione di un certo numero di metodi, tecniche e regole. Abitualmente le norme applicabili a questi tipo di software (in letteratura, a seconda dei casi, viene definito software ad alta integrità, oppure software in sicurezza) contengono un insieme di requisiti che danno delle indicazioni, o perlomeno guidano nella scelta delle metodologie e delle tecniche più idonee per l'implementazione del software in sicurezza.

Le metodologie e le tecniche di implementazione dipendono fortemente dal contesto applicativo, per cui è difficile trovare delle indicazioni generali valide in tutti i contesti, fatta eccezione per alcune regole "auree", alcune delle quali però sono proprie delle applicazioni safety related. La corretta e ragionevole applicazione dei requisiti di norma, pertanto, oltre ad un know-how consolidato, richiede una vasta esperienza acquisita direttamente sul campo con l'implementazione di numerose applicazioni safety/ mission critical.

HINTSW – T&T Systems ha la capacità di implementare il software in conformità alle norme generali e di settore relative alla sicurezza funzionale dei sistemi elettronici programmabili, ed in accordo ai requisiti di sicurezza ed ai documenti di architettura e di design di dettaglio eseguiti personalmente o da terzi.


Il software realizzato da HINTSW – T&T Systems è implementato seguendo precise regole di codifica (coding standard) in funzione del linguaggio di programmazione; i moduli creati rispettano i criteri di semplicità testabilità e modificabilità richiesti dalle norme; in particolare il software viene sviluppato in modo da rispettare i seguenti obiettivi:

  • realizzare un software la cui architettura soddisfi i requisiti istanziati per la sicurezza del software;
  • realizzare un software che recepisca le prescrizioni ed i vincoli imposti dall'architettura hardware, comprese le conseguenze delle interazioni HW/SW sulla sicurezza del sistema controllato;
  • consentire l'utilizzo di un insieme di tools di sviluppo, ivi compresi i linguaggi ed i compilatori, che facilitino le attività di verifica, validazione, assessment e modifica; questo tipicamente comporta una adeguata strumentazione del codice in modo da integrarlo adeguatamente ai tools di sviluppo e di testing;
  • realizzare un software che soddisfi i requisiti di sicurezza del software, che sia facilmente analizzabile, verificabile e che sia modificabile in modo sicuro;
  • fornire gli strumenti affinché sia possibile verificare in modo semplice e sicuro che tutti i requisiti di sicurezza del software, sia in termini di funzioni di sicurezza richieste, sia in termini di integrità della sicurezza, siano stati soddisfatti.

SwDevelopmentHINTSW – T&T Systems inoltre, nella definizione dell'architettura del software e nel design dei moduli, è in grado di utilizzare tutte le principali tecniche indicate dalle norme relative alla sicurezza funzionale, ad esempio:

  • Linguaggi fortemente tipizzati ed orientati alla sicurezza (ad esempio ADA), oppure utilizzo di opportuni sottoinsiemi di linguaggi di utilizzo comune (ad esempio il C o il C++).
  • Programmazione per asserzione non verificata (Failure assertion programming).
  • Programmazione diversificata.
  • Meccanismo di recupero con ritentativi.
  • Memorizzazione dei casi d'uso.
  • Degradazione aggraziata (Graceful degradation).
  • Programmazione difensiva.
  • Programmazione strutturata.
  • Standard di codifica.
  • Metodi strutturati.
  • Metodi semi-formali.

Contatti

Telefono: +39 02.2897.0440; +39 02.2871.305
Fax: +39 02.9475.8909

Info generali: Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.

Info commerciali: Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.
Rif. commerciale: +39 340.3466.704

Sede legale: I-20129 Milano, via Plinio 1
Uffici: I-20127 Milano, via Natale Battaglia, 27

Più informazioni ...

Settori di attività

Settori

HINTSW - T&T Systems opera da oltre un decennio nell'ambito della sicurezza funzionale dei principali settori industriali e dei trasporti pubblici.

Più informazioni ...

Consulenza

consulting

La divisione HINTSW fornisce consulenze altamente professionali e specializzate per lo sviluppo di sistemi elettronici programmabili utilizzati in applicazioni critiche per la sicurezza umana.

Più informazioni ...

Certificazione di sicurezza

certificazione

La certificazione di sicurezza di un sistema o di un apparato è spesso una sfida ardua da vincere, HINTSW fornisce tutto il supporto e il know-how necessari per poterla vincere brillantemente.

Più informazioni ...

Formazione

formazione

HINTSW, attingendo dalle proprie competenze, propone una vasta gamma di servizi nell'ambito della formazione professionale.

Più informazioni ...

Go to top