diff --git a/COPYING b/COPYING index 3549a48d..598c512e 100644 --- a/COPYING +++ b/COPYING @@ -1,16 +1,16 @@ FAIL* - FAult Injection Leveraged -Copyright (c) 2011-2014 Horst Schirmeier +Copyright (c) 2011-2015 Horst Schirmeier Copyright (c) 2011-2013 Adrian Böckenkamp Copyright (c) 2011-2014 Richard Hellwig -Copyright (c) 2011-2014 Martin Hoffmann +Copyright (c) 2011-2015 Martin Hoffmann Copyright (c) 2012-2013 Martin Unzner -Copyright (c) 2013-2014 Christian Dietrich +Copyright (c) 2013-2015 Christian Dietrich Copyright (c) 2013-2014 Lars Rademacher -Copyright (c) 2012-2014 Christoph Borchert +Copyright (c) 2012-2015 Christoph Borchert Copyright (c) 2013-2014 Björn Döbel Copyright (c) 2012-2013 Tobias Friemel -Copyright (c) 2013-2014 Michael Lenz +Copyright (c) 2013-2015 Michael Lenz Copyright (c) 2013-2014 Florian Lukas Copyright (c) 2012 Robby Zippel diff --git a/README.md b/README.md index c560e732..fae3eeb9 100644 --- a/README.md +++ b/README.md @@ -132,12 +132,26 @@ Publications about FAIL* Selected publications using FAIL* --------------------------------- +- C. Dietrich, M. Hoffmann, and D. Lohmann. Cross-kernel control-flow-graph + analysis for event-driven real-time systems. In Proceedings of the 2015 ACM + SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded + Systems (LCTES '15), New York, NY, USA, June 2015. ACM Press. To appear. + +- H. Schirmeier, C. Borchert, and O. Spinczyk. Avoiding pitfalls in + fault-injection based comparison of program susceptibility to soft errors. In + Proceedings of the 45th IEEE/IFIP International Conference on Dependable + Systems and Networks (DSN '15). IEEE Computer Society Press, June 2015. To + appear. + - M. Hoffmann, F. Lukas, C. Dietrich, and D. Lohmann. dOSEK: The design and implementation of a dependability-oriented static embedded kernel. In Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications (RTAS '15), Los Alamitos, CA, USA, Apr. 2015. IEEE Computer Society Press. +- Christian Dietrich and Daniel Lohmann. The dataref versuchung. ACM Operating + Systems Review, pages 1–10, 2015. + - M. Hoffmann, P. Ulbrich, C. Dietrich, H. Schirmeier, D. Lohmann, and W. Schröder-Preikschat. Experiences with software-based soft-error mitigation using AN codes. Software Quality Journal, pages 1–27, 2015. @@ -153,6 +167,13 @@ Selected publications using FAIL* Computer Safety, Reliability and Security (SAFECOMP '14), Lecture Notes in Computer Science, pages 17–32. Springer-Verlag, Sept. 2014. +- Björn Döbel. Operating System Support for Redundant Multithreading. + Dissertation, Technische Universität Dresden, August 2014. + +- Peter Ulbrich. Ganzheitliche Fehlertoleranz in eingebetteten + Softwaresystemen. Dissertation, Friedrich-Alexander-Universität + Erlangen-Nürnberg, August 2014. + - M. Hoffmann, C. Borchert, C. Dietrich, H. Schirmeier, R. Kapitza, O. Spinczyk, and D. Lohmann. Effectiveness of fault detection mechanisms in static and dynamic operating system designs. In Proceedings of the 17th IEEE @@ -190,7 +211,7 @@ Selected publications using FAIL* - C. Borchert, H. Schirmeier, and O. Spinczyk. Generative software-based memory error detection and correction for operating - system data structures. In Proceedings of the 43nd IEEE/IFIP + system data structures. In Proceedings of the 43rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '13). IEEE Computer Society Press, June 2013.