1 |
ISO 26262 Functional Safety 2011, "Part8: Supporting Process," The International Organization for Standardization, 2011.
|
2 |
IEC 61508 Functional safety of electrical/electronic/ programmable electronic safety-related systems "Part 6: Guidelines on the application," International Electronical Committee, 2010.
|
3 |
RS Pressman, "Software engineering: a practitioner's approach," Mc Graw Hill, 6th ed. 2005.
|
4 |
W. Richards Adrion, "Validation, Verification, and Testing of Computer Software," Journal ACM Computing Surveys, Vol.14, Issues 2, pp.159-192, June, 1982.
DOI
|
5 |
ISO 26262 Functional Safety 2011, "Part1: Vocabulary," The International Organization for Standardization, 2011.
|
6 |
Ron Patton, "Software Testing (2nd Edition)," Sams Indianapolis, IN, USA, 2005.
|
7 |
T. Maier, "FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems," Springer Safety and reliability of software based systems, pp.351-356, 1997.
|
8 |
Magnus Lindahl, Paul Pettersson, and Wang Yi, "Formal design and analysis of a gearbox controller," Springer International Journal of Software Tools for Technology Tansfer (STTT), 3: 353-368, 2001.
|
9 |
A. Cimatti, E. Clarke, E. Giunchiglia, and F. Gjunchiglla, "An Opensource tool for symbolic model checking," 14th International Conference, Computer Aided Verification, pp.359-364, July, 2002.
|
10 |
R. Alur, T.A. Henzinger, and M.Y. Vardi, "Theory in practice for system design and verification," ACM SIGLOG News, Vol.2, Issue 1, pp.46-51, January, 2015.
|
11 |
Pedro. R. D'Argenio, Joost-Pieter. Katoen, Theo C. Ruys, and Jan Tretmans, "The bounded retransmission protocol must be on time," in Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of LNCS, pp.416-431. Springer-Verlag, April, 1997.
|
12 |
Klaus Havelund, Kim G. Larsen, and Kristian Lund, "Formal verification of a power controller using the real-time model checker UPPAAL," 5th International AMAST Workshop on Real-Time and Probabilistic Systems, 1999.
|
13 |
M. Hendriks, N.J.M. van den Nieuwelaar, and F.W. Vaandrager, "Adding symmetry reduction to uppaal," in Proceedings First International Workshop on Formal Modeling and Analysis of Timed Systems, volume 2791 of Lecture Notes in Computer Science, 2003.
|
14 |
J. Lahtinen, J. Valkonen, K.Bjorkman, J. Frits, I. Niemela, and K. Heljanko, "Model checking of safety-critical software in the nuclear engineering domain," Reliability Engineering & System Safety, Vol.105, pp.104-113, September, 2012,
DOI
|
15 |
Thomas Hune, Kim G. Larsen, and Paul Pettersson, "Guided synthesis of control programs using UPPAAL," IEEE ICDCS International Workshop on Distributed Systems Verification and Validation, pp.15-22, IEEE Computer Society Press, April, 2000.
|
16 |
Gerd Behrmann, Alexandre David, and Kim G. Larsen, "A Tutorial on UPPAAL 4.0." www.uppaal.com, November, 2006.
|
17 |
Alexandre David and Wang Yi, "Modelling and analysis of a commercial field bus protocol," Proceedings of the 12th Euromicro Conference on Real Time Systems, pp.165-172, IEEE Computer Society, 2000.
|
18 |
VDA, "VDA Recommendation 305-100, Version August 2014," Verband der Automobilindustrie, 2015.
|
19 |
Hohn E. Hopcroft and Jeffrey D. Ullman, "Introduction of Automata Theory, Languages, and Computation," Addison Wesley, 2001.
|
20 |
W. E. Vesely. "Fault Tree Handbook," Technical Report NUREG-0492, US Nuclear Regulatory Commission, 1981.
|