Available Wiki Pages
laot-pub
Anonymous
EDS
Name Last Change Versions
-FAQ: 20 x 1000 x 1000 Lines Of Code can be made error free. 1.50 years 4
-FAQ: Common off the shelf is good enough, just as long as they are updated. 1.68 years 7
-FAQ: Formal methods have no place in this, they are too hard or expensive! 1.69 years 3
-FAQ: Microkernels are too slow for real time systems 1.69 years 1
-FAQ: most of the errors can be fixed by retrying (e.g Minix 3 or Erlang) 1.69 years 3
-FAQ: support of legacy systems is easy. 1.69 years 3
-FAQ: the Essential 8 is the answer, just give me the budget please? 1.69 years 5
-FAQ: The hardware needs to validated, lest misery follow 1.68 years 3
-FAQ: Two Factor Authentication (2FA) will protect us! 1.69 years 2
-FAQ: version control, who needs it 212.1 days 2
-FAQ: VPNs, Airgaps and Network Filtering are enough! 1.69 years 1
Anti-FAQ 1.70 years 1
Anti-FAQ: why not 1.68 years 20
Benno 1.69 years 1
Contact 1.68 years 5
DBC 1.69 years 1
FAQ 1.68 years 9
flurries 1.70 years 2
flurry 1.70 years 4
formal verification 1.69 years 7
Gernot 1.69 years 2
How 1.23 years 4
IEC61131 1.69 years 1
laot-pub 26.0 days 75
MERT 1.48 years 2
Phil 1.48 years 5
Quotes 1.68 years 17
safety 1.69 years 1
security-critical 1.68 years 3
seL4 1.70 years 1
So what does it do a spook? 1.69 years 4
So what does it do for a spook? 1.68 years 4
So what does it do for an operator? 1.69 years 2
So what does it for an operations manager? 1.68 years 1
stutter 1.70 years 1
Stuxnet 1.68 years 1
Surely there are systems that do this task already or we can build one? 1.69 years 2
TMG inside SafeTCL 1.68 years 2
trustworthy 1.68 years 2
Videos 1.62 years 18
What 1.68 years 2
Whiteboard 1.68 years 2
Who 186.1 days 13
Why 1.68 years 7