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í
×
    včera 20:00 | Komunita

    V březnu loňského roku přestal být Redis svobodný. Společnost Redis Labs jej přelicencovala z licence BSD na nesvobodné licence Redis Source Available License (RSALv2) a Server Side Public License (SSPLv1). Hned o pár dní později vznikly svobodné forky Redisu s názvy Valkey a Redict. Dnes bylo oznámeno, že Redis je opět svobodný. S nejnovější verzí 8 je k dispozici také pod licencí AGPLv3.

    Ladislav Hagara | Komentářů: 0
    včera 19:22 | IT novinky

    Oficiální ceny Raspberry Pi Compute Modulů 4 klesly o 5 dolarů (4 GB varianty), respektive o 10 dolarů (8 GB varianty).

    Ladislav Hagara | Komentářů: 0
    30.4. 22:33 | Nová verze

    Byla vydána beta verze openSUSE Leap 16. Ve výchozím nastavení s novým instalátorem Agama.

    Ladislav Hagara | Komentářů: 0
    30.4. 17:44 | Zajímavý článek

    Devadesátková hra Brány Skeldalu prošla portací a je dostupná na platformě Steam. Vyšel i parádní blog autora o portaci na moderní systémy a platformy včetně Linuxu.

    karkar | Komentářů: 0
    30.4. 12:11 | Humor

    Lidi dělají divné věci. Například spouští Linux v Excelu. Využít je emulátor RISC-V mini-rv32ima sestavený jako knihovna DLL, která je volaná z makra VBA (Visual Basic for Applications).

    Ladislav Hagara | Komentářů: 7
    30.4. 10:44 | IT novinky

    Revolut nabídne neomezený mobilní tarif za 12,50 eur (312 Kč). Aktuálně startuje ve Velké Británii a Německu.

    Ladislav Hagara | Komentářů: 29
    30.4. 09:55 | IT novinky

    Společnost Amazon miliardáře Jeffa Bezose vypustila na oběžnou dráhu první várku družic svého projektu Kuiper, který má z vesmíru poskytovat vysokorychlostní internetové připojení po celém světě a snažit se konkurovat nyní dominantnímu Starlinku nejbohatšího muže planety Elona Muska.

    Ladislav Hagara | Komentářů: 7
    30.4. 09:33 | IT novinky

    Poslední aktualizací začal model GPT-4o uživatelům příliš podlézat. OpenAI jej tak vrátila k předchozí verzi.

    Ladislav Hagara | Komentářů: 0
    30.4. 08:11 | Nová verze

    Google Chrome 136 byl prohlášen za stabilní. Nejnovější stabilní verze 136.0.7103.59 přináší řadu novinek z hlediska uživatelů i vývojářů. Podrobný přehled v poznámkách k vydání. Opraveno bylo 8 bezpečnostních chyb. Vylepšeny byly také nástroje pro vývojáře.

    Ladislav Hagara | Komentářů: 0
    29.4. 20:55 | Nová verze

    Homebrew (Wikipedie), správce balíčků pro macOS a od verze 2.0.0 také pro Linux, byl vydán ve verzi 4.5.0. Na stránce Homebrew Formulae lze procházet seznamem balíčků. K dispozici jsou také různé statistiky.

    Ladislav Hagara | Komentářů: 0
    Jaký filesystém primárně používáte?
     (58%)
     (1%)
     (9%)
     (21%)
     (4%)
     (1%)
     (2%)
     (0%)
     (1%)
     (3%)
    Celkem 497 hlasů
     Komentářů: 19, poslední 30.4. 11:32
    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.