| *** brlogger has joined #trustable | 01:18 | |
| *** brlogger` has quit IRC | 01:19 | |
| *** poppy has joined #trustable | 07:09 | |
| *** poppy is now known as spinglet | 07:09 | |
| *** toscalix has joined #trustable | 08:36 | |
| *** Shaun has joined #trustable | 09:01 | |
| paulsherwood | are we tracking issues/activities anywhere? | 09:43 |
|---|---|---|
| flatmush | minimal distro gitlab has an issue tracker | 09:43 |
| paulsherwood | for a while we were using trello, but I suggest we just go for gitlab in general | 09:43 |
| paulsherwood | cool | 09:44 |
| flatmush | are you wanting us to use the issues like a kanban though? | 09:44 |
| paulsherwood | ideally, it would be nice | 09:45 |
| * paulsherwood is crap at doing the kanban dance himself, though | 09:45 | |
| flatmush | yeah, I don't really like kanban that much, but of the approaches I think trello is best | 09:46 |
| flatmush | issue trackers should be for issues imo | 09:46 |
| flatmush | STANDUP! Order: flatmush, Shaun, iker | 09:46 |
| flatmush | ## Ben Brewer (flatmush) | 09:46 |
| flatmush | * Done | 09:46 |
| flatmush | - Got memtester building as part of minimal-distro test group | 09:46 |
| flatmush | * Doing | 09:46 |
| flatmush | - Figure out best way of testing inside QEMU (probably ssh) | 09:46 |
| flatmush | - Execute memtester as a test using the CI | 09:46 |
| flatmush | ## Shaun Mooney (Shaun) | 09:46 |
| Shaun | * Done | 09:46 |
| Shaun | - Read through relevant parts of "Engineering a Safer World" book | 09:46 |
| Shaun | * Doing | 09:46 |
| Shaun | - Working through STPA examples | 09:46 |
| Shaun | - Making notes regarding STPA and linux | 09:46 |
| Shaun | * Next | 09:46 |
| Shaun | - Create simple Functional Control Model (STPA) for autonomous cars | 09:46 |
| Shaun | - Summarise STPA material | 09:46 |
| Shaun | - Explain autonomous car functional control model as an example | 09:46 |
| Shaun | * Issues | 09:47 |
| Shaun | - None | 09:47 |
| Shaun | ## Iker Perez ( iker ) | 09:47 |
| iker | ## Iker Perez | 09:47 |
| iker | * Done | 09:47 |
| iker | - Watch BuildStream Fosdem talk | 09:47 |
| iker | - Have a short BuildStream lesson from jennis | 09:47 |
| iker | - Create a virtual machine with buildstream installed | 09:47 |
| iker | 09:47 | |
| iker | * Doing | 09:47 |
| iker | - Follow the BuildStream tutorial | 09:47 |
| iker | * Next | 09:47 |
| iker | - Analyse the way the minimal distro uses buildstream | 09:47 |
| iker | - Install QEMU in the virtual machine | 09:47 |
| iker | # Discussion | 09:47 |
| iker | _0_ | 09:47 |
| Shaun | _o_ | 09:47 |
| paulwaters_ | _o_ | 09:47 |
| flatmush | STANDUP ENDS! | 09:52 |
| paulsherwood | Shaun: where will your WIP STPA model reside please? | 09:53 |
| * paulsherwood is aware that several people are already interested in the work, even though it has barely begun :-) | 09:54 | |
| Shaun | paulsherwood: At the moment on paper as I'm still getting to grips with how the whole process works | 09:56 |
| Shaun | Once I have something better where is a good place to put it? | 09:56 |
| Shaun | Trustable wiki? | 09:56 |
| paulsherwood | not wiki, please let's have a new repo, something like av-stpa | 09:59 |
| paulsherwood | how will the model be expressed? just plain text, or markdown, or do we need to diagram for it? (e.g. mermaid, plantuml) | 10:00 |
| Shaun | Combination of block diagrams, tables and plain text | 10:01 |
| Shaun | I was about to ask if anybody has any recommendations for a good format for those ^ | 10:01 |
| paulsherwood | well, that can all be gitlab markdown + mermaid, should render nicely | 10:02 |
| paulsherwood | and by having it in a repo, we can consider CI/CD and gitect on the content in due course | 10:02 |
| Shaun | Thanks | 10:02 |
| Shaun | paulsherwood: Do you have some time for a quick chat? I just want to make sure we're on the same page before I continue | 10:03 |
| paulsherwood | yup absolutely | 10:03 |
| paulsherwood | before i forget https://gitlab.com/freedesktop-sdk/freedesktop-sdk has an example of a pretty mermaid diagram | 10:03 |
| paulsherwood | tables in markdown are a bit rubbish but hopefully they'll be enough for what we need | 10:13 |
| Shaun | paulsherwood: mermaid looks like exactly what I wanted :) | 10:17 |
| paulsherwood | https://lists.trustable.io/pipermail/trustable-software/2018-September/000431.html | 10:58 |
| flatmush | that approach does seem a lot less crazy | 11:15 |
| paulsherwood | i wholeheartedly agree | 11:17 |
| flatmush | I've not read far enough, but the only issue I can see is that it looks like this doesn't lead to any failure rate type numbers? | 11:18 |
| paulsherwood | they shouldn't be necessary | 11:18 |
| flatmush | well I don't think they'd be accurate anyway, so it's a moot point, but I suspect at some point in the chain, someone will think they want them (like estimates) | 11:19 |
| paulsherwood | it's fallacious thinking to assume event 1 (x%) and event 2 (y%) leads to hazard xy% | 11:19 |
| paulsherwood | i've already read enough to debunk | 11:19 |
| flatmush | cool | 11:20 |
| paulsherwood | https://github.com/SE-Stuttgart/XSTAMPP | 11:54 |
| paulwaters_ | http://psas.scripts.mit.edu/home/wp-content/uploads/2018/04/STPA-Integrated-into-GM-Safety-Process-20feb18-Approved-Rev1.pdf | 12:37 |
| paulwaters_ | paulsherwood, Shaun ^^ | 12:37 |
| paulsherwood | Shaun: which gitlab id do we use for you in the trustable group? | 12:38 |
| Shaun | paulsherwood: shaunmooneyct | 12:38 |
| paulsherwood | ok thanks | 12:38 |
| paulsherwood | paulwaters_: interesting! | 12:39 |
| paulwaters_ | and another.... | 12:41 |
| paulwaters_ | http://psas.scripts.mit.edu/home/wp-content/uploads/2018/04/Wed-cook-PUB-MIT_STAMP_2018_AV_Pres_Rev_MIT2.0.pdf | 12:41 |
| paulwaters_ | paulsherwood, Shaun ^^ | 12:41 |
| paulsherwood | even better :-) | 12:44 |
| Shaun | paulwaters_: Excellent | 12:44 |
| paulwaters_ | think I've peaked with that one | 12:46 |
| paulsherwood | :) | 12:48 |
| paulwaters_ | those two were presented discussed at the 2018 PSASS workshop, other papers can be found of the links from their homepage here: http://psas.scripts.mit.edu/home/ | 12:52 |
| Shaun | This one talks a big game about having done the analysis and the control model on page 9 looks good, but they don't include the results they say they have https://ac.els-cdn.com/S1877705817312109/1-s2.0-S1877705817312109-main.pdf?_tid=4f72f611-3f0f-4a4e-8bf8-253c8ec7e0a2&acdnat=1536238151_4ac96abfad9afa3195bd1fc4782d373c | 12:53 |
| Shaun | They used XSTAMPP which I had seen before. the Thomas thesis alludes to programmes which will automate the process for complex systems | 12:55 |
| paulsherwood | Shaun: maybe email the authors, ask for the results? | 12:58 |
| Shaun | paulsherwood: will have a look around first to see if I can find them, then will email | 12:59 |
| *** traveltissues has quit IRC | 13:50 | |
| *** traveltissues has joined #trustable | 13:50 | |
| *** traveltissues has quit IRC | 14:13 | |
| *** Shaun has quit IRC | 14:58 | |
| *** spinglet has quit IRC | 15:37 | |
| *** iker has quit IRC | 16:00 | |
| *** toscalix has quit IRC | 18:23 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!