Media type: E-Book; Thesis Title: Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen Other titles: Generation of Efficient Security/Safety Monitors from Model-based Descriptions Contributor: Patzina, Lars [Author]; Schürr, Andy [Degree supervisor]; Jürjens, Jan [Degree supervisor] Published: Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2014 Extent: Online-Ressource Language: German Identifier: Keywords: AUTOSAR ; Datensichtgerät ; Zwischensprache ; Spezifikationssprache ; Monitor-Petrinetze ; eingebettete Systeme ; Petrinetze ; MBSecMon ; Safety ; Security ; Sicherheit ; Laufzeitmonitor ; modellbasiert ; Modelltransformation ; Codegenerierung ; Hochschulschrift Origination: University thesis: Dissertation, Darmstadt, Technische Universität Darmstadt, 2014 Footnote: Access State: Open Access