Che cos'è MISRA C?

Introduzione

Nel mondo dei sistemi embedded e dello sviluppo di software safety-critical, garantire l'affidabilità, la sicurezza e la manutenibilità del codice è essenziale. È qui che entra in gioco MISRA C. Sviluppato dalla Motor Industry Software Reliability Association (MISRA), MISRA C è un set di linee guida di codifica ampiamente adottato per il linguaggio di programmazione C. Aiuta gli ingegneri a creare software robusto e sicuro conforme agli standard del settore, in particolare nei settori automobilistico, aerospaziale, medico e industriale.

Poiché le organizzazioni danno sempre più priorità alla conformità all'affidabilità del software motore, ottenere la conformità MISRA è diventato un requisito fondamentale. Dalla riduzione degli errori di runtime all'abilitazione della tracciabilità del codice, le linee guida MISRA offrono un framework strutturato per migliorare la qualità del software. In questo articolo, esploreremo cos'è MISRA C, perché è importante, come ottenere la conformità e quali strumenti e soluzioni software MISRA possono supportare il tuo processo di sviluppo.

Che cos'è MISRA C?

MISRA C è un insieme di linee guida per la codifica del linguaggio di programmazione C, sviluppato dalla Motor Industry Software Reliability Association (MISRA). Originariamente progettato per l'industria automobilistica, si è poi evoluto in uno standard de facto per la scrittura di codice sicuro, protetto e affidabile in vari sistemi critici per la sicurezza e integrati. Queste linee guida sono ampiamente utilizzate per garantire la conformità MISRA in tutti i settori in cui un guasto del software può comportare rischi significativi o persino mettere in pericolo vite umane.

Applicando rigide regole di codifica e buone pratiche, MISRA C riduce le possibilità di introdurre errori, comportamenti indefiniti o vulnerabilità, rendendolo essenziale per i progetti che richiedono elevata affidabilità e sicurezza funzionale.

Qual è lo scopo di MISRA?

Lo scopo principale di MISRA C è promuovere una programmazione C sicura e protetta eliminando le funzionalità ambigue del linguaggio e prevenendo gli errori di programmazione comuni. Le linee guida aiutano gli sviluppatori a:

• Rilevare potenziali bug nelle prime fasi dello sviluppo
• Migliorare la leggibilità e la manutenibilità del codice
• Facilitare l'analisi statica del codice e la verifica automatizzata
• Ottenere la conformità all'affidabilità del software del motore nei settori regolamentati

L'adozione delle best practice MISRA consente inoltre ai team di sviluppo di allinearsi agli standard di sicurezza del settore, come ISO 26262 per il settore automobilistico e IEC 61508 per le applicazioni industriali.

Applicabilità al software embedded e automotive

Sebbene originariamente concepito per il settore automobilistico, MISRA C è ora ampiamente utilizzato in una varietà di sistemi embedded in cui il software svolge un ruolo critico nella sicurezza e nelle prestazioni. I domini comuni includono:

• Software per centraline elettroniche per autoveicoli e sistemi ADAS
• Dispositivi medici e tecnologia sanitaria
• Software incorporato per l'aerospazio e la difesa
• Automazione industriale e sistemi di controllo

In tutti questi ambiti, il software di conformità MISRA e gli strumenti MISRA vengono utilizzati per garantire l'aderenza allo standard e semplificare il ciclo di vita dello sviluppo.

Perché MISRA C è importante nei sistemi critici per la sicurezza

Nei settori critici per la sicurezza, l'affidabilità del software non è solo un obiettivo di qualità, ma una necessità normativa e operativa. MISRA C svolge un ruolo cruciale nel garantire che il codice C utilizzato in tali ambienti sia prevedibile, verificabile e privo di comportamenti pericolosi. Applicando uno standard di codifica strutturato e restrittivo, le linee guida MISRA aiutano a ridurre al minimo gli errori di programmazione che potrebbero causare guasti del sistema, costosi richiami o pericoli per la sicurezza.

Ruolo nell'automotive, aerospaziale, dispositivi medici e automazione industriale

MISRA C è ampiamente adottato nei settori in cui il software incorporato deve funzionare in modo affidabile in tutte le condizioni:

• Settore automobilistico: Il software del gruppo propulsore, ADAS ed ECU deve essere conforme allo standard MISRA per rispettare gli standard normativi e di sicurezza.
• Aerospazio e Difesa: I sistemi avionici e di controllo critici per la missione si affidano alla conformità MISRA per garantire l'aeronavigabilità e l'integrità operativa.
• Dispositivi medici: Dai pacemaker alle pompe di infusione, i sistemi sanitari richiedono che il software MISRA rispetti i rigorosi standard FDA e IEC 62304.
• Automazione industriale: I sistemi di controllo di fabbrica e la robotica si affidano al software conforme allo standard MISRA per garantire la sicurezza operativa e ridurre al minimo i tempi di fermo.

In ciascuno di questi settori, gli strumenti e le soluzioni MISRA sono integrati nel flusso di lavoro di sviluppo per rilevare automaticamente le deviazioni e garantire la conformità.

Contributo alla sicurezza funzionale (ad esempio, ISO 26262)

MISRA C è strettamente allineato con gli standard internazionali di sicurezza funzionale come ISO 26262 (automotive), IEC 61508 (industriale) e DO-178C (aerospaziale). Adottando MISRA:

• Supporta lo sviluppo sistematico di sistemi critici per la sicurezza
• Semplifica la tracciabilità e la documentazione necessarie per gli audit di conformità
• Aumenta la fiducia nell'affidabilità del software durante l'intero ciclo di sviluppo

Riduzione dei rischi di comportamenti e vulnerabilità indefiniti

Uno degli obiettivi principali di MISRA C è eliminare comportamenti indefiniti, non specificati e definiti dall'implementazione che possono compromettere la sicurezza del software. Questi costrutti rischiosi spesso portano a:

• Bug di runtime difficili da rilevare
• Vulnerabilità di sicurezza (ad esempio, buffer overflow)
• Problemi di portabilità e manutenibilità

Grazie all'applicazione di rigidi vincoli di codifica, la conformità MISRA riduce significativamente il rischio di guasti del sistema, soprattutto nelle applicazioni mission-critical.

Versioni di MISRA C

Lo standard MISRA C si è evoluto in modo significativo nel tempo, adattandosi alle mutevoli esigenze dello sviluppo di software embedded e ai progressi nel linguaggio C. Ogni versione ha introdotto perfezionamenti per migliorare sicurezza, protezione e manutenibilità, aiutando i team di tutti i settori a raggiungere una conformità MISRA coerente e a soddisfare i requisiti di affidabilità del software motore.

MISRA C:1998, MISRA C:2004, MISRA C:2012 e emendamenti

• • MISRA C:1998 – La versione originale, rivolta principalmente ai sistemi embedded per l'automotive, ha gettato le basi per le linee guida MISRA in C, ma non ha coperto i moderni costrutti del linguaggio C.
  • MISRA C:2004 – Una revisione significativa che ha ampliato la copertura delle regole e migliorato la chiarezza. Ampiamente utilizzata nei settori dell'automazione industriale e automobilistica.
  • MISRA C:2012 – La versione più completa fino ad oggi, meglio allineata agli standard ISO C99 e dotata di una struttura di regole migliorata, classificazioni (obbligatorie, richieste, consultive) e supporto per applicazioni critiche per la sicurezza.

• MISRA C:2012 Emendamento 1 e 2

• • Emendamento 1 ha introdotto ulteriori linee guida di sicurezza in collaborazione con CERT C per affrontare le vulnerabilità.
  • Emendamento 2 aggiunto il supporto per ISO/IEC 9899:2011 (C11) e chiarite le regole esistenti.

Questi miglioramenti hanno reso MISRA C più robusto e applicabile a una gamma più ampia di casi d'uso del software MISRA.

Cambiamenti e miglioramenti chiave nelle diverse versioni

• Introduzione di norme consultive vs. obbligatorie
• Supporto avanzato per gli standard C moderni (C99, C11)
• Maggiore allineamento con gli standard di sicurezza funzionale (ad esempio, ISO 26262)
• Maggiore attenzione alle norme relative alla sicurezza
• Classificazione delle regole strutturate per una migliore tracciabilità e verifica della conformità

Ogni aggiornamento ha reso le linee guida più flessibili e al tempo stesso più precise, aiutando gli sviluppatori a seguire le best practice MISRA e ad adattarsi alle tecnologie in evoluzione.

Scegliere la versione giusta per il tuo progetto

La versione di MISRA C che adotti deve essere conforme a:

• Requisiti del settore (ad esempio, ISO 26262 per l'automotive, DO-178C per l'aerospaziale)
• Supporto per toolchain e compilatore
• Competenza del team e vincoli del codice legacy
• Livello desiderato di conformità alla sicurezza e alla protezione

Per la maggior parte dei moderni progetti critici per la sicurezza, MISRA C:2012 con i suoi emendamenti è lo standard raccomandato, grazie al suo ambito di applicazione completo e all'allineamento con gli strumenti software di conformità MISRA.

Conformità MISRA spiegata

Ottenere la conformità MISRA è essenziale per le organizzazioni che sviluppano sistemi embedded critici per la sicurezza e ad alta integrità. Garantisce che il codice aderisca alle rigide linee guida MISRA, riducendo la probabilità di difetti software, comportamenti indefiniti e vulnerabilità della sicurezza. La conformità è spesso un requisito contrattuale o normativo in settori quali automotive, aerospaziale e dispositivi medici.

Cosa significa conformità MISRA?

La conformità MISRA significa che il software è stato sviluppato in conformità alle regole e alle raccomandazioni MISRA C applicabili. Ciò comporta:

• Verificare che tutte le regole di codifica siano rispettate
• Documentare e giustificare eventuali violazioni delle regole
• Mantenere la tracciabilità tra codice e regole
• Utilizzo del software di conformità MISRA e degli strumenti MISRA per il controllo automatizzato delle regole

La conformità dimostra l'impegno verso la conformità all'affidabilità del software del motore e aiuta a semplificare gli audit per standard come ISO 26262 e IEC 61508.

Livelli di conformità: deviazioni complete, parziali e giustificate

MISRA C riconosce che non tutte le regole possono essere seguite rigorosamente in ogni progetto. Pertanto, la conformità è categorizzata in tre livelli:

• Pieno rispetto – Tutte le regole richieste e obbligatorie sono seguite senza deviazioni. Questo è l'ideale per le nuove basi di codice critiche per la sicurezza con una rigorosa supervisione normativa.
• Conformità parziale – Alcune regole non vengono rispettate, ma le violazioni sono limitate, controllate e non compromettono la sicurezza o la qualità.
• Deviazioni giustificate – Le deviazioni sono ammesse quando una regola non può essere ragionevolmente applicata. Tuttavia, ogni deviazione deve essere:
  • Chiaramente documentato
  • Tecnicamente giustificato
  • Esaminato e approvato come parte di un processo di conformità strutturato

Molte soluzioni MISRA offrono supporto automatizzato per il monitoraggio, la documentazione e la revisione di queste deviazioni, per garantire una gestione trasparente della conformità.

Come raggiungere la conformità MISRA

Per raggiungere la conformità MISRA è necessario un approccio disciplinato allo sviluppo software, supportato da flussi di lavoro, strumenti e validazione continua standardizzati. Seguendo le best practice MISRA, i team possono ridurre significativamente i rischi software e garantire la conformità alle linee guida MISRA durante tutto il ciclo di vita dello sviluppo.

Le migliori pratiche nella codifica e nello sviluppo

Per soddisfare efficacemente gli standard MISRA C, gli sviluppatori dovrebbero:

• Iniziare con una politica di codifica chiaramente definita basata sulla versione MISRA pertinente
• Formare tutti gli ingegneri sulle linee guida MISRA e sui requisiti di conformità all'affidabilità del software del motore
• Stabilire la tracciabilità tra requisiti, codice e artefatti di conformità
• Adottare modelli di codifica modulari e manutenibili per migliorare la chiarezza e ridurre le violazioni delle regole

L'integrazione delle best practice MISRA nelle fasi iniziali del ciclo di vita dello sviluppo del software promuove la qualità a lungo termine e riduce al minimo le costose rilavorazioni.

Revisioni del codice e analisi statica

Le revisioni manuali del codice e l'analisi statica automatizzata del codice sono fondamentali per identificare e risolvere le violazioni delle regole. I principali strumenti MISRA supportano:

• Applicazione delle regole tramite motori di analisi statica
• Feedback in tempo reale durante lo sviluppo
• Identificazione automatica di potenziali vulnerabilità di sicurezza e comportamenti indefiniti
• Segnalazione delle violazioni con giustificazioni per il monitoraggio delle deviazioni

L'integrazione di questi strumenti nel tuo flusso di lavoro accelera la conformità e rafforza la tua strategia di garanzia del software.

Integrazione nelle pipeline CI/CD

I team di sviluppo moderni dovrebbero incorporare i controlli di conformità MISRA direttamente nelle loro pipeline CI/CD per garantire una verifica continua e un feedback rapido. Le principali pratiche di integrazione includono:

• Automazione dell'analisi statica MISRA a ogni commit o richiesta pull
• Il fallimento si basa su violazioni critiche
• Generazione di report di conformità per auditing e tracciabilità
• Utilizzo del software di conformità MISRA che supporta i flussi di lavoro DevOps

Questo approccio promuove la conformità proattiva e riduce il rischio che le non conformità passino inosservate.

Ruolo degli strumenti certificati e della documentazione

L'utilizzo di strumenti MISRA certificati (ad esempio, analizzatori statici certificati TÜV) aiuta a garantire una conformità credibile nei settori regolamentati. Questi strumenti offrono:

• Implementazione verificata delle regole MISRA C
• Risultati affidabili adatti all'uso in applicazioni critiche per la sicurezza
• Supporto integrato per la documentazione di deviazioni giustificate e stato di conformità

Inoltre, per superare gli audit e ottenere la certificazione software MISRA, ove applicabile, è essenziale mantenere una documentazione completa, che comprenda giustificazioni delle regole, registri di revisione e matrici di tracciabilità.

Strumenti e soluzioni software MISRA

Per raggiungere e mantenere la conformità MISRA, le organizzazioni si affidano a strumenti MISRA specializzati, software MISRA e soluzioni di conformità che automatizzano l'applicazione delle regole, tracciano le deviazioni e semplificano la documentazione. Questi strumenti sono essenziali per ridurre gli errori manuali, garantire un'aderenza coerente alle linee guida MISRA e integrarsi con i processi di sicurezza e garanzia della qualità.

Una delle piattaforme più complete disponibili per la conformità MISRA è la piattaforma Visure Requirements ALM.

Requisiti Visure Piattaforma ALM

Visure Solutions offre una piattaforma all-in-one Requirements Management e ALM progettata specificamente per settori critici per la sicurezza e orientati alla conformità. La piattaforma supporta senza problemi la conformità MISRA C durante l'intero ciclo di vita dello sviluppo.

Caratteristiche principali di Visure per la conformità MISRA

Visure offre potenti funzionalità su misura per lo sviluppo del software MISRA:

• Tracciabilità end-to-end – Collegare le regole MISRA C direttamente ai requisiti, alla progettazione, al codice, ai test e alle attività di verifica.
• Gestione automatizzata della conformità – Genera report di conformità pronti per la verifica e monitora le deviazioni giustificate dalle linee guida MISRA.
• Integrazione con strumenti di analisi statica – Collega Visure con strumenti MISRA certificati come LDRA, Parasoft o Polyspace per il controllo automatico delle regole e l'analisi statica del codice.
• Supporto per ISO 26262, DO-178C e IEC 62304 – Modelli e flussi di lavoro integrati per allineare la conformità MISRA ai principali standard di sicurezza.
• Cambiamento e gestione del rischio – Valuta l'impatto delle modifiche ai requisiti o al codice sulla conformità MISRA e traccia i rischi in tempo reale.
• Collaborazione e controllo della versione – Gestire revisioni collaborative, commenti e linee di base controllate per la tracciabilità della conformità.

Perché scegliere Visure?

Visure si distingue tra le principali soluzioni software di conformità MISRA per il suo approccio completo e moderno ai requisiti e alla gestione della conformità. I ​​principali vantaggi includono:

• Integrazione AI per una maggiore efficienza – Sfrutta le funzionalità basate sull'intelligenza artificiale, come la generazione automatica dei requisiti, i suggerimenti intelligenti sulla tracciabilità e la gestione delle deviazioni, per accelerare le attività di conformità MISRA e ridurre il carico di lavoro manuale.
• Copertura completa del ciclo di vita dei requisiti – Dall'individuazione dei requisiti alla verifica e convalida, Visure garantisce una copertura end-to-end su misura per i progetti software MISRA.
• Tempi di conformità più rapidi – Identificare le violazioni delle regole e gestire le linee guida MISRA in modo proattivo, riducendo al minimo i tempi di rielaborazione e di preparazione degli audit.
• Flussi di lavoro scalabili e personalizzabili – Adatta Visure ai tuoi processi esclusivi, agli standard critici per la sicurezza e alle esigenze di implementazione MISRA C.
• Elevato ROI e integrazioni perfette – Integrazione semplice con i più diffusi strumenti MISRA, analizzatori statici e ambienti ALM, mantenendo al contempo una fonte di verità centralizzata.

Grazie alle funzionalità avanzate di intelligenza artificiale, Visure non solo semplifica l'implementazione delle best practice MISRA, ma migliora anche la produttività, la tracciabilità e la coerenza nei progetti di sviluppo complessi.

Categorie comuni di regole MISRA C

Lo standard MISRA C organizza il suo ampio set di regole di codifica in categorie chiaramente definite per promuovere la conformità all'affidabilità del software motore. Queste categorie di regole mirano ad aree ad alto rischio del linguaggio di programmazione C che spesso portano a comportamenti indefiniti, errori di runtime e problemi di manutenibilità. La comprensione di questi gruppi di regole è fondamentale per una conformità MISRA di successo e uno sviluppo sicuro di sistemi embedded.

Utilizzo del tipo di dati

L'uso improprio dei tipi di dati è una fonte comune di errori nella programmazione C incorporata. Le linee guida MISRA C sottolineano:

• Evitare conversioni di tipo implicite
• Prevenire la perdita di precisione o di dati durante le assegnazioni
• Utilizzo di tipi a larghezza fissa per portabilità e prevedibilità
• Eliminazione dei comportamenti definiti dall'implementazione nella rappresentazione dei dati

L'applicazione di regole sui tipi di dati migliora l'affidabilità del codice e rende il comportamento più prevedibile sulle diverse piattaforme.

Flusso di controllo

Per mantenere il codice leggibile e manutenibile, MISRA C limita i flussi di controllo complessi o ambigui. Queste regole includono:

• Limitare l'uso di goto, ricorsione e annidamento profondo
• Richiede che tutti i percorsi siano definiti in modo esplicito (nessun fall-through nei casi di switch)
• Garantire un ordine di esecuzione prevedibile ed evitare comportamenti di diramazione indefiniti

Queste best practice MISRA riducono i bug logici e migliorano la testabilità e la manutenibilità del software.

Operazioni sui puntatori

I puntatori sono una funzionalità potente ma soggetta a errori in C. Le linee guida MISRA regolano rigorosamente il loro utilizzo per evitare violazioni dell'accesso alla memoria:

• Non consentire l'aritmetica dei puntatori tranne in contesti limitati e sicuri
• Limitare l'uso di NULL, puntatori vuoti e livelli multipli di indirezione
• Prevenzione dell'accesso fuori limite e dereferenziazione dei puntatori non validi

Il controllo dell'utilizzo del puntatore è essenziale per raggiungere la conformità MISRA C e prevenire errori critici durante l'esecuzione.

Comportamenti indefiniti e non specificati

MISRA C mira a eliminare la dipendenza da comportamenti indefiniti, non specificati o definiti dall'implementazione. Esempi includono:

• Spostamento dei valori oltre la larghezza del tipo
• Modificare una variabile più di una volta tra i punti della sequenza
• Utilizzo di variabili non inizializzate
• Violazione del comportamento della libreria standard

Attenuando tali comportamenti, il software MISRA diventa più robusto e portabile tra compilatori e piattaforme hardware.

Errori di runtime

Un obiettivo fondamentale della conformità MISRA è prevenire errori di runtime che compromettono la sicurezza e la funzionalità. Lo standard include regole che:

• Applica il controllo dei limiti dell'array
• Impedisci la divisione per zero e altre eccezioni aritmetiche
• Non consentire funzioni di libreria pericolose (ad esempio, malloc in ambienti in tempo reale)
• Richiedere controlli sui valori di ritorno e sulle chiamate di sistema

Grazie a queste misure di sicurezza, MISRA C supporta lo sviluppo di sistemi tolleranti ai guasti in settori quali l'automazione automobilistica, aerospaziale e industriale.

Certificazione e audit di conformità MISRA

Ottenere e dimostrare la conformità MISRA non è solo una buona pratica, ma anche un passo fondamentale verso l'accettazione normativa nei settori critici per la sicurezza. Sia tramite audit interni che valutazioni di terze parti, formalizzare l'aderenza MISRA C migliora la trasparenza, la tracciabilità e l'affidabilità del processo di sviluppo software MISRA.

Audit interni e valutazioni di terze parti

Per garantire un allineamento coerente con le linee guida MISRA, le organizzazioni spesso eseguono:

• Audit di conformità interna per monitorare violazioni delle regole, deviazioni giustificate e configurazioni degli strumenti
• Revisioni tra pari per convalidare l'implementazione rispetto agli standard di codifica
• Valutazioni di terze parti da parte di organismi accreditati per certificare la conformità alle norme MISRA C e agli standard di sicurezza correlati

Questi passaggi sono essenziali per costruire un caso difendibile durante le revisioni normative formali e per dimostrare la conformità proattiva all'affidabilità del software motore.

Come la certificazione aumenta l'affidabilità e la commerciabilità del prodotto

La certificazione formale MISRA, tramite garanzia di qualità interna o convalida esterna, offre vantaggi tangibili:

• Maggiore affidabilità del prodotto riducendo sistematicamente i comportamenti indefiniti e gli errori di runtime
• Maggiore commerciabilità, soprattutto in settori come l'automotive, la medicina, l'aerospaziale e l'automazione industriale
• Approvazione normativa più rapida grazie all'allineamento con gli standard di sicurezza internazionali (ad esempio, ISO 26262, IEC 61508, IEC 62304)
• Maggiore fiducia da parte dei clienti, in particolare quando si utilizzano strumenti e piattaforme MISRA convalidati da terze parti

Le organizzazioni che ottengono la riconosciuta conformità MISRA sono meglio posizionate per soddisfare le richieste del settore e competere a livello globale.

Rilevanza normativa: ISO 26262, IEC 61508 e altro

Molte normative critiche per la sicurezza e standard di sicurezza funzionale richiedono o raccomandano l'uso delle linee guida MISRA:

• ISO26262: Lo standard di sicurezza funzionale per i veicoli stradali incoraggia esplicitamente la conformità con MISRA C
• CEI 61508: Anche lo standard generale per i sistemi elettrici/elettronici/programmabili è in linea con i principi MISRA
• CEI 62304: Per il software dei dispositivi medici, spesso supporta l'utilizzo di MISRA C per ridurre al minimo i rischi del software

L'utilizzo di una piattaforma software di conformità MISRA come Visure Requirements ALM garantisce tracciabilità, documentazione e prontezza alla verifica in linea con questi standard, supportando cicli di certificazione più rapidi e riducendo i rischi di conformità.

Conclusione

MISRA C è diventato lo standard globale per lo sviluppo di codice C sicuro, protetto e affidabile, in particolare in settori critici per la sicurezza come automotive, aerospaziale, dispositivi medici e automazione industriale. Aderendo alle linee guida MISRA e sfruttando i moderni strumenti MISRA, i team di sviluppo possono ridurre drasticamente i difetti del software, prevenire comportamenti indefiniti e soddisfare rigorosi standard normativi come ISO 26262 e IEC 61508.

Ottenere la conformità MISRA non significa solo seguire le regole, ma anche integrare qualità e sicurezza in ogni fase del ciclo di vita dello sviluppo. Dall'utilizzo di software di conformità MISRA certificato all'integrazione di analisi statica e all'automazione della tracciabilità, le organizzazioni possono semplificare gli sforzi di conformità, offrendo al contempo sistemi robusti e pronti per l'audit.

Che tu stia iniziando il tuo percorso di conformità o ampliando i tuoi processi esistenti, scegliere la soluzione giusta è fondamentale. È qui che si distingue la piattaforma Visure Requirements ALM, che offre copertura end-to-end, integrazioni di strumenti senza soluzione di continuità e funzionalità basate sull'intelligenza artificiale per supportare uno sviluppo software MISRA efficiente e conveniente.

Prova la piattaforma ALM Visure Requirements con una prova gratuita di 14 giorni e scopri come semplificare l'implementazione di MISRA C garantendo al contempo la copertura completa del ciclo di vita dei requisiti.