22° C
Ma 2023. szeptember 28., csütörtök, Vencel napja van.
22° C
Ma 2023. szeptember 28., csütörtök, Vencel napja van.
A NASA blockchain használatát tervezi a Holdon

A NASA blockchain használatát tervezi a Holdon

Az amerikai űrkutatási hivatal, a NASA; a Lonestar számítógépes startup és a Man-sziget egyesíti erőit, hogy egy új adattárolási megoldást kínáljanak: blockchain használatát tervezik az adatok biztonságos tárolására a Holdon, a földi titkok megőrzése érdekében – derül...

Új „fegyver”: AI kamerák az erdőtüzek elleni küzdelemhez

Új „fegyver”: AI kamerák az erdőtüzek elleni küzdelemhez

Az egyik kanadai távközlési vállalat AI kamerákat telepít az éghajlatváltozás okozta erdőtüzek megfigyelésére és megelőzésére. A technológia a Rogers projektjének része, amelynek célja az erdőtüzek korai észlelése – derül ki a City News Everywhere most közzétett...

Biztonságra tervezés és biztonságigazolás

márc 10, 2021 | könyv

Az Akadémiai Kiadó gondozásában megjelent Biztonságra tervezés és biztonságigazolás formális módszerei című szakkönyv a Budapesti Műszaki és Gazdaságtudományi Egyetem (BME) Közlekedésmérnöki és Járműmérnöki Kara autonóm járműirányítási mérnök mesterszak képzéséhez készült, kiegészítő tananyagként. Az autonóm járművek a jövőben olyan mértékben alakítják át a közlekedéssel kapcsolatos társadalmi elvárásokat, és ezzel összefüggésben a biztonságos működésükről olyan elvárások fogalmazódnak meg, hogy a könyvben ismertetett biztonságigazolási módszerek egyre jobban integrálódni fognak a járműmérnöki gyakorlatba.

A könyv szerzői a témakör elismert szakemberei: Bartha Tamás egyetemi docens (BME Közlekedés- és Járműirányítási Tanszék), a Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Kutatóintézetének (SzTAKI) tudományos főmunkatársa, és Majzik István egyetemi docens, a BME Villamosmérnöki és Informatikai Kar Méréstechnika és Információs Rendszerek Tanszék helyettes vezetője. Kutatási területük a formális verifikáció, modellezés, biztonságkritikus rendszerek tesztelési és diagnosztikai eljárásai, valamint a számítógépes rendszerek szolgáltatásbiztonsága, szoftververifikáció és -validáció.

Képzési jegyzetük a formális módszerek mérnöki alkalmazása területén megalapozó tankönyvnek tekinthető: bevezet a legfontosabb formális leírási módok használatába, segít a rendszerek modellezésének megértésében, elsajátításában, és bemutatja a modellellenőrzés legfontosabb módszereit. Online elérhetőség: mersz.hu/

A NASA blockchain használatát tervezi a Holdon

A NASA blockchain használatát tervezi a Holdon

Az amerikai űrkutatási hivatal, a NASA; a Lonestar számítógépes startup és a Man-sziget egyesíti erőit, hogy egy új adattárolási megoldást kínáljanak: blockchain használatát tervezik az adatok biztonságos tárolására a Holdon, a földi titkok megőrzése érdekében – derül...

Új „fegyver”: AI kamerák az erdőtüzek elleni küzdelemhez

Új „fegyver”: AI kamerák az erdőtüzek elleni küzdelemhez

Az egyik kanadai távközlési vállalat AI kamerákat telepít az éghajlatváltozás okozta erdőtüzek megfigyelésére és megelőzésére. A technológia a Rogers projektjének része, amelynek célja az erdőtüzek korai észlelése – derül ki a City News Everywhere most közzétett...