Safe Automotive Software
暂无分享,去创建一个
Karsten Berns | Klaus Schneider | Mario Trapp | Karl Heckemann | Manuel Gesell | Thomas Pfister | K. Schneider | K. Berns | M. Trapp | T. Pfister | Manuel Gesell | Karl Heckemann
[1] David Aspinall,et al. Formalising Java's Data Race Free Guarantee , 2007, TPHOLs.
[2] Youmin Zhang,et al. Bibliographical review on reconfigurable fault-tolerant control systems , 2003, Annu. Rev. Control..
[3] Pramod K. Varshney,et al. Multisensor Data Fusion , 1997, IEA/AIE.
[4] Tobias Nipkow,et al. The Isabelle Framework , 2008, TPHOLs.
[5] Y. Chetouani. Fault detection by using the innovation signal: application to an exothermic reaction , 2004 .
[6] Alan Bundy,et al. Towards Ontology Evolution in Physics , 2008, WoLLIC.
[7] Jana Maria Heinsohn,et al. Einführung in die ISO 26262 "Functional Safety - Road Vehicles" , 2011 .
[8] T. Henzinger. The theory of hybrid automata , 1996, LICS 1996.
[9] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[10] Klaus Schneider,et al. Property Driven Three-Valued Model Checking on Hybrid Automata , 2009, WoLLIC.
[11] Robert P. Kurshan,et al. Verification of Digital and Hybrid Systems , 2000, NATO ASI Series.
[12] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[13] Lui Sha,et al. Using Simplicity to Control Complexity , 2001, IEEE Softw..
[14] Chingiz Hajiyev,et al. Testing the covariance matrix of the innovation sequence with sensor/actuator fault detection applications , 2010 .
[15] Raghunathan Rengaswamy,et al. A review of process fault detection and diagnosis: Part I: Quantitative model-based methods , 2003, Comput. Chem. Eng..
[16] Raghunathan Rengaswamy,et al. A review of process fault detection and diagnosis: Part II: Qualitative models and search strategies , 2003, Comput. Chem. Eng..
[17] Brian Randell,et al. Fundamental Concepts of Dependability , 2000 .