Niels Danielsen

Kommentarer

Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Software - Manglende svar fra Jens Madsen

Og derfor fastholder jeg min egen konklution fra første indlæg, at der ikke er muligt med software at finde og fjerne alle fejl i programmer, og et forsøg på det, kan være farligt, hvis det giver falsk trykhed. Fejl kan opstå i hele kæden fra problem analyse, til afvikling af instruktioner ...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Værktøjer til safety related software

Der er en fejl i den redundante kanal. En spion har lagt fejl ind, så den svarer ikke, når det endeligt går galt. "...svarer ikke, når det endeligt går galt...." Sådan virker det ikke i de systemer jeg har set... Her er alle replica aktive hele tiden.. Og hvis der er signaler der...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Værktøjer til safety related software

Der er en fejl i den redundante kanal. En spion har lagt fejl ind, så den svarer ikke, når det endeligt går galt. Den fungerer kun ved test, da der så ikke er en fjentlig handling involveret. De burde ikke kunne ske, tre senarier: 1 Udefra kommende bad actor 2 Intern bad actor 3 foresee...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Værktøjer til safety related software

Inden for sikkerheds relaterede kontrol systemer på maskiner, betragtes systemer hvori der indgår elektronik, FPGA'er, og software som noget der skal udføres efter IEC61508. Der er ikke tiladt at anvende 'Fault exclusion' på denne type komponenter https://www.google.com/...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: jens madsen

For mig lyder din metode ubekendt. Er der nogen som har brugt den på et større projekt? Eller er den noget du selv har fundet på? Det er en meget almindelig metode indenfor hardware. Normalt, lægges det i hardware, da man herved også sikrer, at hardware fejl ikke får betydning. Her er...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Software - Rumfærger - ulykke tæt på -fly by wire

Som eksempel, så har vi i mange år, for at løse den menneskelige faktor i fly, anvendt en CO-Pilot. Den nyere, og mere moderne løsning, er at bruge en Auto-Pilot som overtager, hvis automatikken detekterer fejl i den menneskelige faktor. Sådan er der mig bekendt ikke nogen fly der virker....

Re: Storbritannien

Jeg mener ikke, at udgangspunktet skal være, at andre skal kunne læse med i alle mine beskeder, heller ikke efter min død, og det kan derfor ikke være et krav til et postsystem. Når man i live udelegere, kan man vælge hvad andre skal se. Men når man dør bliver det lukket, og der (kan) bliv...

Re: Storbritannien

Den slags ting skal laves så man ikke behøver tænker over det. Altså man skal have en leverandør til denne service. I dag kan man vælge mellem E-boks og E-boks. Korrekt, men så kan man ikke længere anvende en standard E-Mail client. Det vil kræve en speciel web mail som proton Mail, el...

Re: Storbritannien

Modtageren kan sikres, men delegerede vil kræve at andre kender den private nøgle. Det er uproblematisk at sende til flere modtagere. Ja, og den PGP som jeg roede med i 1995 kunne kryptere til flere modtagere. (Flere asymtrisk kypterede kopier af symetrisk IDEA nøgle i samme fil) Men det...

Re: Storbritannien

SMTP opfylder ikke til fulde, men er en fin protokol at bygge ovenpå. Det ved jeg snart ikke, jeg har min egen mail server og jeg syntes snart at det er en lidt rodet afære.. Prøv f.eks. at kigge på hvor mange DNS opslag der skal bruges til at håndtere en mail. 2) Afsenderne skal også v...

Forslag til drift af offentlig IT

1) Opret 3 store data centre for alt offentlig IT, staten ejer bygninger og HW, samt så meget SW som muligt. Det ene sted må gerne være en bunker eller lign. 2) Offentlige ansatte vagter varetager fysisk, og fjern adgangs kontrol for service administratore, samt GDPR overvågning. Disse skal (for...

Re: Storbritannien

Det er faktisk langt lettere end det. Vi har allerede en eksisterende protokol til rådighed - den hedder SMTP. Ja... Men vi er vist ikke enige om formålet med E-Boks, men det er der sikkert lige så mange meninger om der er bogere her til lands.. 1) Kun een unik konto pr borger. (Alle po...
Kommentar til Alvorlig fejl fundet i schweizisk valgsystem

Re: Træls at tælle manuelt

De valgforordnede skal der efter: Lave et slut-print af hver af maskinerne i stemmeboksen Maskinaflæse stemmesedlerne Sammenligne de to resultater Foretage en manuel optælling ved den mindste difference Det siger sig selve enheden ikke skal, eller behøver, at være i nærheden af...
Kommentar til 1…3 Rig(e) Onkl(er) Søges

Jeres setup?

Jeg tror jeg kan gætte hvilket OS i anvender :-) Det var vores rod-disk. Heldigvis var den spejlet. I har vel forhåbentlig en backup ud over ZFS-RAID1Z? Det vil være træls hvis nogen hackede jailet med webserveren, bryder ud af jailet og udførte kommandoen zpool destroy Bruger i ECC RAM ?
Kommentar til Blåt flertal i Folketinget er klar til at droppe Sundhedsplatformen

Binding

Hvad menes der med dette ? Samtidig vil der gå adskillige år, før der bliver en reel mulighed for at etablere ét nationalt EPJ-system. Region Hovedstaden og Region Sjælland er bundet til Sundhedsplatformen indtil 2021 Jeg kan godt forstå at Regionerne er bundet af at betale for support kontrakten...
Kommentar til Boligfond beklager læk af følsomme persondata: En menneskelig fejl

Re: Hvorfor

Det kan der være masser af grunde til: Administration af parkeringstilladelser på boligselskabets område Administration af boligsikring - krav fra offentlig myndighed Der er 100 tusinde vis. af firmaer, foreninger etc. i Danmark der har lignede problemer, og der er ikke altid økonomi ...
Kommentar til Schrödingers Motherboard

Re: Savner et link ..

Det fuldstændige link. ;-) https://www.bloomberg.com/news/features/2018-10-04/the-big-hack-how-chin... Jeg syntes at dele af forklaringen virker lidt underlig. Der bliver nævnt at chipen er indbygget i passive filter komponenter, men de har normalt ikke nogen spændings forsyning. Hvorfor...
Kommentar til Datalæk i Texas afslører millioner af vælgeres stemmehistorik

Re: Hvordan kan denne fil eksistere?

Hvordan i al hulan er sådan en fil kommet til at eksistere? En direkte sammenkædning mellem navn/adresse og deres valgstemmer? ... Syng det med mig, folkens: "Never voting machines!" Det er højest sandsynligt ikke data fra selve valghandlingen, men data fra vælger...
Kommentar til Investor sagsøger amerikansk teleselskab efter SIM-svindel

Re: Er fejlen AT&T's

Sikkerheden i SIM er primært rettet imod at sikre Teleselskaberne imod de omkostninger der kan opstå ifm. misbrug af abonnement. Da misbrug vil blive opdaget ved et forbrug på 10 til 50kkr, og misbrug er forholdsvis sjældent, er sikkerheden omkring SIM formodentligt tilstrækkeligt for teleselskab...

Re: Fælles FOSS

Med de penge der allerede er hældt i skraldespanden, kunne regionerne i fællesskab have egenudviklet et fælles system som FOSS, der var fremtidssikret, og kunne skræddersys til danske forhold. Det system som Systematic har udviklet er vel netop skræddersyet til danske (Jyske) forhold. (Er ...