Jak se vyhnout problémům se softwarem

V této digitální éře jste museli slyšet o obřích sociálních médií, jako jsou Facebook a Twitter a platformy elektronického obchodování, jako jsou Alibaba a Amazon. Tyto internetové stránky se při své činnosti spoléhají na různé softwarové balíčky. Tyto programy upřímně změnily způsob, jakým pracujeme, přemýšlíme a žijeme.

Kromě toho, mnoho zařízení, která dříve byla čistě mechanická, je nyní ovládáno softwarem. Například termostaty byly kdysi elektromechanická zařízení. Nyní se však na provoz spoléhají na software.

Softwarové chyby však mohou být docela problematické, zejména když se na ně stále více spoléháme při každodenních činnostech. Ve skutečnosti bylo skutečně několik případů, kdy software nedosáhl zamýšleného účelu, což vedlo k nepříjemným výsledkům.

, mluvíme o 4 příležitostech, kdy výkonnost softwaru výrazně chyběla jeho známka a jak se těmto problémům softwaru vyhnout.

Přečtěte si také: 10 důvodů, proč byste neměli spěchat, abyste si koupili iPhone X

1. Výpadek US Multi-State 911

911 je kritická služba, která umožňuje jednotlivcům v případě potřeby kontaktovat pohotovostní personál. Občas může být kontakt s nouzovými dispečery pomocí 911 doslova rozdílem mezi životem a smrtí.

Byla to tedy katastrofa, když 9. dubna 2014 selhalo směrování hovorů 911 v sedmi státech USA, včetně Kalifornie, Floridy, Minnesoty, Severní Karolíny, Pensylvánie, Jižní Karolíny a Washingtonu.

Tento výpadek byl způsoben chybou kódování, které bylo možné zabránit, ke kterému došlo v centru správy nouzového volání v Coloradu, které bylo vlastněno společností Intrado.

2. Uzemnění flotily United Airlines

V červenci 2015 byla společnost United Airlines kvůli softwarové závadě nucena uzemnit celou svou flotilu letadel. To ovlivnilo více než 4 900 letů po celém světě a mnoho cestujících uvízlo na letištích a bylo zcela zjevně frustrované.

Pravděpodobně to mělo také ekonomický dopad, protože letecká společnost by musela kompenzovat mnoho cestujících za nepříjemnosti. Pravděpodobně také došlo k několika důležitým obchodním jednáním, která byla kvůli uzemnění zmatená.

3. Porucha pedálu Toyota Camry Accelerator

V září 2007 cestovala Jean Bookout na Interstate Highway 69 v Oklahomě se spolujezdkou Barbarou Schwarz, když narazila na potíže s ovládáním své Toyota Camry.

Pokusila se zvednout nohy z plynového pedálu, ale auto pokračovalo v akceleraci. Brzdový pedál nezastavil vůz a byla nucena použít nouzovou brzdu.

To bohužel poslalo auto do nábřeží. Schwarz v důsledku toho zemřel a Bookout byl hospitalizován po dobu pěti měsíců kvůli vážným zraněním.

Bylo spekulováno, že k nehodě došlo kvůli několika nedostatkům kódování, které vedly k havárii úlohy v Camryově CPU. Tento procesor by ovládal nepřiměřeně velké množství funkcí, včetně zapalování, ovládání škrticí klapky a tempomatu.

Toyota kód se stal spletitou nepořádkem po několika letech, kdy byly nové kódy nashromážděny na starých. Toto se obvykle označuje jako „špagetový kód“.

Špagetový kód je zbytečně složitý a je téměř nemožné najít chyby. Kromě toho Toyota při jejich kódování také porušila několik bezpečnostních pravidel. Je třeba poznamenat, že se nejednalo o izolovaný případ neúmyslného zrychlení v Toyota.

Nehoda Bookoutu však tento problém přinesla na světlo a upozornila na nedostatky společnosti Toyota v jejich softwarovém procesu. Bylo dokonce zjištěno, že existuje více než 10 milionů způsobů, jak potenciálně dojít k nežádoucímu zrychlení, na základě struktury struktury Toyota.

Porucha termostatu Nest

Nest je společnost vlastněná společností Alphabet, která vyrábí inteligentní termostaty. Tyto termostaty jsou celkem šikovné a umožňují uživatelům ovládat teplotu ve svých domovech ze svých chytrých telefonů.

Minulou zimu zažili termostaty Nest závadu ve formě chybné aktualizace softwaru, která způsobila vybití baterií. Bohužel k této chybě došlo uprostřed zimy a několik uživatelů zůstalo dočasně bez tepla. To je určitě něco, co se vám v této roční době nechce stát.

Viz dále: Selfies nejsou tak triviální, jak je sociální média dělala pozdě

Stručná analýza softwarových problémů

Přístupy, jako je návrh založený na modelu a TLA +, umožňují vývojářům získat větší přehled o tom, jak jejich software funguje.

Brett Victor, přední počítačový výzkumník, počítá s tím, že mezi programátory a problémy, které se snaží vyřešit pomocí kódů, existuje rozpor.

Kvůli tomuto odpojení je pro programátory obtížné představit si, co se snaží vložit do kódů. Victor si myslí, že je to jeden z faktorů, které přispívají k tomu, že se software šíří s chybami.

Existuje však naděje. Přístupy, jako je návrh založený na modelu a TLA +, umožňují vývojářům získat větší přehled o tom, jak jejich software funguje.

Návrh na základě modelu, jak název napovídá, umožňuje vývoj softwaru prostřednictvím vizuálních modelů. TLA +, což je zkratka pro Temporal Logic of Action, je jazyk určený pro psaní specifikací počítačového programu. Co je skvělé na TLA + je to, že umožňuje vyčerpávající testování a ověření softwaru před tím, než je zveřejněno.

Obě modelové konstrukce a TLA + již prokázaly svou sůl. Společnost Esterel Technologies, společnost zabývající se vývojem softwaru, používá designový model k vytvoření softwaru kritického z hlediska bezpečnosti, zatímco TLA + použili podobně jako Microsoft k opravě možné katastrofické chyby Xboxu a Evropská kosmická agentura přepsala kódy pro sondu, která přistál na kometě.

Proces psaní kódu si programátoři váží. Mnoho z nich je docela jednoduše zaujato procesem psaní kódů. Je proto výzvou přimět některé programátory, aby akceptovali přístupy, jako je návrh založený na modelu a TLA +. Tyto přístupy jsou často vnímány jako přísně akademické bez reálné životaschopnosti. Ke změně pohledu však musí dojít co nejdříve.

Také si přečtěte: tlačíme naše děti k oslepnutí

Závěrečné myšlenky

Software se stále více používá v aplikacích, které vyžadují vestavěná bezpečnostní opatření. Musí být zavedeny lepší metody navrhování softwaru, protože takové aplikace jsou v našem životě životně důležité.

Procesy, jako je automatizace, se dnes silně spoléhají na software, ale jedna chyba v řadě kódu nás může vést k velkým neúspěchům, jak ukazují výše uvedené příklady.

Nyní si představte něco jako Artificial Intelligence (AI) začleněné do těchto aplikací. AI je dost děsivý sám o sobě bez softwarových závad. Přidejte do mixu chyby a nelze říci, co by se mohlo stát.

Zde je však stříbrná podšívka. S trochou práce a některými novými nástroji můžeme vylepšit software a umělou inteligenci tím, že jej navrhneme spolehlivěji a otestujeme jej na svorníky.

Doufejme, že dotčené úřady berou tuto kritickou otázku vážně, abychom mohli software využívat v plném rozsahu, ale pouze k vybudování bezpečnější a chytřejší budoucnosti.

Viz dále: Umělá inteligence: Typy a budoucnost, kterou pro lidi platí