abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    dnes 21:33 | IT novinky

    8. července Mozilla vypne službu Pocket (Wikipedie) pro ukládání článků z webu na později. Do 8. října si uživatelé mohou vyexportovat data. Mozilla koupila Pocket v únoru 2017. Několik měsíců byl Pocket integrovanou součástí Firefoxu.

    Ladislav Hagara | Komentářů: 0
    dnes 13:22 | Upozornění

    Turris OS má aktuálně problém s aktualizací související s ukončením podpory protokolu OCSP u certifikační autority Let's Encrypt.

    Ladislav Hagara | Komentářů: 2
    dnes 04:00 | Zajímavý článek

    Nevidomý uživatel Linuxu v blogu upozornil na tristní stav přístupnosti na linuxovém desktopu (část první, druhá, závěr), přičemž stížnosti jsou podobné jako v roce 2022. Vyvolal bouřlivou odezvu. Následně např. Georges Stavracas shrnul situaci v GNOME. Debata o jiném aspektu přístupnosti, emulaci vstupu pod Waylandem, také proběhla na Redditu.

    Fluttershy, yay! | Komentářů: 7
    dnes 03:00 | Komunita

    DevConf.CZ 2025, tj. open source komunitní konference sponzorovaná společností Red Hat, proběhne od 12. do 14. června v Brně na FIT VUT. Publikován byl program a spuštěna byla registrace.

    Ladislav Hagara | Komentářů: 0
    včera 18:22 | Nová verze

    Byla vydána nová major verze 28.0 programovacího jazyka Erlang (Wikipedie) a související platformy OTP (Open Telecom Platform, Wikipedie). Přehled novinek v příspěvku na blogu.

    Ladislav Hagara | Komentářů: 0
    včera 13:11 | Zajímavý článek

    Český telekomunikační úřad zveřejnil Výroční zprávu za rok 2024 (pdf), kde shrnuje své aktivity v loňském roce a přináší i základní popis situace na trhu. Celkový objem přenesených mobilních dat za rok 2024 dosáhl dle odhadu hodnoty přibližně 1,73 tis. PB a jeho meziroční nárůst činí zhruba 30 %. Průměrná měsíční spotřeba dat na datovou SIM kartu odhadem dosáhla 12,5 GB – v předchozím roce šlo o 9,8 GB.

    Ladislav Hagara | Komentářů: 12
    včera 12:33 | IT novinky

    Z novinek představených na Google I/O 2025: Přehledy od AI (AI Overviews) se rozšiřují do dalších zemí. Užitečné, syntetizované přehledy od generativní AI jsou nově k dispozici i českým uživatelům Vyhledávače.

    Ladislav Hagara | Komentářů: 0
    včera 11:44 | IT novinky

    Šestice firem označovaných jako „MAMAAN“ – tedy Meta (Facebook, Instagram), Alphabet (Google), Microsoft, Apple, Amazon a Netflix – je zodpovědná za více než padesát procent světového internetového provozu. Dalšími velkými hráči jsou TikTok a Disney+. Společně tak zásadně určují podobu digitálního prostředí, spotřebitelského chování i budoucích trendů v oblasti technologií. I přesto, že se podíl těchto gigantů od roku 2023 o něco snížil, jejich dominantní postavení zvyšuje volání po regulaci.

    Ladislav Hagara | Komentářů: 6
    včera 11:33 | IT novinky

    Evropská komise (EK) navrhuje zavést plošný poplatek ve výši dvou eur (zhruba 50 Kč) za každý malý balík vstupující do Evropské unie. Poplatek se má týkat balíků v hodnotě do 150 eur (zhruba 3700 Kč), které v EU nepodléhají clu. V loňském roce bylo do EU doručeno kolem 4,6 miliardy takovýchto balíků. Poplatek má krýt náklady na kontroly rostoucího počtu zásilek levného zboží, které pochází především z Číny.

    Ladislav Hagara | Komentářů: 28
    20.5. 18:11 | IT novinky

    Dnes a zítra probíhá vývojářská konference Google I/O 2025. Sledovat lze na YouTube a na síti 𝕏 (#GoogleIO).

    Ladislav Hagara | Komentářů: 0
    Jaký je váš oblíbený skriptovací jazyk?
     (55%)
     (27%)
     (8%)
     (3%)
     (0%)
     (0%)
     (7%)
    Celkem 74 hlasů
     Komentářů: 6, poslední dnes 14:43
    Rozcestník

    Projekt ELISA (Enabling Linux In Safety Applications)

    Neziskové technologické konsorcium Linux Foundation oznámilo, že nejnovějším oficiálním projektem konsorcia se stává ELISA (Enabling Linux In Safety Applications). Cílem projektu je usnadnit společnostem vývoj a certifikaci kritických aplikací a systémů postavených na Linuxu, tj. aplikací a systémů, jejichž selhání může vést ke ztrátě lidských životů, k významným škodám na majetku nebo škodám na životním prostředí.

    23.2.2019 02:00 | Ladislav Hagara | Zajímavý projekt


    Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

    Komentáře

    Vložit další komentář

    23.2.2019 03:38 snajpa | skóre: 20 | blog: snajpuv_blocek | Brno
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    <3

    Critical hit. Tak strasne se mi to hodi do kramu, az ukapava slzicka stesti.
    --- vpsFree.cz --- Virtuální servery svobodně
    23.2.2019 20:23 BFU
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Na githubu maji README, co vic si prat ...
    23.2.2019 21:50 snajpa | skóre: 20 | blog: snajpuv_blocek | Brno
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    V pohode, to prijde; ja uz jsem jasal, kdyz se objevily prvni zminky o formalni verifikaci task modelu Linuxu, jakykoliv dalsi potvrzeni tim smerem se hodi, vysledky stejne potrebuju realne az tak za rok, ted jde jenom o volbu technologii a Linux evidentne nebude spatny napad postupne i pro critical control loopy...
    --- vpsFree.cz --- Virtuální servery svobodně
    24.2.2019 06:54 pirated_byte
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Me to pripada jako spatny napad. Mozna verifikuji nejaky formalni model, ale jeho spravnou implementaci uz asi tezko. Linux je prilis monstrozni.
    24.2.2019 13:22 trekker.dk | skóre: 72
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Tipnul bych si, že začnou tím, že vysekají tolik kódu, kolik jenom půjde...
    Quando omni flunkus moritati
    24.2.2019 14:41 sigma
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Já tedy moc nechápu, na jaký segment aplikací s tím míří. Orientuji se a mám nějaké zkušenosti se safety normami pro průmyslové aplikace (IEC 61508) a energetiku (IEC 61513). Pro jakékoliv bezpečnostně relevantní systémy v těchto segmentech mi přijde použití Linuxu s ohledem na formální požadavky celkem unreal.

    To neznamená, že se Linux pro "critical control loopy" nepoužívá. Např. takový Siemens Sinumerik je postaven na RT Linuxu na Intel CPU. Je to software pro řízení obráběcích strojů, kde chyba může způsobit zničení obrobku v hodnotě milionů USD (v případě velkých strojů, které dělá třeba Škoda MT). Ale na tohle není potřeba certifikace podle nějaké normy, to je otázka spolehlivosti. Otázky funkční bezpečnosti - zjednodušeně aby to někoho nezabilo - se musí řešit úplně jinak.

    Při uvažování o použití Linuxu mi formální verifikace task modelu přijde jako sice důležitá, ale v celkovém kontextu celkem okrajová věc. Protože těch míst, kde to celé může selhat je tam mnohem více, a vstupuje do toho hodně také HW platforma, to vám ale asi nemusím psát. Takže nějaký takovýhle projekt mi zatím přijde spíš jako podklad pro management, že je možné ten Linux brát vážně. Podobně jako ze supportu Linuxu dokáže žít Wind River, který za vás řeší QA proces, maintenance a hlavně také legal aspekty konkrétní distribuce na konkrétním HW podle nějaké certifikované metodiky. Toje v tomto prostředí ta největší hodnota.
    24.2.2019 15:33 snajpa | skóre: 20 | blog: snajpuv_blocek | Brno
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Jsme v absolutni shode, presne tak - ted tyhle zpravy potrebuju presne, spis pro sales pitch, proc neni potreba se Linuxu bat a ze i ostatni, velci, hraci jdou timhle smerem.
    --- vpsFree.cz --- Virtuální servery svobodně
    24.2.2019 15:39 snajpa | skóre: 20 | blog: snajpuv_blocek | Brno
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Jinak tipoval bych, ze ten nejvetsi drive je smerem automotive, vcelku se pocita s virtualizovanymi ridicimi jednotkami bezici na nejakem centralnim cipu s nejakou kombinaci Cortex-A + Cortex-R.

    Mne osobne prijde hodne zajimavy dostat Linuxovou kontejnerizaci do stavu, kdy by se dalo control loopy ridit z kontejneru (a centralnimi knoby jim nastavovat resource/realtime management). Akorat teda, jestli je nejaka verifikace task modelu Linuxu behem na delsi trat, dostat kontejnery do industrial ready stavu je temer mission impossible, napr. memory control group je totalni fail...
    --- vpsFree.cz --- Virtuální servery svobodně
    24.2.2019 23:44 Sid1
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Ono v podstate staci si pozriet ako je urobena verifikacia seL4 a ze je z toho vytiahnuty IO. Takze verifikacia linuxu je cisto iba tak odrazka do powerpointu co pekne vyzera a ako sa vravi slubom nic nepokazis
    23.2.2019 22:22 jiwopene | skóre: 31 | blog: Od každého trochu…
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    s/Clem/Cílem/
    .sig virus 3.2_cz: Prosím, okopírujte tento text do vaší patičky.
    24.2.2019 01:09 Ladislav Hagara | skóre: 105 | blog: Ride the Raven
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Dík. Opraveno.

    Založit nové vláknoNahoru


    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.