Come evitare problemi con il software

In questa era digitale, devi aver sentito parlare di giganti dei social media come Facebook e Twitter e piattaforme di e-commerce come Alibaba e Amazon. Questi siti Web online si basano su vari pacchetti software per il loro funzionamento. Questi programmi hanno francamente cambiato il modo di lavorare, pensare e vivere.

Inoltre, molti dispositivi che prima erano esclusivamente di natura meccanica, ora sono controllati da software. Ad esempio, i termostati erano un tempo dispositivi elettromeccanici. Tuttavia, ora fanno molto affidamento sul software per il funzionamento.

Tuttavia, i bug del software possono essere abbastanza problematici, specialmente con la nostra maggiore dipendenza da essi per le attività quotidiane. In effetti, ci sono state alcune occasioni in cui il software non è riuscito a raggiungere lo scopo previsto, portando a risultati spiacevoli.

, parliamo di 4 occasioni in cui le prestazioni del software hanno ampiamente perso il segno e come evitare tali problemi software.

Leggi anche: 10 motivi per cui non dovresti avere fretta di acquistare un iPhone X.

1. Interruzione multi-stato USA 911

911 è un servizio fondamentale che consente alle persone di contattare il personale di emergenza ogni volta che è necessario. A volte, entrare in contatto con gli addetti all'emergenza tramite il 911 può letteralmente fare la differenza tra la vita e la morte.

Pertanto, fu un vero disastro quando, il 9 aprile 2014, il 911 instradamento delle chiamate fallì in sette stati degli Stati Uniti, tra cui California, Florida, Minnesota, Carolina del Nord, Pennsylvania, Carolina del Sud e Washington.

Questa interruzione è stata causata da un errore di codifica prevenibile, che si è verificato in un centro di gestione delle chiamate di emergenza in Colorado di proprietà di Intrado.

2. Messa a terra della flotta della United Airlines

Nel luglio 2015, United Airlines è stata costretta a mettere a terra l'intera flotta di aeromobili a causa di un problema tecnico. Ciò ha interessato oltre 4.900 voli a livello globale e ha lasciato molti passeggeri bloccati negli aeroporti e ovviamente frustrati.

Probabilmente vi fu anche un impatto economico poiché la compagnia aerea avrebbe dovuto risarcire molti passeggeri per l'inconveniente. Probabilmente ci sono stati anche diversi importanti incontri di lavoro che sono stati confusi a causa della messa a terra.

3. Malfunzionamento del pedale dell'acceleratore Camry Toyota

Nel settembre 2007, Jean Bookout stava viaggiando sulla Interstate Highway 69 in Oklahoma con la passeggeri Barbara Schwarz, quando incontrò difficoltà a controllare la sua Toyota Camry.

Tentò di sollevare i piedi dall'acceleratore ma la macchina continuò ad accelerare. Il pedale del freno non è riuscito a fermare la macchina ed è stata costretta a utilizzare il freno di emergenza.

Sfortunatamente, questo ha mandato l'auto a sbandare in un terrapieno. Di conseguenza Schwarz è morto e Bookout è stato ricoverato in ospedale per cinque mesi a causa di lesioni gravi.

È stato ipotizzato che l'incidente si sia verificato a causa di diverse inadeguatezze di codice che hanno portato all'arresto di un'attività nella CPU di Camry. Questa CPU controllerebbe un numero eccessivamente enorme di funzioni, tra cui accensione, controllo dell'acceleratore e controllo della velocità di crociera.

Il codice di Toyota divenne un pasticcio aggrovigliato dopo diversi anni di nuovi codici accatastati su quelli vecchi. Questo è di solito indicato come "codice spaghetti".

Il codice spaghetti è inutilmente complesso e rende quasi impossibile trovare errori. Inoltre, la Toyota aveva anche violato diverse regole di sicurezza nella loro codifica. Va notato che questo non era un caso isolato di accelerazione involontaria in una Toyota.

Tuttavia, l'incidente di Bookout ha portato alla luce questo problema e ha messo in evidenza i difetti di Toyota nel loro processo software. Si è persino scoperto che esistevano più di 10 milioni di modi in cui potrebbe potenzialmente verificarsi un'accelerazione indesiderata, in base alla struttura del codice Toyota.

Nest Thermostat Failure

Nest è un'azienda di proprietà di Alphabet che produce termostati intelligenti. Questi termostati sono piuttosto eleganti e consentono agli utenti di controllare la temperatura nelle loro case dai loro smartphone.

Lo scorso inverno, i termostati Nest hanno subito un errore nella forma di un aggiornamento software difettoso, che ha causato il consumo delle batterie. Sfortunatamente, questo errore si è verificato in pieno inverno, lasciando temporaneamente diversi utenti senza calore. Questo è sicuramente qualcosa che non vuoi che accada in questo periodo dell'anno.

Vedi il prossimo: I selfie non sono così importanti come i social media li hanno resi in ritardo

Una breve analisi dei problemi del software

Approcci come il design basato su modelli e TLA + consentono agli sviluppatori di ottenere una visione d'insieme più ampia di come funziona il loro software.

Brett Victor, un importante ricercatore di computer, ritiene che vi sia una disconnessione tra i programmatori e i problemi che stanno cercando di risolvere con i codici.

A causa di questa disconnessione, diventa difficile per i programmatori immaginare cosa stanno cercando di inserire i codici. Victor pensa che questo sia uno dei fattori che contribuiscono al fatto che il software sia pieno di bug.

Tuttavia, c'è speranza. Approcci come il design basato su modelli e TLA + consentono agli sviluppatori di ottenere una visione d'insieme più ampia di come funziona il loro software.

La progettazione basata su modelli, come suggerisce il nome, consente lo sviluppo di software tramite modelli visivi. TLA +, che sta per Temporal Logic of Actions, è un linguaggio progettato per scrivere le specifiche di un programma per computer. La cosa fantastica di TLA + è che consente test e verifiche approfondite del software prima che venga pubblicizzato.

Sia il design basato sul modello che TLA + hanno già dimostrato il loro sale. Le tecnologie Esterel, una società di sviluppo software, utilizzano un design basato su modelli per creare software critici per la sicurezza, mentre TLA + è stato utilizzato da Microsoft come un possibile errore catastrofico per Xbox e dall'Agenzia spaziale europea per riscrivere i codici per un sondaggio che atterrato su una cometa.

Il processo di scrittura del codice è tenuto in grande considerazione dai programmatori. Molti di loro sono semplicemente incuriositi dal processo di scrittura dei codici. Pertanto, è una sfida far sì che alcuni programmatori accettino approcci come la progettazione basata su modelli e TLA +. Questi approcci sono spesso percepiti come strettamente accademici senza fattibilità nel mondo reale. Tuttavia, un cambiamento di vista deve avvenire il prima possibile.

Leggi anche: Stiamo spingendo i nostri bambini verso la cecità

Pensieri finali

Il software viene sempre più utilizzato in applicazioni che richiedono precauzioni di sicurezza integrate. Metodi migliori di progettazione del software devono essere introdotti su tutta la linea poiché tali applicazioni sono fondamentali nella nostra vita.

Al giorno d'oggi processi come l'automazione dipendono fortemente dal software, ma un errore in una riga di codice può portarci a gravi battute d'arresto, come dimostrano le istanze precedenti.

Ora, immagina che qualcosa come l'Intelligenza Artificiale (AI) venga incorporata in queste applicazioni. L'intelligenza artificiale è abbastanza spaventosa da sola senza problemi software. Aggiungi bug nel mix e non si può dire cosa potrebbe accadere.

Tuttavia, c'è un rivestimento d'argento qui. Con un po 'di lavoro e alcuni nuovi strumenti, possiamo realizzare un software e un'intelligenza artificiale migliori progettandolo in modo più solido e testandolo fino ai suoi stud.

Speriamo che questo problema critico sia preso sul serio dalle autorità interessate in modo da poter utilizzare il software al massimo delle sue potenzialità, ma solo per costruire un futuro più sicuro e più intelligente.

Vedi Successivo: Intelligenza artificiale: tipi e futuro che detiene per gli umani