Model-based testing of real-time embedded systems in the automotive domain [Elektronische Ressource] / vorgelegt von Justyna Zander-Nowicka

Model-based Testing of Real-Time Embedded Systems in the Automotive Domain vorgelegt von Dipl. Inform., Dipl. Ing. Justyna Zander-Nowicka von der Fakultät IV – Elektrotechnik und Informatik der Technischen Universität Berlin zur Erlangung des akademischen Grades der Doktorin der Ingenieurwissenschaften – Dr.-Ing. – Genehmigte Dissertation Promotionsausschuss: Vorsitzender: Prof. Dr. –Ing. Clemens Gühmann Berichter: Prof. Dr. –Ing. Ina Schieferdecker Berichter: Prof. Dr. rer. nat. Ingolf Heiko Krüger Tag der wissenschaftlichen Aussprache: 19.12.2008 Berlin, 2009 D 83 Model-based Testing of Real-Time Embedded Systems in the Automotive Domain by M. Sc. Justyna Zander-Nowicka Faculty IV – Electrical Engineering and Computer Science Technical University Berlin A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Engineering Science – Eng. Sc. D. – Accredited Dissertation Examination Board: Chairman: Prof. Eng. Sc. D. Clemens Gühmann Supervisor: Prof. Eng. Sc. D. Ina Schieferdecker Technical University Berlin, Faculty of Electrical Engineering and Computer Science Supervisor: Prof. Dr.