| -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 |