Publications
| 2017 | |||
|---|---|---|---|
| Slides | Diversity approaches investigated for the SIL2LinuxMP architecture | @SCSSS | Nicholas Mc Guire |
| Slides | Software LOPA -- An Approach to Performing a Layers of Protection Analysis for Complex Software | @SCSSS | Andreas Platschek |
| Video | Analyzing the Software Development Life-Cycle using Data-Mining Techniques | @FOSDEM | Andreas Platschek |
| Video | Kernel DLC Metrics, Statistic Analysis and Bug-Patterns | @FOSDEM | Nicholas Mc Guire |
| 2016 | |||
|---|---|---|---|
| Video | GNU/Linux for Safety Related Systems | @FOSDEM | Nicholas Mc Guire |
| GNU/Linux for Safety Critical Systems | @Embedded World Conference | Nicholas Mc Guire | |
| Slides | SIL2LinuxMP Linux Qualification - Process Overview | @FuSaCom | Nicholas Mc Guire |
| Status | Current status of SIL2Linux MP project and implications | Nicholas Mc Guire | |
| Slides | DB4SIL2 - Kernel assurance data for SIL2LinuxMP | Nicholas Mc Guire | |
| Slides | Discussion of Statistical Methods for SIL2LinuxMP | @ALS | Nicholas Mc Guire |
| 2015 | |||
|---|---|---|---|
| Slides | Linux Qualification - Coding Style / Type issues in IEC 61508 | Nicholas Mc Guire | |
| Paper | A Harmonized threat/hazard modeling for Safety Critical Industrial Systems | Andreas Platschek | |
| Slides | seq: Buffer swapping sequence locks | Nicholas Mc Guire, Peter Okech | |
| Paper | Inherent Diversity in Replicated Architectures | Peter Okech, Nicholas Mc Guire, William Okelo-Odongo | |
| Paper | Analysis of Execution Path Variability in Kernel Space | Peter Okech, Nicholas Mc Guire, William Okelo-Odongo |
| 2014 | |||
|---|---|---|---|
| Paper | Replica_RT: a statistical approach to low jitter RT | Nicholas Mc Guire |
| 2013 | |||
|---|---|---|---|
| Paper | pMTX - first experiments with a probabilistic mutex | Nicholas Mc Guire | |
| Paper | Investigating Execution Path Non-determinism in the Linux Kernel | Peter Okech, Nicholas Mc Guire, Chrisotf Fetzer, William Okelo-Odongo |
| 2012 | |||
|---|---|---|---|
| Paper | Design and Implementation of an Safety-Critical Application Targeting Modular Certification | Andreas Platschek, Nicholas Mc Guire | |
| Paper | Principles and Implementation of ESRNGs - Embarrassingly | Nicholas Mc Guire | |
| Paper | Simple Random Number Generators for GNU/Linux | Nicholas Mc Guire |
| 2011 | |||
|---|---|---|---|
| Paper | Probabilistic Write Copy Select locks | Nicholas Mc Guire | |
| Paper | Migrating a OSEK runtime environment to the OVERSEE platform | Andreas Platschek, Georg Schiesser | |
| Paper | Safety logic on top of complex hardware software systems utilizing dynamic data types | Nicholas Mc Guire |
| 2010 | |||
|---|---|---|---|
| Paper | FLOSS for safety: Mastering mission critical development with GIT | Andreas Platschek, Georg Schiesser | |
| Paper | OVERSEE - a generic FLOSS communication and application platform for vehicles | Nicholas Mc Guire, Andreas Platschek, Georg Schiesser |
| 2008 | |||
|---|---|---|---|
| Paper | xmtrace - the XtratuM tracer | Thomas Hisch, Georg Schiesser, Andreas Platschek |
| 2007 | |||
|---|---|---|---|
| Paper | UDP for Real-Time Linux | Andreas Platschek |
| 2006 | |||
|---|---|---|---|
| Paper | GNU/Linux Based TDOA Localization Using COTS Hardware | Georg Schiesser | |
| Paper | RTLinux Ethernet Device Drivers | Florian Bruckner |