System Safety Mailing List Archive by subject
- "Engineering a Safer World" class information for 2013
- "Protected" Environments
- "Safe" and "Unsafe" Languages
- "Security Risk" and Probability
- "Unpredictable Code"
- 1. Software Update Workshop Proceedings, 2. Siemens Position Paper on Cybersecurity
- 200th Anniversary of the bicycle [off topic?]
- 6th Scandinavian Conference on System and Software Safety
- [SystemSafety] "Apps" and music will be subject to fitness for purpose requirement in UK
- [SystemSafety] "Engineering a Safer World" class information for 2013
- [SystemSafety] "How to Engineer Software" draft manuscript available for review
- [SystemSafety] "Normalization of Deviance"
- [SystemSafety] "Reliability" culture versus "safety" culture
- [SystemSafety] "Risk" as discussed in Taleb's books
- [SystemSafety] "Safe" and "Unsafe" Languages
- [SystemSafety] "Security Risk" and Probability
- [SystemSafety] "Security Risk" and Probability (Martyn Thomas)
- [SystemSafety] "Serious risks" in EC 765/2008
- [SystemSafety] "Software Risk Abatement" ASFC/AFLC pamphlet 800-45
- [SystemSafety] "Suggestions about processes / tools that may help organisations to become 'more formal'"
- [SystemSafety] "Unpredictable Code"
- [SystemSafety] "XYZ Case" Standards
- [SystemSafety] #MITstamp19
- [SystemSafety] 'Safer C' Static checking toolset
- [SystemSafety] ...Runway Incursion .... Tenerife 40th Anniversary
- [SystemSafety] 200th Anniversary of the bicycle [off topic?]
- [SystemSafety] 2012 Super Puma Ditchings
- [SystemSafety] 2nd Call for Papers. ASSURE 2015
- [SystemSafety] 2nd Call for Papers. ASSURE 2016
- [SystemSafety] 2nd Call for Papers: 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE), 2013
- [SystemSafety] 2nd International Workshop on Computational Antifragility and Antifragile Engineering (DEADLINE: JANUARY 16TH!)
- [SystemSafety] 2nd Joint Call for Workshop Contributions RE'15
- [SystemSafety] 3rd Call for Papers - ASSURE 2015 - Deadline Extended
- [SystemSafety] 3rd CfP: 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE)
- [SystemSafety] 6th Scandinavian Conference on System and Software Safety
- [SystemSafety] 737 tail strike caused by typo on a tablet
- [SystemSafety] 787 Groundings
- [SystemSafety] [ASSURE 2013] Call for Participation
- [SystemSafety] [Call For Papers] 5th IEEE Intl. Workshop on Software Certification (WoSoCer 2015)
- [SystemSafety] [CFP] ASSURE 2019 - First call for papers
- [SystemSafety] [CFP] IEEE Intl. Workshop on Software Certification
- [SystemSafety] [cip-dev] [C-safe-secure-studygroup] Critical systems Linux
- [SystemSafety] [cip-dev] Critical systems Linux
- [SystemSafety] [EC 61508 and cybersecurity
- [SystemSafety] [event] 2019 MIT STAMP/STPA Workshop Call for Presentations
- [SystemSafety] [FREE STAMP Webinar: Registration Now Open]
- [SystemSafety] [ISSRE 2014] Call for Participation - 25th IEEE Intl. Symp. on Software Reliability Engineering (November 3-6, 2014, Naples, Italy)
- [SystemSafety] [MIT STAMP Workshop 2016: REGISTRATION OPEN] + [Interest in a STAMP Webinar?]
- [SystemSafety] [System Safety] Live Event: Advancing Active Safety for Next-Gen Automotive
- [SystemSafety] [SystemsSafety] Two New Posts In Cyber-Security of Safety Related Systems
- [SystemSafety] [trustable-software] Personal and corporate liabilities as a consequence of safety, security and other mistakes of similar importance
- [SystemSafety] [WEBINAR INVITE] Runway Incursion / CAST Accident Analysis
- [SystemSafety] [WEBINAR INVITE] Runway Incursion / CAST Accident Analysis: Tenerife 40th
- [SystemSafety] [WoSoCer 2014] 2nd CfP ** Deadline extended to 24 August **
- [SystemSafety] A Common Programming Language for the Department of Defense
- [SystemSafety] A comparison of STPA and ARP 4761
- [SystemSafety] A couple of anecdotes on requirements engineering
- [SystemSafety] A couple of references on security
- [SystemSafety] A Critical-System Assurance Manifesto
- [SystemSafety] a Dallas accident
- [SystemSafety] a Dallas accident [No Classification]
- [SystemSafety] A different Historical Question
- [SystemSafety] a discursion stimulated by recent discussions of alleged safety-critical software faults in automobile software
- [SystemSafety] A Fire Code for Software?
- [SystemSafety] A further (anally obsessive?) rule to add to MISRA C
- [SystemSafety] A General Theory of Love
- [SystemSafety] A letter
- [SystemSafety] A list of URLs on communications privacy and surveillance
- [SystemSafety] A modest attempt to reboot the discussion
- [SystemSafety] A new blog on big-system verification
- [SystemSafety] A paradigm of current practice in software engineering ... :-))
- [SystemSafety] a public beta phase ???
- Les Chambers (Thu Aug 11 2016 - 21:56:17 CEST)
- Smith, Brian E. (ARC-TH) (Thu Aug 11 2016 - 18:37:39 CEST)
- Peter Bernard Ladkin (Thu Aug 11 2016 - 18:30:01 CEST)
- Smith, Brian E. (ARC-TH) (Thu Aug 11 2016 - 18:10:37 CEST)
- GRAZEBROOK, Alvery N (Wed Aug 10 2016 - 19:06:36 CEST)
- Driscoll, Kevin R (Wed Aug 10 2016 - 16:36:37 CEST)
- Matthew Squair (Wed Aug 10 2016 - 09:44:27 CEST)
- Driscoll, Kevin R (Wed Aug 10 2016 - 04:50:43 CEST)
- GRAZEBROOK, Alvery N (Mon Aug 08 2016 - 12:19:47 CEST)
- Driscoll, Kevin R (Sat Aug 06 2016 - 00:36:38 CEST)
- Smith, Brian E. (ARC-TH) (Fri Aug 05 2016 - 23:24:58 CEST)
- Driscoll, Kevin R (Fri Aug 05 2016 - 22:50:43 CEST)
- Derek M Jones (Fri Jul 22 2016 - 14:47:21 CEST)
- Mike Ellims (Fri Jul 22 2016 - 13:54:28 CEST)
- Martyn Thomas (Fri Jul 22 2016 - 12:01:26 CEST)
- Peter Bernard Ladkin (Fri Jul 22 2016 - 06:23:46 CEST)
- Les Chambers (Fri Jul 22 2016 - 01:13:36 CEST)
- Dewi Daniels (Thu Jul 21 2016 - 12:15:41 CEST)
- Peter Bernard Ladkin (Thu Jul 21 2016 - 11:13:27 CEST)
- Thomas Netter (Thu Jul 21 2016 - 10:25:58 CEST)
- Peter Bernard Ladkin (Thu Jul 21 2016 - 07:50:33 CEST)
- Les Chambers (Thu Jul 21 2016 - 01:44:24 CEST)
- Les Chambers (Thu Jul 21 2016 - 01:00:42 CEST)
- Peter Bernard Ladkin (Wed Jul 20 2016 - 15:48:24 CEST)
- Matthew Squair (Wed Jul 20 2016 - 14:55:15 CEST)
- José Miguel Faria (Wed Jul 20 2016 - 13:15:09 CEST)
- Peter Bernard Ladkin (Wed Jul 20 2016 - 13:10:58 CEST)
- Matthew Squair (Wed Jul 20 2016 - 12:30:50 CEST)
- Mike Ellims (Tue Jul 19 2016 - 18:34:23 CEST)
- jean-louis Boulanger (Tue Jul 19 2016 - 18:29:21 CEST)
- David Ward (Tue Jul 19 2016 - 18:12:45 CEST)
- Mike Ellims (Tue Jul 19 2016 - 17:09:01 CEST)
- Mike Ellims (Tue Jul 19 2016 - 14:27:12 CEST)
- Les Chambers (Tue Jul 19 2016 - 14:24:19 CEST)
- Andreoli, Kevin (UK) (Tue Jul 19 2016 - 10:06:41 CEST)
- Peter Bernard Ladkin (Tue Jul 19 2016 - 08:17:57 CEST)
- Les Chambers (Tue Jul 19 2016 - 04:50:48 CEST)
- Mike Ellims (Mon Jul 18 2016 - 16:32:08 CEST)
- Les Chambers (Mon Jul 18 2016 - 13:30:39 CEST)
- Les Chambers (Mon Jul 18 2016 - 13:15:11 CEST)
- Peter Bernard Ladkin (Mon Jul 18 2016 - 11:20:52 CEST)
- Mike Ellims (Mon Jul 18 2016 - 10:58:44 CEST)
- Martyn Thomas (Mon Jul 18 2016 - 10:30:02 CEST)
- Philip Koopman (Mon Jul 18 2016 - 04:56:53 CEST)
- Peter Bernard Ladkin (Sun Jul 17 2016 - 21:45:32 CEST)
- Martyn Thomas (Sun Jul 17 2016 - 19:45:36 CEST)
- Steve Tockey (Sun Jul 17 2016 - 19:10:16 CEST)
- Peter Bernard Ladkin (Sun Jul 17 2016 - 18:38:14 CEST)
- Martyn Thomas (Sun Jul 17 2016 - 16:08:57 CEST)
- Martyn Thomas (Sun Jul 17 2016 - 15:45:51 CEST)
- paul_e.bennett_at_xxxxxx
- jean-louis Boulanger (Sun Jul 17 2016 - 14:52:40 CEST)
- Peter Bernard Ladkin (Sun Jul 17 2016 - 14:51:30 CEST)
- Martyn Thomas (Sun Jul 17 2016 - 13:44:37 CEST)
- Peter Bernard Ladkin (Sun Jul 17 2016 - 11:28:38 CEST)
- Matthew Squair (Thu Jul 14 2016 - 13:55:13 CEST)
- Mike Ellims (Thu Jul 14 2016 - 12:11:40 CEST)
- Les Chambers (Thu Jul 14 2016 - 02:18:08 CEST)
- [SystemSafety] a public beta phase ??? [No Classification]
- [SystemSafety] A question about ISO26262
- [SystemSafety] A Safety Issue, but not Tech - Drowning
- [SystemSafety] A seasonal poser ...
- [SystemSafety] A Series of SW-related Sociotechnical System Failures
- [SystemSafety] A small taste of what we're up against
- [SystemSafety] A software assurance question
- [SystemSafety] A solar flare, and Carrington
- [SystemSafety] A thought about recent matters that concern us all
- [SystemSafety] A Whimsical Paradox
- [SystemSafety] Aberfan 50 years on
- [SystemSafety] Aberfan 50 years on [No Classification]
- [SystemSafety] Access to the SCSC document archive
- [SystemSafety] ACM HILT 2013 in Pittsburgh PA Nov 10-14, High Integrity Language Technology
- [SystemSafety] Administration
- [SystemSafety] Aerial Collision Avoidance
- [SystemSafety] AESSCS 2014 deadline extension
- [SystemSafety] Agile methods
- [SystemSafety] Agile methods, experience
- [SystemSafety] AI and safety
- [SystemSafety] airbags
- [SystemSafety] Airbus A400M crash info?
- [SystemSafety] Airbus automated systems
- [SystemSafety] airplane automation
- [SystemSafety] Al Jazeera raises questions about the Boeing 787 - 48 minutes
- [SystemSafety] Aliased Variables
- [SystemSafety] Aliased Variables (was: Koopman replies to concerns over Toyota UA case)
- [SystemSafety] Alton Towers was HF
- [SystemSafety] Alton Towers was HF [No Classification]
- [SystemSafety] Am I on the Bielefeld list?
- [SystemSafety] An engineer walks into a court
- [SystemSafety] An IEC61508 low demand SIL4 example please
- [SystemSafety] An interesting series on engineering disasters
- [SystemSafety] An STPA Primer
- [SystemSafety] An unusual risk
- [SystemSafety] Analyses of root causes.
- [SystemSafety] Analyzing far behind the Intended Use
- [SystemSafety] Another academic safety workshop
- [SystemSafety] Another academic safety workshop / why not industrialists ?
- [SystemSafety] Another question
- [SystemSafety] Another Rail Overspeed Accident
- [SystemSafety] Another runaway car
- [SystemSafety] Another Standards Discussion
- [SystemSafety] Another unbelievable failure (file system overflow)
- [SystemSafety] Anyone for a trip to Dubai?
- [SystemSafety] AOP52
- [SystemSafety] Apple being sued for illegal use of Facetime
- [SystemSafety] Approaching Cape Horn
- [SystemSafety] Approaching Cape Town
- [SystemSafety] Approaching Cape Town [off topic] and Tricky Airports [on topic]
- [SystemSafety] Archive now accessible
- [SystemSafety] ARRL: A Criterion for Composable Safety and Systems Engineering
- [SystemSafety] Article on 'Certifiable Trust' ; report on Autonomy Research
- [SystemSafety] Article on the Swanwick December 2014 outage
- [SystemSafety] ASSURE 2013 Call for Papers
- [SystemSafety] ASSURE 2014. 1st Call for Papers
- [SystemSafety] ASSURE 2014. 2nd Call for Papers
- [SystemSafety] ASSURE 2014. 3rd Call for Papers
- [SystemSafety] ASSURE 2016, Deadline Extension and 3rd Call for Papers
- [SystemSafety] ASSURE 2017 - First Call for Papers
- [SystemSafety] ASSURE 2017 - Second Call for Papers
- [SystemSafety] ASSURE 2018 - First Call for Papers
- [SystemSafety] Audi Engineer Exposes Cheat Order
- [SystemSafety] Australian System Safety Conference 2013 - Call for Papers Extension
- [SystemSafety] Australian System Safety Conference 2018, May 23 to 25, Melbourne
- [SystemSafety] automation
- [SystemSafety] Automobile Emissions "Cheat" Devices
- [SystemSafety] Automobile regulations
- [SystemSafety] Automobile Safety-Critical Kit
- [SystemSafety] Automobile Safety-Critical Kit (Bookout v. Toyota Motor transcript)
- [SystemSafety] automobile software
- [SystemSafety] Autonomous Vehicles and "Hacking" Threats
- [SystemSafety] Autonomously Driven Car Kills Pedestrian
- [SystemSafety] Autopilot interface?
- [SystemSafety] B737M MCAS
- [SystemSafety] Baird archive - off-subject Appeal
- [SystemSafety] Best single reference concerning PRA?
- [SystemSafety] Bicycle Helmets
- [SystemSafety] Big claims and duff data
- [SystemSafety] Blackberry anti-virus for cars
- [SystemSafety] Blame the computer
- [SystemSafety] BMW and FIAT firmware updates
- [SystemSafety] Boeing 737 Max Problems with Faulty AoA sensing
- [SystemSafety] Boeing 787 position flaw
- [SystemSafety] Boeing Defends 787
- [SystemSafety] book in Industrial Deployment of System Engineering Methods
- [SystemSafety] Book on the Fukushima Dai-ichi accident
- [SystemSafety] Book Reviews
- [SystemSafety] Bosch Political Viewpoint in IoT Cybersec
- [SystemSafety] Bossavit's Leprechauns book
- [SystemSafety] Bounces
- [SystemSafety] Bounces from btinternet.com
- [SystemSafety] Bounded rationality or ignorance?
- [SystemSafety] Breaking Down Problems with A.I. Safety
- [SystemSafety] Broken standardisation
- [SystemSafety] Broken standardisation [was: Collected stopgap measures]
- [SystemSafety] Bug Redux... WAS Safety Culture redux
- [SystemSafety] Bug reported in UK medical software used to assess heart risk
- [SystemSafety] Bursting the anti formal methods bubble
- [SystemSafety] Bursting the formal methods bubble
- [SystemSafety] C/C++ and Python Top List of Hot Skills for Autonomous Vehicle Engineers
- [SystemSafety] Cal for Papers for Workshop on "Functional Safety and IT Security" @ SAFECOMP, Delft, Sept 22nd, 2015
- [SystemSafety] Call for Experts
- [SystemSafety] Call for Papers - IET System Safety & Cyber Security Conference 2015
- [SystemSafety] Call For Papers - IET System Safety Conference (incorporating Cyber Security Conference) 2013
- [SystemSafety] Call for Papers - SAFADAPT _at_xxxxxx
- [SystemSafety] Call for Papers - SCAV _at_xxxxxx
- [SystemSafety] Call for Papers - SCAV _at_xxxxxx
- [SystemSafety] Call for Papers - SSCS 2016
- [SystemSafety] Call for Papers --- First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018)
- [SystemSafety] Call for Papers for European STAMP workshop
- [SystemSafety] Call for Papers. ASSURE 2015
- [SystemSafety] Call for Papers. ASSURE 2016
- [SystemSafety] Call for papers: 6th Workshop on Software Certification (WoSoCer 2016)
- [SystemSafety] Call for Papers: Australian System Safety Conference 2015
- [SystemSafety] Call for papers: International Journal of Adaptive, Resilient, and Autonomic Systems
- [SystemSafety] Call for Papers: SafeComp 2018
- [SystemSafety] Call for Papers: SafeComp 2018 - deadline extension
- [SystemSafety] Call for papers: SASSUR 2018
- [SystemSafety] Call for papers: SASSUR 2019
- [SystemSafety] Call for Papers: Special Issue on “Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability” in the IEEE Transactions on Human-Machine Systems
- [SystemSafety] Call for Participation: HILT 2013 (High Integrity Language Technology)
- [SystemSafety] Call for participation: SERENE 2014 Workshop and Autumn School on Software Engineering for Resilient Systems
- [SystemSafety] Call for Position Papers: 1st Workshop on Whether Argumentation Works (WAW 2017)
- [SystemSafety] CALL FOR PRESENTATIONS - 6th Scandinavian Conference System and Software Safety
- [SystemSafety] Call for Presentations, SCSSS-2017
- [SystemSafety] Call for Submissions
- [SystemSafety] Call for Workshop Proposals - ISSRE 2014
- [SystemSafety] Call4Papers Australian System Safety Conference 2014
- [SystemSafety] Candidates for the firing squad
- [SystemSafety] Capabilities of software safety and security verification tools
- [SystemSafety] Captain lost control of plane after his artificial arm became detached
- [SystemSafety] Car Hacking
- [SystemSafety] Categorising "errors" [was: Stupid Software Errors]
- [SystemSafety] CFP DSN 2015, Rio de Janeiro, Brazil
- [SystemSafety] CFP for AAA (Argument for Agreement and Assurance)
- [SystemSafety] CfP for Australian System Safety Conference, May 2019, Brisbane QLD
- [SystemSafety] CfP Glasgow Workshop on Human Factors
- [SystemSafety] CfP Reliability, safety and security of railway systems (RSSRail 2019)
- [SystemSafety] CFP SAFECOMP 2016
- [SystemSafety] CfP Software Engineering for Resilient Systems - SERENE 2017 workshop
- [SystemSafety] CfP Workshop on SE for Resilient Systems (SERENE 2013)
- [SystemSafety] CFP: 1st International Workshop on Argument and Agreement and Assurance (AAA 2013)
- [SystemSafety] CfP: 4th Scandinavian Conference on SYSTEM & SOFTWARE SAFETY
- [SystemSafety] CfP: AAAI-19 Workshop on AI Safety (SafeAI 2019)
- [SystemSafety] CfP: ESAS 2018 - MOD Environmental and Safety Assurance Symposium
- [SystemSafety] CFP: European Dependable Computing Conference (EDCC 2014)
- [SystemSafety] CfP: Formal and MDD Techniques for Trustworthy Systems (Workshop at ICFEM 2016)
- [SystemSafety] CfP: Reliability, safety and security of railway systems (RSSRail 2017)
- [SystemSafety] CfP: Reliability, safety and security of railway systems - Int. Conference
- [SystemSafety] CfP: SafeComp 2019 (Int. Conference on Computer Safety, Reliability and Security)
- [SystemSafety] CfP: SafeComp 2019 - extended submission deadlines
- [SystemSafety] CFP: SASSUR 2015
- [SystemSafety] CFP: SASSUR 2016
- [SystemSafety] CfP: SERENE 2018 - 10th Int. Workshop on Software Engineering for Resilient Systems
- [SystemSafety] CFP: Workshop on Human Factors
- [SystemSafety] CfPart Reliability, safety and security of railway systems (RSSRail 2019)
- [SystemSafety] CfPart SCAV 2018: 2nd International Workshop on Safe Control of Autonomous Vehicles
- [SystemSafety] CfPart SERENE 2013: SE for Resilient Systems
- [SystemSafety] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems
- [SystemSafety] CfPart: Reliability, safety and security of railway systems - RSSRail 2017 (Pistoia, Italy)
- [SystemSafety] CfPart: Spring School on Computer-Assisted Assurance
- [SystemSafety] CfParticipation: European Dependable Computing Conference in Newcastle
- [SystemSafety] Change cost and (formal) tools
- [SystemSafety] Change of passenger warnings on Hamburg subway from today.
- [SystemSafety] Chicago controller halts Delta jet's near-miss on takeoff: '1328, stop, stop stop!'
- [SystemSafety] Chicago controller halts Delta jet's near-miss....
- [SystemSafety] Children as a causal factor in major accidents
- [SystemSafety] Claims for formal methods
- [SystemSafety] Cognitive bias, safety and disruptive technology
- [SystemSafety] Collected stopgap measures
- [SystemSafety] Collected stopgap measures (Hoare)
- [SystemSafety] Columbia Risk Assessment
- [SystemSafety] Comment on Risks note on "Smart Power Outlets" (RISKS 29.72)
- [SystemSafety] Comparison of Confidential vs Non-Confidential Reporting Systems
- [SystemSafety] Competence Criteria for Safety Practitioners
- [SystemSafety] Compiled Comments on FDLs
- [SystemSafety] Component Reliability and System Safety
- [SystemSafety] Component Reliability and System Safety [was: New Paper on MISRA C]
- [SystemSafety] Conference Call for Participation: ACM HILT 2014 (High Integrity Language Technology)
- [SystemSafety] Confusion over Risk, Yet Again
- [SystemSafety] Contents of Fukushima Book
- [SystemSafety] controversial Accident Report
- [SystemSafety] CORRECTION - SCSC seminar on accident investigation and analysis
- [SystemSafety] Costa Concordia
- [SystemSafety] Costa Concordia, and Fukushima
- [SystemSafety] COTS display certification
- [SystemSafety] CREST Open Workshop - Information Theory and Software Testing
- [SystemSafety] Critical Design Checklist
- [SystemSafety] Critical systems Linux
- [SystemSafety] Cyber NTSB?
- [SystemSafety] Cyber-Security and Safety for Aircraft and Aircraft Systems: DO-326A guidance
- [SystemSafety] Cybersecurity at Nuclear Power Plants
- [SystemSafety] Dangerous Language
- [SystemSafety] Data across the UK National Grid
- [SystemSafety] Data across the UK National Grid [No Classification]
- [SystemSafety] Data communication security system standards
- [SystemSafety] Data on Proof effectiveness from real projects
- [SystemSafety] Deadline approachig - SASSUR 2015
- [SystemSafety] Deadline approaching: SASSUR 2016
- [SystemSafety] Deadline approaching: Special Issue on Verification and Validation of Cyber-Physical Systems
- [SystemSafety] Deadline extended: SASSUR 2016
- [SystemSafety] Deadline extended: SASSUR 2019
- [SystemSafety] Deadline extended: Special Issue on Verification and Validation of Cyber-Physical Systems
- [SystemSafety] Deadline Extension of AAA 2013
- [SystemSafety] DeCPS 2017: Focus on Transportation of the Future (CFP)
- [SystemSafety] Degraded software performance [diverged from Fault, Failure and Reliability Again]
- [SystemSafety] Development of code for ASICs under IEC 61508
- [SystemSafety] Development vs maintenance
- [SystemSafety] Digest, Vol 25, Issue 12: IMPORTANT RESPONSE REQ <5day
- [SystemSafety] Discussion Style [was: Does "reliable" mean "safe" and or "secure" or neither?]
- [SystemSafety] Does "reliable" mean "safe" and or "secure" or neither?
- [SystemSafety] Does "reliable" mean "safe" and or "secure" or neither? [No Classification]
- [SystemSafety] Does your clock run slow?
- [SystemSafety] Don't Get Me Started - This Is Not A Drill - Hawaii Missle Launch Redux...
- [SystemSafety] Driverless cars
- [SystemSafety] Drone Airprox Video
- [SystemSafety] Drones [ was: Short and profound]
- [SystemSafety] EASA Notice of Proposed Amendment 2014-13
- [SystemSafety] EDCC 2014: Call for Participation
- [SystemSafety] Electrical Safety, Fire Safety
- [SystemSafety] ElfnSafety - the potential consequences of being very relaxed about it
- [SystemSafety] Empirical software engineering book
- [SystemSafety] Empirical Study on the Correctness of, Formally Verified Distributed Systems
- [SystemSafety] EN 50126/28/29 and MIL STD 882C - Differences
- [SystemSafety] EN 50128 in an IEC 61508 envelope
- [SystemSafety] Engineering-scientific literature
- [SystemSafety] Equifax Data Breach report
- [SystemSafety] ERTMS Balise security vulnerabilities
- [SystemSafety] Estimating the number of distinct faults in a program
- [SystemSafety] Ethereum: the 'owners' money or reputation?
- [SystemSafety] European Dependable Computing Conference in Newcastle
- [SystemSafety] European Multi Stakeholder Platform on ICT Standardisation
- [SystemSafety] Explainability of "Algorithms"
- [SystemSafety] Facebook?s drone crash likely caused by strong winds and autopilot, NTSB report says
- [SystemSafety] Fault, Failure and Reliability Again (short)
- [SystemSafety] Faulty update breaks Lexus cars' maps and radio systems (notsp)
- [SystemSafety] Feynman and the Challenger disaster
- [SystemSafety] Fifth Annual IEEE-SCV Soft Error Rate (SER) Workshop -- Call for Papers
- [SystemSafety] Final Report on the Montreal, Maine & Atlantic Railway accident at Lac-Mégantic
- [SystemSafety] Finally: the release of the new MISRA-C documents.
- [SystemSafety] FIPS 140-2
- [SystemSafety] Fire tests on Panelling
- [SystemSafety] First 3D-printed pill approved by US authorities
- [SystemSafety] Five items: A400
- [SystemSafety] Five items: A400; Airbag recall; hacking airplanes; network eval handbook; open smart grid crypto
- [SystemSafety] Flight London to Germany goes to Scotland...
- [SystemSafety] Flight MH17 downed by Russian-built missile, Dutch investigators say | World news | The Guardian
- [SystemSafety] Floods and Electrics
- [SystemSafety] Flying in Cloud
- [SystemSafety] FMEA draft international standard
- [SystemSafety] FMICS-AVoCS 2016: 2nd call for papers (extended dealine: May 2, 2016)
- [SystemSafety] follow-up with results from earlier research survey request ....
- [SystemSafety] Formal methods scalability, some real-world figures (was: Logic)
- [SystemSafety] FOSS static analysis tools
- [SystemSafety] Foundations for Evidence-Based Policymaking Act of 2017
- [SystemSafety] Free the Standards!
- [SystemSafety] FREE Webinar: Bowtie Analysis + STAMP. Registration Now Open.
- [SystemSafety] FTA training vendors?
- [SystemSafety] Fukuppy
- [SystemSafety] Fukushima
- [SystemSafety] Functional hazard analysis, does it work?
- [SystemSafety] Functional safety and safety functions
- [SystemSafety] Funded Competition - "Software Verification & Validation for Complex Systems"
- [SystemSafety] Fwd: "Protected" Environments
- [SystemSafety] Fwd: [Concurrency] CALL FOR PAPERS - FM-RAIL-BOK WORKSHOP 2013
- [SystemSafety] Fwd: [ESSOS] [ESSoS'16] Call for Papers -- International Symposium on Engineering Secure Software and Systems
- [SystemSafety] Fwd: [laas-dependability-announce] SAFECOMP 2013 Call for Papers
- [SystemSafety] Fwd: Call for Participation for MIT STAMP/STPA Workshop 2014
- [SystemSafety] Fwd: Contextualizing & Confirmation Bias
- [SystemSafety] Fwd: Critical Design Checklist
- [SystemSafety] Fwd: Engineering a Safer World (ESW2014) - Call for Participation
- [SystemSafety] Fwd: ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers
- [SystemSafety] Fwd: extended deadline for the special issue on the foundations of safety science
- [SystemSafety] Fwd: Fifth MIT STAMP/STPA Workshop Call for Presentations
- [SystemSafety] Fwd: First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
- [SystemSafety] Fwd: Formal Methods upcoming conferences
- [SystemSafety] Fwd: Hackers take over *control* of a car wirelessly
- [SystemSafety] Fwd: Job Offer: University Assistant in Embedded Automotive Systems (Smart/Connected/Autonomous Cars)
- [SystemSafety] Fwd: Measurement + Control
- [SystemSafety] Fwd: MIT STAMP Workshop plus other stuff
- [SystemSafety] Fwd: More about MIT STAMP Workshop 2015 plus a new dissertation
- [SystemSafety] Fwd: new papers related to STAMP and other news
- [SystemSafety] Fwd: New STAMP-related papers
- [SystemSafety] FWD: NY Times on App Developers for cars
- [SystemSafety] Fwd: NYTimes: The Next Accident Awaits
- [SystemSafety] Fwd: Papers on STAMP and the 2016 MIT STAMP/STPA Workshop
- [SystemSafety] FWD: Registration open, call for presentations 2018 MIT STAMP/STPA Workshop
- [SystemSafety] Fwd: Rethinking Safety and Security/11 PCB Layout Myths
- [SystemSafety] Fwd: Safety of vulnerable road users: UK
- [SystemSafety] Fwd: Second STAMP Workshop
- [SystemSafety] Fwd: Share the knowledge. Spread the code. 50% Off All MIT Press Books for Friends and Family!
- [SystemSafety] Fwd: STAMP Workshop 2014 Registration
- [SystemSafety] Fwd: The evidence base
- [SystemSafety] Fwd: U.S. DOT advances deployment of Connected Vehicle Technology to prevent hundreds of thousands of crashes
- [SystemSafety] Fwd: WAISE 2018 - CfP - Artificial Intelligence Safety Engineering
- [SystemSafety] fyi: IEEE article about ethics in driverless cars
- [SystemSafety] fyi: report - A bug in fMRI software could invalidate 15 years of brain research
- [SystemSafety] GAO report on FAA cybersecurity vulnerabilities
- [SystemSafety] GAO report on FAA cybersecurity vulnerabilities ... and an instance
- [SystemSafety] Gentle reminder: AMASS Open Industrial Workshop
- [SystemSafety] Gentle reminder: Survey on safety evidence change impact analysis
- [SystemSafety] German Report on IT Security 2014
- [SystemSafety] Germanwings 4U 9252 / GWI18G
- [SystemSafety] getting round BTInternet DMARC problems
- [SystemSafety] Giving AI ethics
- [SystemSafety] Glasgow School of Art fire caused by gases from foam canister, says report
- [SystemSafety] GM?s hit and run: How a lawyer, mechanic, and engineer blew open the worst auto scandal in history
- [SystemSafety] Google lobbies to test self-driving cars in Matrix-style virtual world
- [SystemSafety] Great Interview on Safety and Security
- [SystemSafety] Grenfell Tower
- [SystemSafety] Group W bench
- [SystemSafety] Guidelines for self-driving computers
- [SystemSafety] Hackers take over *control* of a car wirelessly
- [SystemSafety] Hacking a Boeing 777 electronically
- [SystemSafety] Hacking Avionics
- [SystemSafety] Happy New Year..
- [SystemSafety] Harvard forum on self-driving vehicle safety
- [SystemSafety] Hazard analysis and The Vinci Massacre
- [SystemSafety] Hazard and Qualitative-Risk Analysis of Mode 3 Charging of Electric Road Vehicles
- [SystemSafety] Hazard file: Wrong-pocketing a cyanide pill
- [SystemSafety] help in Barcelona Spain
- [SystemSafety] HFACS Pros and Cons - On Behalf of Brian Smith
- [SystemSafety] HFT and systematic capability in IEC 61508 and IEC 61511
- [SystemSafety] High Integrity Software 2014
- [SystemSafety] HILT 2016 Workshop on Model-Based Development and Contract-Based Programming: Call for papers and extended abstracts:
- [SystemSafety] Historical Questions
- [SystemSafety] History teaches us...
- [SystemSafety] HMI and TMI ("Three Mille Island", not "Too Much Information")
- [SystemSafety] How Many Miles of Driving Would It Take to Demonstrate Autonomous Vehicle Reliability?
- [SystemSafety] How to loose $460M with some dead code
- [SystemSafety] HROs and NAT (was USAF Nuclear Accidents prior to 1967)
- [SystemSafety] HSE Annual Conference Lecture
- [SystemSafety] Huddle
- [SystemSafety] IEC TR 63069
- [SystemSafety] IEEE ISSRE 2014 - Research Paper deadline coming up next week (June 6th)
- [SystemSafety] IEEE ISSRE 2014: Call for Contributions
- [SystemSafety] IEEE Spectrum article on the Boeing 737 MAX
- [SystemSafety] IET Event - Human Factors Issues for Safe Systems
- [SystemSafety] IET Event - Railway Safety Assurance
- [SystemSafety] Implementation of the EU NIS Directive
- [SystemSafety] Information on CompCert and DO-178C certification
- [SystemSafety] INS Sindhurakshak, USS Cochino and batteries
- [SystemSafety] Inside Out
- [SystemSafety] Insurance and cyber security
- [SystemSafety] Integrity definition
- [SystemSafety] Interesting distinction
- [SystemSafety] Interesting IoT attack
- [SystemSafety] Internal Concerns at Uber Before March Fatal Crash
- [SystemSafety] International Software Testing Standard
- [SystemSafety] Invitation to attend White House / CMU Safe AI workshop
- [SystemSafety] Invitation to connect on LinkedIn
- [SystemSafety] IoT Security
- [SystemSafety] Is risk engineering an art?
- [SystemSafety] Is the attached worth discussing?
- [SystemSafety] IS/IEC 61508 availability
- [SystemSafety] ISO 26262 / IEC 61508 in the semiconductor industry
- [SystemSafety] ISSRE 2014 - Call for Industry Track Presentations
- [SystemSafety] ISSRE 2016 - call for submissions
- [SystemSafety] ITU's proposal for real-time flight data transmission
- [SystemSafety] JASPAR handbook of microcontorller for functional safety application
- [SystemSafety] Java Coding standards for Safety Critical SW - update
- [SystemSafety] Job posting, System Safety Engineer - Robotics
- [SystemSafety] Job Recruitment - Senior Safety Engineer at NATO Communications and Information Agency, The Hague, NLD
- [SystemSafety] John Downer's "Disowning Fukushima"
- [SystemSafety] John Knight
- [SystemSafety] John Nash has died
- [SystemSafety] just for you
- [SystemSafety] Kemp on Floods and Electrics
- [SystemSafety] Kolmogorov complexity measures
- [SystemSafety] Koopman replies to concerns over Toyota UA case
- [SystemSafety] Lac-Megantic disaster
- [SystemSafety] Language issues, control systems
- [SystemSafety] Language tribes
- [SystemSafety] Las Vegas self-driving bus crashes two hours after launch
- [SystemSafety] Last day for SSS'16 abstract submissions!
- [SystemSafety] Leslie Lamport
- [SystemSafety] Lessons of Fukushima not learned?
- [SystemSafety] Licensing software engineers - care to take a test?
- [SystemSafety] light blue touchpaper
- [SystemSafety] Limitation of liability (was Qualifying SW as "proven in use" [Measuring Software])
- [SystemSafety] link to an article on driverless cars + safety
- [SystemSafety] List Issues
- [SystemSafety] List of standards related to Cyber-security / Safety-Security mix?
- [SystemSafety] Logic
- [SystemSafety] Logical difficulties in mathematics
- [SystemSafety] Looking for a safety consultant in the USA
- [SystemSafety] Looking for information about safety-critical software faults in road vehicles
- [SystemSafety] Loss of the Hitomi Satellite
- [SystemSafety] Machine models under formal methods
- [SystemSafety] Machine-checkable Assurance Case RFI
- [SystemSafety] mail list [SEC=UNCLASSIFIED]
- [SystemSafety] Maintaining Safety Cases Over Time
- [SystemSafety] Making Standards available .....
- [SystemSafety] Making Standards available ..... [No Classification]
- [SystemSafety] Making Standards available to Standards Committees
- [SystemSafety] MC/DC coverage assumptions
- [SystemSafety] McCabe¹s cyclomatic complexity and accounting fraud
- [SystemSafety] McCabe’s cyclomatic complexity and accounting fraud
- [SystemSafety] Medical devices (UK / EU)
- [SystemSafety] Messaging Vulnerabilities
- [SystemSafety] Meta
- [SystemSafety] Metrojet was bombed
- [SystemSafety] MH 17
- [SystemSafety] MH 370
- [SystemSafety] MH 370 Debris Drift Pattern
- [SystemSafety] MH17
- [SystemSafety] MH17 report identifies Russian soldiers suspected of downing plane in Ukraine | World news | The Guardian
- [SystemSafety] MH17: Dutch Safety Board to publish preliminary report on disaster | World news | The Guardian
- [SystemSafety] MH370
- [SystemSafety] Mid-19th c railways and "gravity models"
- [SystemSafety] MISRA C:2012 Launched
- [SystemSafety] MISRA C:2012 released
- [SystemSafety] MISRA Safety Case guidelines public review
- [SystemSafety] MISRA video channel on youtube.
- [SystemSafety] MISRA-C launch new documents to cover security as well as safety
- [SystemSafety] MISRA-C Videos
- [SystemSafety] MIT STAMP Workshop 2013 Registration
- [SystemSafety] MIT STAMP/STPA Workshop 2014 information
- [SystemSafety] MIT STAMP/STPA Workshop update
- [SystemSafety] Modelling and coding guidelines: "Unambiguous Graphical Representation"
- [SystemSafety] Modelling and coding guidelines: software components
- [SystemSafety] Moral delemas and self driving cars
- [SystemSafety] more computer-automobile safety risks
- [SystemSafety] More on bicycle helmets
- [SystemSafety] More on Bookout-Schwarz/Toyota
- [SystemSafety] More on Cladding
- [SystemSafety] Mothership
- [SystemSafety] Move fast and break things
- [SystemSafety] multi-core validation for aerospace
- [SystemSafety] My last gripe for a while - HMI skills for critical systems
- [SystemSafety] Name and Shame - Key but off-topic
- [SystemSafety] Nature article on driverless cars
- [SystemSafety] Navy Ship rolls on side in dry dock
- [SystemSafety] New 2016 Funding Opportunity: Scenario Planning to Advance Safety Culture (LOI deadline Feb. 17)
- [SystemSafety] New book
- [SystemSafety] New Book (FoC PDF) Software Projects: Evolutionary vs Big Bang
- [SystemSafety] New draft of 00-55 now available
- [SystemSafety] New IEC draft guide
- [SystemSafety] New paper on MISRA C
- [SystemSafety] New safety standards recommended after Lac-Mégantic accident
- [SystemSafety] New Yorker article...
- [SystemSafety] NFPA 2400 : Standard for Small Unmanned Aircraft Systems (sUAS) used for Public Safety Operations
- [SystemSafety] NHS Safety and Cybersecurity. Again.
- [SystemSafety] NHTSA claim concerning safety correlation of Tesla SW
- [SystemSafety] NHTSA on the Tesla crash
- [SystemSafety] NHTSA request for comment on automotive safety and security standards
- [SystemSafety] Nissan's new Indian car unsafe
- [SystemSafety] Not so fresh food for South Canberra residents
- [SystemSafety] Notions of Risk
- [SystemSafety] NTSB report on Boeing 787 APU battery fire at Boston Logan
- [SystemSafety] NTSB report on the Tesla Crash
- [SystemSafety] nuclear energy - disparate policies?
- [SystemSafety] NYTimes: exploding air bags
- [SystemSafety] NYTimes: The Next Accident Awaits
- [SystemSafety] NYTimes: The Next Accident Awaits (Simon P.P. Whiteley)
- [SystemSafety] Odd Picture Caption - Progress on N.European Transport Networks
- [SystemSafety] Off Topic
- [SystemSafety] Off-topic: Biomass versus Coal
- [SystemSafety] Oil train fireball
- [SystemSafety] Olewn Morgan
- [SystemSafety] On another note...
- [SystemSafety] On off periods
- [SystemSafety] On open-sourcing coding standards
- [SystemSafety] Open Autonomous Safety concept = hope or idealism?
- [SystemSafety] Open safety standards for driverless cars
- [SystemSafety] Open Source Autonomous Vehicle Safety
- [SystemSafety] OpenSSL Bug
- [SystemSafety] Operational logging for medical devices
- [SystemSafety] Osprey [was: SKODA Crash in the UK - Cruise Control Stuck On]
- [SystemSafety] Overflow triggering AC power cut-off in Boeing 787
- [SystemSafety] Overflow triggering AC power cut-off in Boeing787
- [SystemSafety] Paper on Software Reliability and the Urn Model
- [SystemSafety] Paper on system and organisational resilience
- [SystemSafety] Parked Tesla catching fire
- [SystemSafety] Partly Off Topic: What Happens in October
- [SystemSafety] Partly Off Topic: What Happens in October [No Classification]
- [SystemSafety] Passengers travelling through London Paddington are facing continued disruption after a train derailment.
- [SystemSafety] Personal and corporate liabilities as a consequence of safety, security and other mistakes of similar importance
- [SystemSafety] PhD position announcement: Timed contracts for Correct-by-Construction system design
- [SystemSafety] Please remove me from he saystem safety mailing list.
- [SystemSafety] Podcasting interviews
- [SystemSafety] Postdoctoral positions available in Assured Autonomy
- [SystemSafety] power failure at Belgocontrol
- [SystemSafety] power plant user interfaces
- [SystemSafety] Practical problems using coq for formal verification
- [SystemSafety] Practical Statistical Evaluation of Critical Software
- [SystemSafety] Preliminary Hazard Analysis - Approaches
- [SystemSafety] Privacy and Confidentiality
- [SystemSafety] professionalism
- [SystemSafety] proofs
- [SystemSafety] Proposed changes to the UK Health and Safety at Work Act
- [SystemSafety] Proposed changes to the UK Health and Safety at WorkAct
- [SystemSafety] Proposed rewrite of IEC 61508 "proven in use" assessment conditions for SW
- [SystemSafety] Protocols suitable for safe systems
- [SystemSafety] Proven use software and software quatitative reliability
- [SystemSafety] Proving clock-drift related code (Patriot example)
- [SystemSafety] Purpose [and maintenance] of this list?
- [SystemSafety] Purpose of this list?
- [SystemSafety] Qualification of libraries
- [SystemSafety] Qualifying SW as "proven in use"
- [SystemSafety] Qualifying SW as "proven in use" [Measuring Software]
- [SystemSafety] Qualifying SW as "proven in use" [Measuring Software] & [THE DARK NIGHT OF THE SOUL]
- [SystemSafety] Qualifying SW as "proven in use" [Measuring Software] - Cyclomatic Complexity
- [SystemSafety] R: Does your clock run slow?
- [SystemSafety] Radiation Single Event Upsets: SEU Immunity: Is Your Design Really Safe? Commercial webinar by Microsemi
- [SystemSafety] RAIB report into derailment at Paddington, June 2016
- [SystemSafety] Rail Depot Protection System
- [SystemSafety] RE : Drone Airprox Video
- [SystemSafety] RE : Qualifying SW as "proven in use"
- [SystemSafety] RE : Qualifying SW as "proven in use" - unclassified
- [SystemSafety] Re(Frankfurt Airport driverless skytrains): underground trains without drivers
- [SystemSafety] Re(Hamburg experiences: Change of passenger warnings on Hamburg subway from today.
- [SystemSafety] Reading privileged memory with a side-channel
- [SystemSafety] Recharging Electric Road Vehicles
- [SystemSafety] Recommend books on writing safety critical software
- [SystemSafety] Regulators open investigation into Tesla crash
- [SystemSafety] Reliability draft chapter now available
- [SystemSafety] Reminder - SCSC Seminar: Safety of Critical National Infrastructure Systems
- [SystemSafety] Reminder of upcoming SCSC events
- [SystemSafety] Reminder: Call for Position Papers: 1st Workshop on Whether Argumentation Works (WAW 2017)
- [SystemSafety] Reminder: CfPart in Empirical Study of System Safety Practice
- [SystemSafety] Reminder: SCSC Safety-critical Systems Symposium 3rd-5th February 2015
- [SystemSafety] Reminder: SCSC Seminar "Successful Safety Management", London, 26th June 2014
- [SystemSafety] Reminder: SCSC Tutorial "Security-informed safety - security awareness for safety engineers"
- [SystemSafety] Reminder: Submit an abstract for SSS'15 by 30th May
- [SystemSafety] Removal from mailing list [SEC=UNOFFICIAL]
- [SystemSafety] remove from distribution list
- [SystemSafety] removed [SEC=UNCLASSIFIED]
- [SystemSafety] Removed from the list
- [SystemSafety] Report on Google autonomous vehicles
- [SystemSafety] Report on Risks of UAVs in US NAS
- [SystemSafety] Report: Autonomus Driving Disconnects
- [SystemSafety] Research position with ProofInUse project
- [SystemSafety] Research topics
- [SystemSafety] Research-Associate Opportunity at Glasgow U
- [SystemSafety] Revealed: Elon Musk Explains the Hyperloop, the Solar-Powered High-Speed Future of Inter-City Transportation
- [SystemSafety] Review of Rausand's book "Reliability of Safety-Critical Systems; Theory and Applications"
- [SystemSafety] Review of the legislative and regulatory framework for testing driverless cars
- [SystemSafety] Reynobond panelling
- [SystemSafety] Reynobond panelling Part 2
- [SystemSafety] Risk Based Planning and Assessment
- [SystemSafety] Risk Based Planning and Assessment - tank farms
- [SystemSafety] Risk of Death
- [SystemSafety] ROHS and Safety critical applications
- [SystemSafety] Root Cause Analysis
- [SystemSafety] Ross Anderson on Consequences of Surveillance
- [SystemSafety] Royal College of Paediatrics weighs in
- [SystemSafety] Royal Society lecture "When to trust a self-driving car"
- [SystemSafety] RSSRail-2019 - deadline extension
- [SystemSafety] RV: Preliminary Hazard Analysis - Approaches
- [SystemSafety] SafeComp 2019: call for workshop contributions
- [SystemSafety] Safety and Cybersecurity. Again.
- [SystemSafety] Safety and Cybersecurity: A Dispute
- [SystemSafety] Safety Case Standards and Experience
- [SystemSafety] Safety Cases
- [SystemSafety] Safety Cases: Contextualizing & Confirmation Bias -- Fault Injection
- [SystemSafety] Safety Culture
- [SystemSafety] Safety Culture [was: Australian System Safety Conference 2018...]
- [SystemSafety] Safety Culture redux
- [SystemSafety] Safety Culture redux (David Green)
- [SystemSafety] Safety of amusement Park rides
- [SystemSafety] Safety of vulnerable road users: UK
- [SystemSafety] Safety-critical Systems Symposium
- [SystemSafety] Safety-critical Systems Symposium 2014 - invitation to submit an abstract
- [SystemSafety] SaFoMe 2015 - 1st Call for Papers (June 22, 2015 -- co-located with FM2015)
- [SystemSafety] Salon.com: Fukushima cleanup could cause biggest disaster to date
- [SystemSafety] SASSUR 2014 - Call for Papers
- [SystemSafety] SASSUR 2014 - Deadline extension
- [SystemSafety] SASSUR 2015 - Deadline extended
- [SystemSafety] Saudi Arabia Cyber Attacks - Aimed to Trigger Explosions By Compromising Controllers
- [SystemSafety] Save on the window cleaning
- [SystemSafety] Saying the Wrong Thing
- [SystemSafety] SCADA; was: Static Analysis
- [SystemSafety] Scalability of Formal Methods [was: Logic]
- [SystemSafety] Scandinavian Conference on System and Software Safety 2017
- [SystemSafety] Scandinavian Conference on System and Software Safety, 2015
- [SystemSafety] Schiaparelli Incident Investigation - "Very Preliminary" Results
- [SystemSafety] SCSC Ada UK Conference 2013: Building better, safer software
- [SystemSafety] SCSC December seminar
- [SystemSafety] SCSC Event: Interim Def Stan 00-55 Issue 3: The return of the MOD software standard?
- [SystemSafety] SCSC Event: Safety of Autonomous Systems
- [SystemSafety] SCSC Safety-critical Systems Symposium 2015 - invitation to submit an abstract
- [SystemSafety] SCSC Seminar "Successful Safety Management", London, 26th June 2014
- [SystemSafety] SCSC seminar "What makes a design safe?"
- [SystemSafety] SCSC seminar on accident investigation and analysis
- [SystemSafety] SCSC Seminar on Agile Development for Safety Systems
- [SystemSafety] SCSC seminar on Def Stan 00-56
- [SystemSafety] SCSC seminar: How to stop Data causing Harm
- [SystemSafety] SCSC Seminar: Safety of Critical National Infrastructure Systems, 21st April 2015, London
- [SystemSafety] SCSC training event on DO178C
- [SystemSafety] SCSC Tutorial: Security-informed safety - security awareness for safety engineers
- [SystemSafety] SCSC Tutorial: The Ethics of Acceptable Safety
- [SystemSafety] SCSC Upcoming Events
- [SystemSafety] SCSSS 2019 Call for Proposals
- [SystemSafety] Security assurance [was: Analyses of root causes.]
- [SystemSafety] Security by Design
- [SystemSafety] Self-Driving Car Had a Fatal Accident ... (Norman, R 30 61 & many R 30.62)
- [SystemSafety] Separating critical software modules from non-critical software modules
- [SystemSafety] Shared-space intersections
- [SystemSafety] Shark!
- [SystemSafety] Ship of Gold in the Deep Blue Sea
- [SystemSafety] Short and profound
- [SystemSafety] Short news article on Fukushima Dai-ichi and Risk
- [SystemSafety] SIL 4 and IEC 61131-3 languages
- [SystemSafety] SIL ratings to be scrapped?
- [SystemSafety] SILs and Security Levels
- [SystemSafety] Single point of failure from the world of cryptocurrencies
- [SystemSafety] Situation on the job market for RAM and Safety professional
- [SystemSafety] Sixth Annual IEEE-SCV Soft Error Rate (SER) Workshop
- [SystemSafety] SKODA Crash in the UK - Cruise Control Stuck On
- [SystemSafety] Small but useful Detail on Road Stopping Distances
- [SystemSafety] Smart heating [was: Comment on Risks note on "Smart Power Outlets" ....]
- [SystemSafety] Software exam gets low grade in first test
- [SystemSafety] Software Glitch Caused 911 Outage For 11 Million People
- [SystemSafety] Software process improvement noir
- [SystemSafety] Software reliability
- [SystemSafety] Software reliability (or whatever you would prefer to call it)
- [SystemSafety] Software reliability (or whatever you would prefer to call it) [UNCLASSIFIED]
- [SystemSafety] Software reliability data and analysis
- [SystemSafety] Software Requirements and Specifications
- [SystemSafety] Software Safety Assessment
- [SystemSafety] Software Safety Requirements according to IEC 61508
- [SystemSafety] Solar Storms and Charging Procedures for Electric Cars
- [SystemSafety] Sometimes, it's not really just luck.....
- [SystemSafety] Sorry about message just sent -- substitute this one
- [SystemSafety] Spanish train crash
- [SystemSafety] Special Issue on Verification and Validation of Cyber-Physical Systems
- [SystemSafety] Spike or No Spike in US Road Accidents after 9/11?
- [SystemSafety] SSCS 2016 Call for Papers: Extended Deadline
- [SystemSafety] SSS'16 call for abstracts
- [SystemSafety] SSS'16 less than 1 month away!
- [SystemSafety] STAMP (Systems Theoretic Accident Model & Processes) - Live Training in London
- [SystemSafety] STAMP news and conferences
- [SystemSafety] STAMP/STPA Training in Manchester UK April
- [SystemSafety] Standards and Reform [was: degraded software performance...]
- [SystemSafety] standards associated with charging of potentially explosive cells
- [SystemSafety] State: Worker who sent missile alert fired, had 'history' of thinking drills were real
- [SystemSafety] Static Analysis
- [SystemSafety] Statistical Assessment of SW ......
- [SystemSafety] Statistical Assessment of SW With Deliberate Unreliability for a SIL requirement
- [SystemSafety] Story in engineering
- [SystemSafety] Study on attitudes to epistemic uncertainty in safety – Call for participants
- [SystemSafety] Stupid Software Errors [was: Overflow......]
- [SystemSafety] subscribe
- [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)
- [SystemSafety] Suggestion for a tribute for John Knight
- [SystemSafety] Survey on safety evidence change impact analysis
- [SystemSafety] Swiss train crash
- [SystemSafety] System Safety coursework [was: Making Standards available ......]
- [SystemSafety] System Safety Practice -- An Online Survey
- [SystemSafety] System safety: software vs. hardware including aircraft hardware
- [SystemSafety] System safety: software vs. hardware includingaircraft hardware
- [SystemSafety] Systematic and random error in systems
- [SystemSafety] Systems Security Engineering: NIST wants your comments
- [SystemSafety] systemsafety Digest, Vol 20, Issue 16
- [SystemSafety] systemsafety Digest, Vol 21, Issue 13
- [SystemSafety] systemsafety Digest, Vol 29, Issue 7
- [SystemSafety] systemsafety Digest, Vol 34, Issue 16
- [SystemSafety] systemsafety Digest, Vol 34, Issue 4
- [SystemSafety] systemsafety Digest, Vol 34, Issue 5
- [SystemSafety] systemsafety Digest, Vol 35, Issue 2
- [SystemSafety] systemsafety Digest, Vol 42, Issue 11
- [SystemSafety] systemsafety Digest, Vol 44, Issue 26
- [SystemSafety] systemsafety Digest, Vol 44, Issue 30
- [SystemSafety] systemsafety Digest, Vol 44, Issue 32
- [SystemSafety] systemsafety Digest, Vol 45, Issue 48
- [SystemSafety] systemsafety Digest, Vol 50, Issue 2
- [SystemSafety] systemsafety Digest, Vol 51, Issue 1
- [SystemSafety] systemsafety Digest, Vol 51, Issue 2
- [SystemSafety] systemsafety Digest, Vol 51, Issue 3
- [SystemSafety] systemsafety Digest, Vol 51, Issue 4
- [SystemSafety] systemsafety Digest, Vol 51, Issue 5
- [SystemSafety] systemsafety Digest, Vol 51, Issue 6
- [SystemSafety] systemsafety Digest, Vol 51, Issue 7
- [SystemSafety] systemsafety Digest, Vol 51, Issue 8
- [SystemSafety] systemsafety Digest, Vol 52, Issue 27
- [SystemSafety] systemsafety Digest, Vol 54, Issue 14
- [SystemSafety] systemsafety Digest, Vol 55, Issue 11
- [SystemSafety] systemsafety Digest, Vol 55, Issue 12
- [SystemSafety] systemsafety Digest, Vol 63, Issue 13
- [SystemSafety] systemsafety Digest, Vol 63, Issue 25
- [SystemSafety] systemsafety Digest, Vol 66, Issue 5
- [SystemSafety] systemsafety Digest, Vol 66, Issue 6
- [SystemSafety] systemsafety Digest, Vol 74, Issue 8
- [SystemSafety] systemsafety Digest, Vol 75, Issue 21 - Confidential vs Non-confidential reporting
- [SystemSafety] systemsafety Digest, Vol 75, Issue 24
- [SystemSafety] Systemsafety-bounce-bounce-bounce-bounces
- [SystemSafety] systemsafety-bounces
- [SystemSafety] TCAS for cars
- [SystemSafety] Teaching and Storytelling in Safety
- [SystemSafety] Technical Terms in Standards [was: Modelling and coding guidelines....]
- [SystemSafety] Tesla Crash Docket Opened
- [SystemSafety] Tesla Driver Banned from Road After Switching to Autopilot and Moving to Passenger Seat
- [SystemSafety] Texas gets its first self-driving car service
- [SystemSafety] The "Real world" [was: Qualifying SW as "proven in use"]
- [SystemSafety] The Accident to SpaceShip2
- [SystemSafety] the bomb again
- [SystemSafety] The Crisis of Connected Cars. Also connection in general
- [SystemSafety] The Crisis of Connected Cars: When Vulnerabilities Affect the CAN Standard (notsp)
- [SystemSafety] The dilemma of software process and dependability measurement
- [SystemSafety] The evidence base
- [SystemSafety] The fall of Rome and the ascendancy of ego and bluster
- [SystemSafety] The first crash in 24.7 million kilometres.
- [SystemSafety] The Fosse of Babel
- [SystemSafety] The Intertwining of Safety and Security
- [SystemSafety] The Lancaster Floods in December 2015
- [SystemSafety] The legacy of Chernobyl
- [SystemSafety] The Leveson Indictment
- [SystemSafety] The Mailing List
- [SystemSafety] The mindset for safety-critical systems design
- [SystemSafety] The Moral Math of Robots
- [SystemSafety] The Patriot / Stupid / run-time / 2038 / Boeing / whatever
- [SystemSafety] The Patriot Missile Failure
- [SystemSafety] The Rush
- [SystemSafety] The Rush - we and the dead
- [SystemSafety] The STOBCLO doctrine liberates expert witnesses
- [SystemSafety] The Third Bullet
- [SystemSafety] The VW Saga
- [SystemSafety] The VW Saga - 30 managers...
- [SystemSafety] The Worsening Cosmic Ray Situation
- [SystemSafety] Therac-25 redux
- [SystemSafety] Third White Paper
- [SystemSafety] This doesn't give me confidence . . .
- [SystemSafety] Three Mile Island - Computer temperature readout during the incident
- [SystemSafety] Tim Harford on Automation and Safety
- [SystemSafety] Toyota Unintended acceleration summary and links
- [SystemSafety] Train wreck
- [SystemSafety] Tram Accident in Croydon
- [SystemSafety] Transcending the bounds of sub-literacy
- [SystemSafety] Trevor Kletz
- [SystemSafety] Tumble-Dryer Dangers
- [SystemSafety] twitter thread of ex-employee on software development at tesla
- [SystemSafety] Two men guilty of manslaughter over Bath tipper truck crash
- [SystemSafety] Two Process-Industry Accidents
- [SystemSafety] Two sorts of Standards (was: Modelling and coding guidelines: "Unambiguous Graphical Representation")
- [SystemSafety] Two White Papers
- [SystemSafety] UAV / UAS / RPAS System Safety, or not!
- [SystemSafety] Uber "self-driving" cars run red lights on Day 1
- [SystemSafety] Uber self-driving car fatality—initial report
- [SystemSafety] UC The Accident to SpaceShip2
- [SystemSafety] UC UC Volvo has an accident
- [SystemSafety] UC Volvo has an accident
- [SystemSafety] UK and driverless cars
- [SystemSafety] UK principles for security of driverless cars
- [SystemSafety] UK principles for security of driverless cars [No Classification]
- [SystemSafety] UK University Fees
- [SystemSafety] Ukrainian Electricity-Grid Malware Found "in the Wild"
- [SystemSafety] underground trains without drivers
- [SystemSafety] Understanding Air France 447
- [SystemSafety] Underwater footage of Costa Concordia released by Italian police.
- [SystemSafety] Units for Functional Safety variables ? - A Friday afternoon question on a Wednesday.
- [SystemSafety] Unnoticed UK Earthquake largest for a decade.
- [SystemSafety] unscribe please
- [SystemSafety] Unsubscribe
- [SystemSafety] ununscribe
- [SystemSafety] Upcoming Events: System Safety / Human Factors
- [SystemSafety] Upcoming SCSC events
- [SystemSafety] Update and reminder: Still time to submit to workshop on standards
- [SystemSafety] Uranium+seawater -> Yellow substances?
- [SystemSafety] US Chemical Safety Board report discusses safety case regulatory approach
- [SystemSafety] US Pacemaker Recall
- [SystemSafety] US waterslide park death
- [SystemSafety] USAF Nuclear Accidents prior to 1967
- [SystemSafety] Use of Formal Methods
- [SystemSafety] Useful resources
- [SystemSafety] Using a virtual machine to develop safe code / logic
- [SystemSafety] Vacancy for the Gresham Professor of IT
- [SystemSafety] Validating AI driven systems
- [SystemSafety] Victorian risk assesment
- [SystemSafety] Volaris airlines
- [SystemSafety] Volkswagen UK before the Select Committee
- [SystemSafety] Volunteers needed for an open source driving agent
- [SystemSafety] Volvo has an accident
- [SystemSafety] Vulnerability in Intel firmware
- [SystemSafety] Watch out for exploding ticket machines on German Railways!!
- [SystemSafety] Wednesday's NOVA episode on Fukushima
- [SystemSafety] WG: Watch out for exploding ticket machines on German Railways!!
- [SystemSafety] WG: words you cannot use at GM
- [SystemSafety] What measures do you use (was:Koopman replies to concerns over Toyota UA case)
- [SystemSafety] What Tesla says about its autopilot
- [SystemSafety] Wheel detachment from a moving car
- [SystemSafety] Wheel detachment from a moving car / problem was solved many years ago, not widely adopted
- [SystemSafety] Wheel detachment from a moving car / redundant prevision thoughts
- [SystemSafety] Which software for very basic FTA?
- [SystemSafety] Who applies risk acceptance principles - Part 2
- [SystemSafety] words you cannot use at GM
- [SystemSafety] Worked-out Example
- [SystemSafety] Workshop on analyzing software engineering data
- [SystemSafety] Workshop on Dynamic Testing for the Verification of Autonomous Systems, Bristol, UK, 1-2 Feb 2017
- [SystemSafety] Workshops _at_xxxxxx
- [SystemSafety] Wrangling the flying lawnmower
- [SystemSafety] Yet another supposedly-runaway car
- [SystemSafety] Yet another supposedly-runaway car (is it lack of adequate training?)
- [SystemSafety] You can say it over and over again for three decades,
- [SystemSafety] Your Q on tools use
- A Closer Look, Part 1
- A couple of anecdotes on requirements engineering
- A Critical-System Assurance Manifesto
- A Fire Code for Software?
- A Request [was, and still is: Off Topic]
- A Safety Issue, but not Tech - Drowning
- Aberfan 50 years on
- Access to the SCSC document archive
- AI and safety
- ALARP / SFAIRP
- Alton Towers was HF
- Another KRACK at it.
- Another runaway car
- AOP52
- Apple being sued for illegal use of Facetime
- Archive Back
- Automobile Emissions "Cheat" Devices
- Autonomously Driven Car Kills Pedestrian
- B738M & B739M [was: Cognitive bias, safety and disruptive technology]
- Barcelona is Off-Topic
- Blocked
- Boeing 737 Max Problems with Faulty AoA sensing
- Bosch Political Viewpoint in IoT Cybersec
- Bossavit's Leprechauns book
- C/C++ and Python Top List of Hot Skills for Autonomous Vehicle Engineers
- Call for Papers - CREST 2017
- Call for Submissions
- Car Hacking
- CfP for Australian System Safety Conference, May 2019, Brisbane QLD
- Chicago controller halts Delta jet's near-miss....
- Comment on Risks note on "Smart Power Outlets" (RISKS 29.72)
- Confusion over Risk, Yet Again
- Critical systems Linux
- Croydon Tram Accident - 2nd Interim Report
- Cybersecurity at Nuclear Power Plants
- Cybersecurity in IEC 61508
- Data across the UK National Grid
- Discussion Style [was: Does "reliable" mean "safe" and or "secure" or neither?]
- Does "reliable" mean "safe" and or "secure" or neither?)
- Does your clock run slow?
- Driver assist, diesel emissions and British law
- Earthquake Safety
- Electrical Safety, Fire Safety
- Engineering investigations into taller buildings
- Explainability of "Algorithms"
- Falcon 9 blows up on pad during launch preparations.
- Fault, Failure and Reliability Again (short)
- Fire Safety and Reasonableness
- Fire tests on Panelling
- Five items: ......]
- Fwd: [laas-dependability-announce] CFP : Safety and Security of Intelligent Vehicles (SSIV 2018)
- Fwd: [laas-dependability-announce] second call -- CFP S4CIP17 _at_xxxxxx
- Fwd: [SystemSafety] "Protected" Environments
- Fwd: ACM SafeThings 2017: Call for Papers
- Fwd: Measurement + Control)
- Fwd: RAMS EXPERT POSITION AVAILABLE
- German Federal Agency Rules on Communicating Toys
- Grenfell Tower external structure [was: Reynobond panelling]
- HFACS Pros and Cons - On Behalf of Brian Smith
- HMI and TMI ("Three Mille Island", not "Too Much Information")
- How Many Miles of Driving Would It Take to Demonstrate Autonomous Vehicle Reliability?
- How safe is safe?
- How to link up with the re-located Safety-Critical list ?
- IEC 61508 Maintenance (Revision)
- IEC 63069, and Cybersecurity in IEC 61508
- IEC TR 63069
- IEEE Spectrum article on the Boeing 737 MAX
- Internal Concerns at Uber Before March Fatal Crash
- Invitation to Participate - Consumer Device Safety Standards
- IS/IEC 61508 1998, 2000, 2005 availability
- Job Opportunity
- John Knight
- Killer Robots
- Koopman replies to concerns over Toyota UA case
- List Issues
- Logic)
- Looking for information about safety-critical software faults in road vehicles
- Making Standards available to Standards Committees
- Malware warning [was: A Fire Code .....]
- Messaging Vulnerabilities
- MISRA-C Videos
- Model extraction and construction in Mars Rover
- More on Cladding
- Name and Shame - Key but off-topic
- Nature article on driverless cars
- New book
- New IEC draft guide
- New paper on MISRA C)
- NHTSA claim concerning safety correlation of Tesla SW
- NHTSA on the Tesla crash
- Off Topic
- Off-topic: Biomass versus Coal
- OpenSSL Bug
- Osprey [was: SKODA Crash in the UK - Cruise Control Stuck On]
- Parked Tesla catching fire
- Partly Off Topic: What Happens in October
- power plant user interfaces
- power plant user interfaces)
- Power Plants and Disruption
- Project concerning Terminology - Harbsafe
- RE : Qualifying SW as "proven in use"
- Reminder - SCSC Seminar: Safety of Critical National Infrastructure Systems
- Reminder: SSS'18 Call for Abstracts
- Revised UK Code of Practice for testing Automated Vehicles.
- Reynobond panelling
- Safety and Cybersecurity. Again.
- Safety and Cybersecurity: A Dispute
- Safety and Security: Exercises for Three Views
- Safety Culture
- Safetybculture
- Saying the Wrong Thing)
- Schiaparelli Incident Investigation - "Very Preliminary" Results
- Schneier on IoT
- SCSC Event
- SCSC Update
- Self-Driving Car Had a Fatal Accident ... (Norman, R 30 61 & many R 30.62)
- SILs and Security Levels
- Smart heating [was: Comment on Risks note on "Smart Power Outlets" ....]
- Software reliability (or whatever you would prefer to call it) [UNCLASSIFIED]
- Software Requirements and Specifications
- Software Safety Requirements according to IEC 61508
- Survey Invitation- Chalmers, Sweden
- systemsafety Digest, Vol 34, Issue 5)
- Technical Terminology
- Tesla Crash Docket Opened
- Test [please ignore]
- Textbook: Digital System Safety
- The dangers associated with a cyber arms race
- The Intertwining of Safety and Security
- Tim Harford on Automation and Safety
- Train wreck
- Tram Accident in Croydon
- Tumble-Dryer Dangers
- Two SCSC-organised conferences with a safety focus coming up
- Uber "self-driving" cars run red lights on Day 1
- UK University Fees
- Ukrainian Electricity-Grid Malware Found "in the Wild"
- Unsubscribing
- US Pacemaker Recall
- Very off topic: RIP Fats Domino
- Volkswagen UK before the Select Committee
- What Tesla says about its autopilot
- Worked-out Example
- You can say it over and over again for three decades,
- Last message date: Mon May 27 2019 - 09:31:41 CEST
- Archived on: Tue Jun 04 2019 - 21:17:10 CEST