Software ea mantlha ea lisebelisoa tsa marang-rang tsa mohlabani oa F-35 o kopaneng

Kakaretso ea likarolo tsa bohlokoa tsa F-35 Unified Strike Fighter's Autonomous Logistics Information System (ALIS). Tlhahlobo e qaqileng ea "sehlopha sa tšehetso ea ntoa" le likarolo tsa eona tse 'nè tsa bohlokoa: 1) sebopeho sa tsamaiso ea batho, 2) tsamaiso ea tsamaiso ea tsamaiso, 3) tsamaiso ea' mele ea ho itšireletsa mafung, 4) tsamaiso ea lifofane. Lintlha tse ling mabapi le firmware ea F-35 fighter le lisebelisoa tse sebelisoang bakeng sa software ea eona ea boto. Papiso le mehlala ea pejana ea bahlabani ba ntoa e fanoa, 'me ho boetse ho bontšoa menyetla ea tsoelo-pele ea lifofane tsa sesole.

Software ea mantlha ea lisebelisoa tsa marang-rang tsa mohlabani oa F-35 o kopaneng

Sefofane sa ntoa sa F-35 ke sehlopha se fofang sa mefuta eohle ea li-sensor tsa theknoloji e phahameng tse fanang ka kakaretso ea "temoso ea boemo ba likhato tse 360."

Selelekela

Litsamaiso tsa hardware tsa Air Force li fetohile tse rarahaneng le ho feta ha nako e ntse e ea. [27] cyberinfrastructure ea bona (software le hardware likarolo tse hlokang algorithmic tuning e ntle) le tsona butle-butle li fetoha tse rarahaneng. U sebelisa mohlala oa US Air Force, motho a ka bona kamoo lisebelisoa tsa cyber tsa lifofane tsa ntoa - ha li bapisoa le likarolo tsa eona tsa setso - li eketsehile butle-butle ho tloha ka tlase ho 5% (bakeng sa F-4, mohlabani oa moloko oa boraro) ho feta 90% (bakeng sa F-35, mohlabani oa moloko oa bohlano). [5] Bakeng sa tokiso e ntle ea lisebelisoa tsena tsa marang-rang, F-35 e ikarabella bakeng sa software ea morao-rao e etselitsoeng morero ona: Autonomous Logistics Information System (ALIS).

Autonomous logistics tlhahisoleseding ea tsamaiso

Mehleng ea bahlabani ba moloko oa 5, bophahamo ba ntoa bo lekanngoa haholo-holo ka boleng ba tlhokomeliso ea maemo. [10] Ka hona, mohlabani oa F-35 ke sehlopha se fofang sa mefuta eohle ea lisebelisoa tsa theknoloji e phahameng, e fanang ka kakaretso ea tlhokomeliso ea boemo ba 360-degree. [11] Ntho e ncha e tummeng e otlang tabeng ena ke seo ho thoeng ke. "Integrated Sensor Architecture" (ISA), e kenyelletsang li-sensor tse sebelisanang ka boithaopo (eseng feela sebakeng se khutsitseng, empa hape le libakeng tse hanyetsanang tsa maqheka) - tseo, ka khopolo, li lokelang ho lebisa ntlafatsong e kholo le ho feta boleng ba tlhokomeliso ea maemo. . [7]. Leha ho le joalo, e le hore khopolo ena e kene ts'ebetsong, ts'ebetso ea boleng bo phahameng ea algorithmic ea data eohle e fumanoang ho tsoa ho li-sensor ea hlokahala.

Ka hona, F-35 e lula e na le software ka sekepeng, boholo ba kakaretso ea likhoutu tsa mohloli o fetang mela e limilione tse 20, eo hangata e bitsoang "khomphutha e fofang." [6] Kaha nakong ea hona joale ea bohlano ea bahlabani ba seteraeke, bophahamo ba ntoa bo lekantsoe ka boleng ba tlhokomeliso ea maemo, hoo e batlang e le 50% ea khoutu ena ea lenaneo ( mela e limilione tse 8,6) e etsa ts'ebetso e rarahaneng ka ho fetisisa ea algorithmic - ho khomarela lintlha tsohle tse tlang. ho tloha ho li-sensor ho ea setšoantšong se le seng sa theatre ea ts'ebetso. Ka nako ya sebele.

Software ea mantlha ea lisebelisoa tsa marang-rang tsa mohlabani oa F-35 o kopanengMatla a phetoho ea ho fana ka ts'ebetso ea boto bakeng sa bahlabani ba US - ho ea ho software

F-35's Autonomous Logistics Information System (ALIS) e fa mohlabani 1) moralo (ka lisebelisoa tse tsoetseng pele tsa lifofane), 2) ts'ehetso (bokhoni ba ho sebetsa e le sehlopha sa ntoa se ka sehloohong), le 3) matlafatso. (bokhoni ba ho nka khato. joalo ka sehlopha sa ntoa ea makhoba). [4] "Khoutu ea Sekhomaretsi" ke karolo ea mantlha ea ALIS, e nkang karolo ea 95% ea khoutu eohle ea lifofane tsa F-35. E 'ngoe ea 50% ea khoutu ea ALIS e etsa ts'ebetso e nyane, empa hape e matla haholo ka mokhoa oa algorithm. [12] F-35 ka hona ke e 'ngoe ea litsamaiso tse thata ka ho fetisisa tsa ntoa tse kileng tsa ntlafatsoa. [6]

ALIS ke sistimi e ikemetseng e ikemetseng e kopanyang motsoako o kopaneng oa mefuta e mengata e fapaneng ea li-subsystems; hape e kenyelletsa tšebelisano e atlehileng le mofofisi oa sefofane ka ho mo fa leseli la boleng bo holimo mabapi le theater of operations (temoso ea maemo). Enjene ea software ea ALIS e lula e le ka morao, e thusa mofofisi ho etsa liqeto le ho fana ka tataiso libakeng tsa bohlokoa sefofaneng. [13]

Combat support unit

E 'ngoe ea li-subsystem tsa bohlokoa ka ho fetisisa tsa ALIS ke "unit support unit", e nang le lintlha tse hlano tsa sehlooho [13]:

1) "Sebopeho sa tsamaiso ea batho" - e fana ka pono ea boleng bo phahameng ba theatre ea ts'ebetso (ergonomic, comprehensive, shorts). [12] Ha a shebile theater ena, mofofisi oa sefofane o etsa liqeto tse bohlale le ho fana ka litaelo tsa ntoa, tseo le tsona li sebetsoang ke yuniti ea ICS.

2) "Executive-control system" (ECS) - ho sebelisana le lihlopha tsa taolo ea libetsa tse ka holim'a boto, ho netefatsa ho etsoa ha litaelo tsa ntoa, tse fanoang ke mofofisi ka sebopeho sa tsamaiso ea batho. ICS e boetse e tlaleha tšenyo ea sebele e tsoang ho tšebeliso ea taelo e 'ngoe le e' ngoe ea ntoa (ka li-sensor tsa maikutlo) - bakeng sa tlhahlobo ea eona e latelang ke tsamaiso ea lifofane.

3) "On-Board Immune System" (BIS) - e lekola litšokelo tsa kantle 'me, ha li fumanoa, li etsa mehato e hlokahalang ho felisa litšokelo. Tabeng ena, BIS e ka natefeloa ke ts'ehetso ea lihlopha tsa ntoa tse mosa tse nkang karolo ts'ebetsong e kopaneng ea maqiti. [8] Bakeng sa morero ona, LSI e sebelisana haufi-ufi le mekhoa ea avionics - ka mokhoa oa puisano.

4) "Sistimi ea Avionics" - e fetola lintlha tse ngata tse tsoang ho li-sensor tse fapaneng ho ba tlhokomeliso ea maemo a holimo, e fumanehang ho mofofisi ka sebopeho sa sistimi ea motho.

5) "Sistimi ea puisano" - e laola sephethephethe sa marang-rang le kantle ho marang-rang, joalo-joalo. e sebetsa e le sehokelo lipakeng tsa litsamaiso tsohle tsa boto; hammoho le lipakeng tsa lihlopha tsohle tsa ntoa tse nkang karolo tšebetsong e kopaneng ea maqiti.

Sehokelo sa tsamaiso ea batho

Ho fihlela tlhoko ea boemo bo holimo le bo felletseng ba tlhokomeliso ea maemo, likhokahano le pono ea bona ka har'a li-cockpit tsa ntoa li bohlokoa. Sefahleho sa ALIS ka kakaretso le yuniti ea tšehetso ea ntoa ka ho khetheha ke "panoramic visualization subsystem" (L-3 Communications Display Systems). E kenyelletsa skrine e kholo ea litlhaloso tse phahameng (LADD) le mocha oa puisano o pharaletseng. Software ea L-3 e tsamaisa Integrity OS 178B (mokhoa oa ho sebetsa oa nako ea sebele o tsoang ho Green Hills Software), e leng mokhoa o ka sehloohong oa tsamaiso ea lifofane bakeng sa sefofane sa ntoa sa F-35.

Baetsi ba meralo ea meaho ea F-35 cyber ba khethile Integrity OS 178B e ipapisitse le likarolo tse tšeletseng tse ikhethileng tsa sistimi e sebetsang: 1) ho latela maemo a bulehileng a meralo, 2) ho lumellana le Linux, 3) ho lumellana le POSIX API, 4) kabo ea mohopolo e sireletsehileng, 5) tšehetso ea litlhoko tse khethehileng tshireletso le 6) ts'ehetso bakeng sa litlhaloso tsa ARINC 653. [12] "ARINC 653" ke sesebelisoa sa software bakeng sa lits'ebetso tsa avionics. Khokahano ena e laola karohano ea nakoana le ea sebaka ea lisebelisoa tsa sistimi ea komporo ea lifofane ho latela melao-motheo ea li-avionics tse kopaneng tsa modular; hape e hlalosa sebopeho sa lenaneo seo software ea kopo e tlamehang ho se sebelisa ho fihlella lisebelisoa tsa sistimi ea komporo.

Software ea mantlha ea lisebelisoa tsa marang-rang tsa mohlabani oa F-35 o kopanengSistimi e nyane ea ponts'o ea pono

Tsamaiso-taolo ea tsamaiso

Joalokaha ho boletsoe ka holimo, ICS, e sebelisana le lihlopha tsa taolo ea libetsa tse ka holim'a boto, e netefatsa ho phethahatsoa ha litaelo tsa ntoa le ho rekota tšenyo ea sebele e tsoang ho tšebeliso ea taelo e 'ngoe le e' ngoe ea ntoa. Pelo ea ICS ke k'homphieutha e kholo, eo ka tlhaho e boetse e hlalosoang e le "sebetsa se ka holim'a board."

Kaha boholo ba mesebetsi e abetsoeng k'homphieutha e kholo ka holim'a board ke e kholo, e ekelitse matla mme e fihlela litlhoko tse phahameng tsa mamello ea liphoso le matla a komporo; E boetse e na le mokhoa o sebetsang oa ho pholisa metsi. Mehato ena kaofela e nkuoa ho etsa bonnete ba hore sistimi ea khomphutha e khona ho sebetsana ka katleho le palo e kholo ea data le ho etsa ts'ebetso e tsoetseng pele ea algorithmic - e fanang ka mofofisi tlhokomeliso e sebetsang ea maemo: ho mo fa leseli le felletseng mabapi le lebala la ts'ebetso. [12]

K'homphieutha e kholo ea sefofane sa sefofane sa F-35 e khona ho tsoela pele ho etsa mesebetsi e limilione tse likete tse 40 ka motsotsoana, ka lebaka leo e tiisang hore ho etsoa mesebetsi e mengata ea li-avionics tse tsoetseng pele (ho akarelletsa le ts'ebetso ea electro-optical, infrared le data ea radar). [9] Nako ea sebele. Bakeng sa mohlabani oa F-35, ha ho khonehe ho etsa lipalo tsena tsohle tse matla ka lehlakoreng le leng (e le hore u se ke ua hlomella sehlopha se seng le se seng sa ntoa ka k'homphieutha e kholo), hobane matla a phallo ea data e tsoang ho li-sensor tsohle e feta. tlhahiso ea mekhoa ea puisano e potlakileng - bonyane makhetlo a 1000. [12]

Ho netefatsa ts'epo e ntseng e eketseha, lits'ebetso tsohle tsa bohlokoa tsa F-35 (ho kenyeletsoa, ​​​​ho isa bohōleng bo itseng, "supercomputer" e sebelisoa ho sebelisoa molao-motheo oa ho fokotsa mosebetsi, e le hore mosebetsi o tšoanang ka sekepeng o ka etsoa ke lisebelisoa tse 'maloa tse fapaneng. Ho feta moo, tlhokeho ea ho fokotsoa ha mosebetsi ke hore likarolo tse kopitsoang li ntlafatsoe ke bahlahisi ba bang 'me li be le moralo o mong. Ka lebaka la sena, monyetla oa ho hloleha ka nako e le 'ngoe oa pele le tse kopitsoang o fokotsehile. [1, 2] Hape ke ka lebaka leo komporo e kholo e tsamaisang sistimi e ts'oanang ea Linux, ha likhomphutha tsa makhoba li tsamaisa Windows. [2] Hape, e le hore haeba e 'ngoe ea lik'homphieutha e hlōleha, setsi sa tšehetso sa ntoa se ka tsoela pele ho sebetsa (bonyane ka mokhoa oa tšohanyetso), mohaho oa ALIS kernel o hahiloe holim'a molao-motheo oa "multithreaded client-server for distributed computing. .” [18]

Tsamaiso ea 'mele ea ho itšireletsa mafung

Sebakeng sa maqheka a tsekoang, ho boloka boits'ireletso ba moea ho hloka motsoako o sebetsang oa ho tiea, bofokoli, mefuta-futa, le ts'ebetso e ajoang. Lifofane tsa ntoa tsa maobane li ne li se na tsamaiso e kopaneng ea 'mele ea ho itšireletsa mafung (BIS). LSI ea eona ea lifofane e ne e arohane 'me e na le likarolo tse' maloa tse sebetsang tse ikemetseng. E 'ngoe le e' ngoe ea likarolo tsena e ile ea ntlafatsoa hore e mamelle lisebelisoa tse itseng, tse moqotetsane tsa lisebelisoa tsa libetsa: 1) li-ballistic projectiles, 2) limisaele tse lebisitsoeng ho maqhubu a seea-le-moea kapa lets'oao la electro-optical, 3) mahlaseli a laser, 4) mahlaseli a radar, joalo-joalo. Ha tlhaselo e fumanoa, sistimi e tsamaisanang ea LSI e ile ea kengoa tšebetsong ka bo eona 'me ea nka mehato ea ho hanyetsa.

Likarolo tsa LSI ea maobane li entsoe le ho ntlafatsoa li sa sebetsane - ke borakonteraka ba fapaneng. Kaha likarolo tsena, joalo ka molao, li ne li e-na le meaho e koetsoeng, ntlafatso ea LSI - joalo ka ha theknoloji e ncha le lisebelisoa tse ncha tsa libetsa li hlaha - li ile tsa fokotsoa ho kenyelletsa karolo e 'ngoe e ikemetseng ea LSI. Phoso ea mantlha ea LSI e arohaneng joalo - e nang le likarolo tse ikemetseng tse nang le meaho e koetsoeng - ke hore likhechana tsa eona ha li khone ho sebelisana 'me li ke ke tsa hokahanngoa bohareng. Ka mantsoe a mang, ha ba khone ho buisana le ho etsa mesebetsi e kopanetsoeng, e fokotsang ho tšepahala le ho ikamahanya le maemo ha LSI eohle ka kakaretso. Ka mohlala, haeba e 'ngoe ea tsamaiso ea' mele ea ho itšireletsa mafung e hlōleha kapa e senyeha, litsamaiso tse ling li ke ke tsa lefella tahlehelo ena. Ho phaella moo, ho arohana ha LSIs hangata ho lebisa ho phetoa ha lisebelisoa tsa theknoloji e phahameng tse kang li-processor le lipontšo, [8] eo, ho ea ka "bothata bo lulang bo le botala" ba ho fokotsa SWAP (boholo, boima le tšebeliso ea matla) [16] ], e senya haholo. Ha ho makatse hore ebe li-LSI tsena tsa pele li ntse li felloa ke nako butle-butle.

LSI e arohaneng e nkeloa sebaka ke tsamaiso ea 'mele ea ho itšireletsa mafung e le' ngoe, e laoloang ke "taolo ea kelello-cognitive" (ICC). ICC ke lenaneo le ikhethileng, tsamaiso ea methapo e bohareng, e sebetsang ka holim'a litsamaiso tse nyane tse kenyellelitsoeng ho BIS. Lenaneo lena le kopanya lits'ebetso tsohle tse nyane tsa LSI ho ba netweke e le 'ngoe e abuoang (e nang le tlhaiso-leseling e tloaelehileng le lisebelisoa tse tloaelehileng), hape e hokahanya LSI tsohle le processor e bohareng le lits'ebetso tse ling tsa board. [8] Motheo oa motsoako ona (ho kenyeletsoa motsoako le likarolo tse tla ntlafatsoa nakong e tlang) ke khopolo e amohelehang ka kakaretso ea "system of systems" (SoS), [3] - ka litšobotsi tsa eona tse khethollang tse kang scalability, tlhaloso ea sechaba. le software e bulehileng ea meralo le hardware.

ICC e na le phihlello ea tlhahisoleseling ho tsoa lits'ebetsong tsohle tsa BIS; mosebetsi oa eona ke ho bapisa le ho sekaseka tlhahisoleseling e fumanoeng ho tsoa ho litsamaiso tse nyane tsa LSI. ICC e lula e sebetsa ka morao, e tsoela pele ho sebelisana le litsamaiso tsohle tsa LSI - ho tsebahatsa ts'okelo e 'ngoe le e' ngoe e ka bang teng, ho e beha sebakeng sa heno, 'me qetellong e khothalelitse mofofisi mekhoa e nepahetseng ea litekanyo (ho nahanela bokhoni bo ikhethang ba e 'ngoe le e' ngoe ea litsamaiso tse nyane tsa LSI). Bakeng sa morero ona, ICC e sebelisa li-algorithms tse tsoetseng pele tsa kelello [17-25].

Seo. Sefofane se seng le se seng se na le ICC ea sona. Leha ho le joalo, ho finyella ho kopanya ho hoholo le ho feta ('me, ka lebaka leo, ho tšepahala ho hoholo), ICC ea lifofane tsohle tse kenyang letsoho ts'ebetsong ea maqheka li kopantsoe ho ba marang-rang a le mong a tloaelehileng, bakeng sa ho hokahanya ha "tsamaiso ea boitsebiso bo ikemetseng" (ALIS). ) e ikarabella. [4] Ha e 'ngoe ea li-ICC e tsebahatsa tšokelo, ALIS e bala mehato e sebetsang ka ho fetisisa ea ho loantša - ho sebelisa boitsebiso bo tsoang ho li-ICC tsohle le tšehetso ea lihlopha tsohle tsa ntoa tse kenyang letsoho ts'ebetsong ea maqheka. ALIS "e tseba" litšoaneleho tsa motho ka mong tsa ICC ka 'ngoe, 'me e li sebelisa ho kenya ts'ebetsong mehato e kopanetsoeng.

LSI e abuoang e sebetsana le lits'oso tsa kantle (tse amanang le ts'ebetso ea lira) le litšokelo tsa kahare (tse amanang le mokhoa oa ho lekola le lits'oants'o tsa ts'ebetso). Ka sekepeng sa F-35 fighter, tsamaiso ea lifofane e ikarabella bakeng sa ho sebetsana le litšokelo tsa ka ntle, 'me VRAMS (mokhoa o bohlale oa tlhahisoleseding ea kotsi e amanang le mekhoa e kotsi ea lisebelisoa) e ikarabella bakeng sa ho sebetsana le litšokelo tsa ka hare. [13] Sepheo se seholo sa VRAMS ke ho atolosa linako tsa ts'ebetso ea sefofane pakeng tsa linako tse hlokahalang tsa tlhokomelo. Ho etsa sena, VRAMS e bokella tlhahisoleseling ea nako ea nnete mabapi le ts'ebetso ea lits'ebetso tsa mantlha tsa onboard (enjine ea sefofane, li-drive tse thusang, likarolo tsa mochini, lits'ebetso tsa motlakase) le ho sekaseka boemo ba bona ba tekheniki; ho ela hloko liparamente tse kang litlhōrō tsa mocheso, ho theoha ha khatello, matla a ho sisinyeha le mefuta eohle ea tšitiso. E ipapisitse le tlhahisoleseling ena, VRAMS e fana ka likhothaletso tsa esale pele tsa mofofisi mabapi le seo a lokelang ho se etsa ho boloka sefofane se bolokehile ebile se utloahala. VRAMS "e bolela esale pele" hore na liketso tse ling tsa mofofisi li ka lebisa ho liphello life, hape e fana ka litlhahiso mabapi le mokhoa oa ho li qoba. [13]

Maemo ao VRAMS e hahamallang ho a hlokomela ke ho se lokisoe ha ho ntse ho bolokoa ts'epo e kholo le ho fokotsa mokhathala oa sebopeho. Ho fihlela sepheo sena, lilaboratori tsa lipatlisiso li ntse li sebetsa ho theha lisebelisoa tse nang le meaho e bohlale e tla khona ho sebetsa ka katleho maemong a ho hlokomela lefela. Bafuputsi ba lilaboratoring tsena ba ntse ba etsa mekhoa ea ho lemoha li-microcracks le lintho tse ling tse tlang pele ho hloleha ho thibela ho hloleha ho ka bang teng esale pele. Lipatlisiso li ntse li etsoa ho utloisisa hantle ketsahalo ea mokhathala oa sebopeho e le hore ho sebelisoe boitsebiso bona ho laola tsamaiso ea lifofane e le ho fokotsa mokhathala oa sebopeho - joalo-joalo. lelefatsa bophelo bo sebetsang ba sefofane. [13] Tabeng ena, hoa thahasellisa ho hlokomela hore hoo e ka bang 50% ea lihlooho tse hlahang koranteng ea "Advanced in Engineering Software" li ikemiselitse ho hlahloba matla le ho ba kotsing ea konkreite e matlafalitsoeng le mehaho e meng.

Software ea mantlha ea lisebelisoa tsa marang-rang tsa mohlabani oa F-35 o kopanengSistimi e bohlale ea ho tsebisa ka likotsi tse amanang le metsamao e kotsi ho lisebelisoa

Sistimi e tsoetseng pele ea li-avionics

Setsi sa ts'ehetso sa ntoa sa sefofane sa F-35 se kenyelletsa sistimi e tsoetseng pele ea sefofane e etselitsoeng ho rarolla mosebetsi o matla:

Lisebelisoa tsa maobane tsa avionics li ne li kenyelletsa litsamaiso tse 'maloa tse ikemetseng (tse laolang li-infrared le ultraviolet sensors, radar, sonar, ntoa ea elektronike le tse ling), e' ngoe le e 'ngoe e ne e e-na le pontšo ea eona. Ka lebaka la sena, mofofisi o ne a tlameha ho sheba e 'ngoe le e' ngoe ea lipontšo ka ho latellana le ho sekaseka ka letsoho le ho bapisa lintlha tse tsoang ho tsona. Ka lehlakoreng le leng, tsamaiso ea kajeno ea avionics, eo ka ho khetheha e nang le mohlabani oa F-35, e emela lintlha tsohle, tse neng li hasane pele, e le mohloli o le mong; pontshong e le nngwe e tlwaelehileng. Seo. tsamaiso ea morao-rao ea li-avionics ke mokhoa o kopanetsoeng oa marang-rang-centric data fusion complex e fanang ka mofofisi ea nang le tsebo e sebetsang ka ho fetisisa ea maemo; ho mo pholosa tlhokehong ya ho etsa dipalo tse rarahaneng tsa tshekatsheko. Ka lebaka leo, ka lebaka la ho qheleloa ka thoko ha ntlha ea motho ho tsoa ho loop ea tlhahlobo, mofofisi ha a khone ho khelosoa hona joale mosebetsing o moholo oa ntoa.

E 'ngoe ea liteko tsa pele tsa bohlokoa tsa ho felisa ntlha ea motho ho tloha ho avionics analytical loop e ile ea kenngoa ts'ebetsong ea cyber ea mohlabani oa F-22. Ka sekepeng sena sa mohlabani, lenaneo le matla la algorithmically le ikarabella bakeng sa boleng bo phahameng ba data bo tsoang ho li-sensor tse fapa-fapaneng, boholo ba kakaretso ea likhoutu tsa mohloli oo e leng mela e limilione tse 1,7. Ka nako e ts'oanang, 90% ea khoutu e ngotsoe ka Ada. Leha ho le joalo, tsamaiso ea sejoale-joale ea li-avionics - e laoloang ke lenaneo la ALIS - eo F-35 e nang le eona e tsoetse pele haholo ha e bapisoa le mohlabani oa F-22.

ALIS e ne e ipapisitse le software ea F-22 fighter. Leha ho le joalo, ha se mela ea khoutu ea limilione tse 1,7 hona joale e ikarabellang bakeng sa ho kopanya lintlha, empa limilione tse 8,6. Ka nako e ts'oanang, boholo ba khoutu bo ngotsoe ka C / C ++. Mosebetsi o ka sehloohong oa khoutu ena eohle e matla ea algorithm ke ho lekola hore na ke tlhahisoleseling efe e tla ba ea bohlokoa bakeng sa mofofisi. Ka lebaka leo, ka ho tsepamisa maikutlo feela ho data ea bohlokoa ka lebaleng la ts'ebetso, mofofisi o se a khona ho etsa liqeto tse potlakileng le tse sebetsang haholoanyane. Seo. Sistimi ea sejoale-joale ea li-avionics, eo mohlabani oa F-35 a nang le eona ka ho khetheha, e tlosa moroalo oa tlhahlobo ho mofofisi, 'me qetellong e mo lumella ho fofa feela. [12]

Software ea mantlha ea lisebelisoa tsa marang-rang tsa mohlabani oa F-35 o kopanengMekhoa ea khale ea li-avionics

Sidebar: Lisebelisoa tsa ntlafatso tse sebelisoang ka sekepeng sa F-35

Likarolo tse ling [tse nyane] tsa software tsa F-35 onboard cyberinfrastructure li ngotsoe ka lipuo tsa relic tse kang Ada, CMS-2Y, FORTRAN. Li-blocks tsa lenaneo tse ngotsoeng ka Ada hangata li alima ho mohlabani oa F-22. [12] Leha ho le joalo, khoutu e ngotsoeng ka lipuo tsena tsa relic ke karolo e nyane feela ea software ea F-35. Puo e ka sehloohong ea lenaneo bakeng sa F-35 ke C/C++. Mananeo a amanang le kamano le lintho a boetse a sebelisoa ka har'a F-35. [14] Li-database li sebelisoa ka botong ho sebetsana hantle le data e kholo. Ho etsa hore mosebetsi ona o etsoe ka nako ea nnete, li-database li sebelisoa hammoho le accelerator ea tlhahlobo ea graph ea hardware. [15]

Sidebar: Backdoors in the F-35

Likarolo tsohle tse etsang lisebelisoa tsa sejoale-joale tsa sesole sa Amerika ke 1) e iketselitsoeng, 2) kapa e etselitsoe lihlahisoa tse fumanehang tsa khoebo, 3) kapa e emela tharollo ea khoebo e nang le mabokose. Ho feta moo, maemong ana kaofela a mararo, bahlahisi, ebang ke ba likarolo tsa motho ka mong kapa ba tsamaiso eohle ka kakaretso, ba na le leloko le belaetsang, leo hangata le hlahang ka ntle ho naha. Ka lebaka leo, ho na le kotsi ea hore ka nako e 'ngoe mocheng oa phepelo (o atisang ho atolosoa ho pota lefatše) backdoor kapa malware (ebang ke boemong ba software kapa hardware) e tla kenngoa ka har'a software kapa hardware component. Ntle le moo, Sesole sa Moeeng sa US se tsebahala ka ho sebelisa lisebelisoa tsa elektroniki tsa maiketsetso tse fetang limilione tse 1, e leng se eketsang monyetla oa ho ba le khoutu e mpe le mamati a ka morao. Re sa bue ka taba ea hore hangata kopi ea maiketsetso ke kopi ea boleng bo tlaase le e sa tsitsang ea ea pele, hammoho le sohle seo e se bolelang. [5]

Moralo oa ALIS kernel

Ha re akaretsa tlhaloso ea litsamaiso tsohle tse holim'a boto, re ka bolela hore litlhoko tse ka sehloohong bakeng sa bona li theohela ho tsena tse latelang: integrability le scalability; tlhaloso ea sechaba le meralo e bulehileng; ergonomics le conciseness; botsitso, ho hloka mosebetsi, ho se tšoane, ho eketseha ha botsitso le matla; tshebetso e ajoang. Moralo oa mantlha oa ALIS ke karabelo e felletseng litlhokong tsena tsa tlholisano tse pharaletseng le tse labalabelang bakeng sa F-35 Joint Strike Fighter.

Leha ho le joalo, mohaho ona, joaloka ntho e 'ngoe le e' ngoe e bohlale, o bonolo. Khopolo ea mechine ea boemo bo fokolang e ile ea nkoa e le motheo oa eona. Tšebeliso ea mohopolo ona ka har'a moralo oa ALIS e hlokomeloa ka taba ea hore likarolo tsohle tsa software ea board ea F-35 fighter li na le sebopeho se kopaneng. Ha e kopantsoe le meralo ea li-server-server e nang le likhoele tse ngata bakeng sa khomphutha e ajoang, ALIS automata kernel e fihlela litlhoko tsohle tse hanyetsanang tse hlalositsoeng kaholimo. Karolo ka 'ngoe ea software ea ALIS e na le ".h-file" le sebopeho sa algorithmic ".cpp-file". Sebopeho sa bona se akaretsang se fanoa ka lifaele tsa mohloli tse khomaretsoeng sehloohong (sheba ba senyang tse tharo tse latelang).

automata1.cpp

#include "battle.h"

CBattle::~CBattle()
{
}

BOOL CBattle::Battle()
{
    BATTLE_STATE state;

    switch (m_state)
    {
    case AU_BATTLE_STATE_1:
        if (!State1Handler(...))
            return FALSE;
        m_state = AU_STATE_X;
        break;
    case AU_BATTLE_STATE_2:
        if (!State2Handler(...))
            return FALSE;
        m_state = AU_STATE_X;
        break;
    case AU_BATTLE_STATE_N:
        if (!StateNHandler(...))
            return FALSE;
        m_state = AU_STATE_X;
        break;
    }

    return TRUE;
}

automata1.h

#ifndef AUTOMATA1_H
#define AUTOMATA1_H

typedef enum AUTOMATA1_STATE { AU1_STATE_1, AU1_STATE_2, ... AU1_STATE_N };

class CAutomata1
{
public:
    CAutomata1();
    ~CAutomata1();
    BOOL Automata1();
private:
    BOOL State1Habdler(...);
    BOOL State2Handler(...);
    ...
    BOOL StateNHandler(...);
    AUTOMATA1 m_state;
};

#endif

ka sehloohong.cpp

#include "automata1.h"

void main()
{
    CAutomata1 *pAutomata1;
    pAutomata1 = new CAutomata1();

    while (pAutomata->Automata1()) {}

    delete pAutomata1;
}

Ka bokhutšoanyane, tikolohong ea maqheka e tsekoang, lihlopha tsa Sesole sa Moeeng tseo meaho ea tsona ea marang-rang ea marang-rang e kopanyang ho tiea, ho se sebetse, ho fapana, le ts'ebetso e ajoang e natefeloa ke maemo a ntoa. IKK le ALIS tsa lifofane tsa sejoale-joale li fihlela litlhoko tsena. Leha ho le joalo, tekanyo ea ho kopanngoa ha bona nakong e tlang e tla boela e atolosoe ho sebelisana le lihlopha tse ling tsa sesole, athe hona joale ho kopanya ka katleho ha Lebotho la Moeeng ho akaretsa feela karolo ea eona.

Libibele

1. Courtney Howard. Avionics: ka pele ho mothinya // Lisebelisoa tsa elektroniki tsa Sesole le Sefofane: Mekhoa e mecha ea Avionics. 24(6), 2013. maq. 10-17.
2. Tactical Software Engineering // General Dynamics Motlakase Seketsoana.
3. Alvin Murphy. Bohlokoa ba Khokahanyo ea Litsamaiso // Boetsuwa ba ho etella pele: Boenjineri ba ho loantsha le ho kopanya. 8(2), 2013. maq. 8-15.
4. F-35: Ntoa e Itokisitse. // Sesole sa Moeeng.
5. Global Horizons // United States Air Force Global Science and Technology Vision. 3.07.2013.
6. Chris Babcock. Ho itokisetsa Lebala la Ntoa ea Cyber ​​​​ea Bokamoso // Air & Space Power Journal. 29(6), 2015. maq. 61-73.
7. Edric Thompson. Sebaka se tloaelehileng sa ts'ebetso: Li-sensor li tsamaisa Sesole mohato o le mong haufi // Boetsuwa ba Sesole: Sensor. 3(1), 2015. leq. 16.
8. Mark Calafut. Bokamoso ba ho pholoha ha lifofane: Ho aha setsi se bohlale, se kopaneng sa ho pholoha // Theknoloji ea Sesole: Bofofisi. 3(2), 2015. maq. 16-19.
9. Courtney Howard. Lifofane tse bohlale.
10. Stephanie Anne Fraioli. Tšehetso ea Bohlale bakeng sa F-35A Lightning II // Air & Space Power Journal. 30(2), 2016. maq. 106-109.
11. Courtney E. Howard. Ts'ebetso ea video le litšoantšo pheletsong // Boetsuwa ba elektroniki ba Sesole le Aerospace: Lifofane tse tsoelang pele. La 22(8), 2011.
12. Courtney Howard. Lifofane tsa ntoa tse nang le li-avionics tse tsoetseng pele // Boetsuwa ba elektroniki ba Sesole le Sefofane: Difofane. 25(2), 2014. maq.8-15.
13. Tsepamisa maikutlo ho rotorcraft: Bo-ramahlale, bafuputsi le bo-ralifofane ba khanna boqapi // Theknoloji ea Sesole: Bofofisi. 3(2), 2015. maq.11-13.
14. Tactical Software Engineering // General Dynamics Motlakase Seketsoana.
15. Phatlalatso ea Broad Agency Hierarchical Identify Verify Exploit (HIVE) Microsystems Technology Office DARPA-BAA-16-52 August 2, 2016.
16. Courtney Howard. Lintlha tse batloang: ho araba mohala oa likhokahano // Boetsuwa ba elektroniki ba Sesole le Sefofane: Lisebelisoa tsa elektroniki tse Wearable. La 27(9), 2016.
17. Phatlalatso ea Broad Agency: Explainable Artificial Intelligence (XAI) DARPA-BAA-16-53, 2016.
18. Jordi Vallverdu. Meaho ea kelello bakeng sa ho kenya ts'ebetsong ea maikutlo lits'ebetsong tsa khomphutha // Biologically Inspired Cognitive Architectures. 15, 2016. maq. 34-40.
19. Bruce K. Johnson. Dawn of the Cognetic: Lilemo li Loana Ntoa ea Boikutlo ka ho beha Monahano ka Tšusumetso // Air & Space Power Journal. 22(1), 2008. maq. 98-106.
20. Sharon M. Latour. Bohlale ba Maikutlo: Liphello ho Baetapele Bohle ba Sesole sa Meea sa United States // Air & Space Power Journal. 16(4), 2002. maq. 27-35.
21. Lt Col Sharon M. Latour. Bohlale ba Maikutlo: Liphello ho Baetapele Bohle ba Sesole sa Meea sa United States // Air & Space Power Journal. 16(4), 2002. maq. 27-35.
22. Jane Benson. Patlisiso ea mahlale a kelello: Ho tsamaisa masole ka tsela e nepahetseng // Boetsuwa ba Sesole: Khomphutha. 3(3), 2015. maq. 16-17.
23. Dayan Araujo. Lik'homphieutha tsa kelello li ile tsa qala ho fetola maemo a ho fumana Lebotho la Moea.
24. James S. Albus. RCS: Meaho e nang le kelello bakeng sa litsamaiso tse bohlale tsa li-multi-agent // Litlhahlobo tsa selemo le selemo tsa Taolo. 29(1), 2005. maq. 87-99.
25. Karev A.A. Boetsuwa ba ho tshepana (bo-ma-tla-law) // Boetsuwa ba ho rekisa. 2015. Nomoro ea 8 (222). leqepheng la 43-48.
26. Karev A.A. Seva ea bareki e nang le likhoele tse ngata bakeng sa komporo e ajoang // Motsamaisi oa sistimi. 2016. No. 1-2 (158-159). leqepheng la 93-95.
27. Karev A.A. Likarolo tsa Hardware tsa MPS tse onboard tsa F-35 e kopaneng ea mohlabani // Likarolo le Technologies. 2016. Nomoro ea 11. P.98-102.

PS. Sengoliloeng sena se phatlalalitsoe qalong ho "Likarolo le Theknoloji".

Source: www.habr.com

Eketsa ka tlhaloso