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 19:33 | Nová verze

    Vývojáři OpenMW (Wikipedie) oznámili vydání verze 0.49.0 této svobodné implementace enginu pro hru The Elder Scrolls III: Morrowind. Přehled novinek i s náhledy obrazovek v oznámení o vydání.

    Ladislav Hagara | Komentářů: 1
    dnes 15:22 | IT novinky

    Masivní výpadek elektrického proudu zasáhl velkou část České republiky. Hasiči vyjížděli k většímu počtu lidí uvězněných ve výtazích. Výpadek se týkal zejména severozápadu republiky, dotkl se také Prahy, Středočeského nebo Královéhradeckého kraje. Ochromen byl provoz pražské MHD, linky metra se už podařilo obnovit. Výpadek proudu postihl osm rozvoden přenosové soustavy, pět z nich je nyní opět v provozu. Příčina problémů je však stále neznámá. Po 16. hodině zasedne Ústřední krizový štáb.

    Ladislav Hagara | Komentářů: 16
    dnes 02:33 | Nová verze

    Po více než roce vývoje od vydání verze 5.40 byla vydána nová stabilní verze 5.42 programovacího jazyka Perl (Wikipedie). Do vývoje se zapojilo 64 vývojářů. Změněno bylo přibližně 280 tisíc řádků v 1 500 souborech. Přehled novinek a změn v podrobném seznamu.

    Ladislav Hagara | Komentářů: 4
    dnes 01:33 | Nová verze

    Byla vydána nová stabilní verze 7.5 webového prohlížeče Vivaldi (Wikipedie). Postavena je na Chromiu 138. Přehled novinek i s náhledy v příspěvku na blogu.

    Ladislav Hagara | Komentářů: 0
    včera 16:33 | Zajímavý software

    Sniffnet je multiplatformní aplikace pro sledování internetového provozu. Ke stažení pro Windows, macOS i Linux. Jedná se o open source software. Zdrojové kódy v programovacím jazyce Rust jsou k dispozici na GitHubu. Vývoj je finančně podporován NLnet Foundation.

    Ladislav Hagara | Komentářů: 0
    včera 12:33 | Nová verze

    Byl vydán Debian Installer Trixie RC 2, tj. druhá RC verze instalátoru Debianu 13 s kódovým názvem Trixie.

    Ladislav Hagara | Komentářů: 0
    včera 03:33 | Komunita

    Na čem pracují vývojáři webového prohlížeče Ladybird (GitHub)? Byl publikován přehled vývoje za červen (YouTube).

    Ladislav Hagara | Komentářů: 0
    včera 02:33 | Nová verze

    Libreboot (Wikipedie) – svobodný firmware nahrazující proprietární BIOSy, distribuce Corebootu s pravidly pro proprietární bloby – byl vydán ve verzi 25.06 "Luminous Lemon". Přidána byla podpora desek Acer Q45T-AM a Dell Precision T1700 SFF a MT. Současně byl ve verzi 25.06 "Onerous Olive" vydán také Canoeboot, tj. fork Librebootu s ještě přísnějšími pravidly.

    Ladislav Hagara | Komentářů: 0
    včera 01:33 | Komunita

    Licence GNU GPLv3 o víkendu oslavila 18 let. Oficiálně vyšla 29. června 2007. Při té příležitosti Richard E. Fontana a Bradley M. Kuhn restartovali, oživili a znovu spustili projekt Copyleft-Next s cílem prodiskutovat a navrhnout novou licenci.

    Ladislav Hagara | Komentářů: 0
    2.7. 16:55 | Nová verze

    Svobodný nemocniční informační systém GNU Health Hospital Information System (HIS) (Wikipedie) byl vydán ve verzi 5.0 (Mastodon).

    Ladislav Hagara | Komentářů: 0
    Jaký je váš oblíbený skriptovací jazyk?
     (59%)
     (27%)
     (7%)
     (2%)
     (0%)
     (1%)
     (3%)
    Celkem 353 hlasů
     Komentářů: 16, poslední 8.6. 21:05
    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.