國立虎尾科技大學 |

Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Verteilte Laufzeitverifikation auf eingebetteten Systemen/ von Malte Schmitz.
其他題名:	Logiken und Monitorkonstruktionen für asynchrone Prozesse /
作者:	Schmitz, Malte.
面頁冊數:	XXIII, 163 S. 33 Abb.online resource. :
Contained By:	Springer Nature eBook
標題:	Computers. -
電子資源:	https://doi.org/10.1007/978-3-658-12852-4
ISBN:	9783658128524

Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse /
Schmitz, Malte.

Verteilte Laufzeitverifikation auf eingebetteten SystemenLogiken und Monitorkonstruktionen für asynchrone Prozesse /[electronic resource] :von Malte Schmitz. - 1st ed. 2016. - XXIII, 163 S. 33 Abb.online resource. - BestMasters,2625-3577. - BestMasters,.

Lineare Temporallogik für verteilte Systeme -- Monitorbarkeit -- Monitorkonstruktionen -- Monitorgenerierung in Scala -- Instrumentierung von NXC-Code -- Fallstudien und Benchmarks.

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere und korrekte Steuerung von Industrieanlagen mithilfe von innovativen Überwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren. Der Inhalt Lineare Temporallogik für verteilte Systeme Monitorbarkeit Monitorkonstruktionen Monitorgenerierung in Scala Instrumentierung von NXC-Code Fallstudien und Benchmarks Die Zielgruppen Dozierende und Studierende der Softwaretechnik und theoretischen Informatik Der Autor Malte Schmitz forschte im Zuge seines Masterstudiums am Institut für Softwaretechnik und Programmiersprachen der Universität zu Lübeck und ist dort heute als wissenschaftlicher Mitarbeiter beschäftigt.

ISBN: 9783658128524

Standard No.: 10.1007/978-3-658-12852-4doiSubjects--Topical Terms:

565115
Computers.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse /
LDR:02678nam a22003855i 4500 001 974342
003 DE-He213
005 20200713003402.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|ger d
020 $a 9783658128524 $9 978-3-658-12852-4
024 7 $a 10.1007/978-3-658-12852-4 $2 doi
035 $a 978-3-658-12852-4
050 4 $a QA75.5-76.95
050 4 $a QA76.63
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
100 1 $a Schmitz, Malte. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1269159
245 1 0 $a Verteilte Laufzeitverifikation auf eingebetteten Systemen $h [electronic resource] : $b Logiken und Monitorkonstruktionen für asynchrone Prozesse / $c von Malte Schmitz.
250 $a 1st ed. 2016.
264 1 $a Wiesbaden : $b Springer Fachmedien Wiesbaden : $b Imprint: Springer Vieweg, $c 2016.
300 $a XXIII, 163 S. 33 Abb. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a BestMasters, $x 2625-3577
505 0 $a Lineare Temporallogik für verteilte Systeme -- Monitorbarkeit -- Monitorkonstruktionen -- Monitorgenerierung in Scala -- Instrumentierung von NXC-Code -- Fallstudien und Benchmarks.
520 $a In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere und korrekte Steuerung von Industrieanlagen mithilfe von innovativen Überwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren. Der Inhalt Lineare Temporallogik für verteilte Systeme Monitorbarkeit Monitorkonstruktionen Monitorgenerierung in Scala Instrumentierung von NXC-Code Fallstudien und Benchmarks Die Zielgruppen Dozierende und Studierende der Softwaretechnik und theoretischen Informatik Der Autor Malte Schmitz forschte im Zuge seines Masterstudiums am Institut für Softwaretechnik und Programmiersprachen der Universität zu Lübeck und ist dort heute als wissenschaftlicher Mitarbeiter beschäftigt.
650 0 $a Computers. $3 565115
650 0 $a Software engineering. $3 562952
650 0 $a Computer organization. $3 596298
650 1 4 $a Theory of Computation. $3 669322
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783658128517
830 0 $a BestMasters, $x 2625-3577 $3 1253531
856 4 0 $u https://doi.org/10.1007/978-3-658-12852-4
912 $a ZDB-2-STI
950 $a Computer Science and Engineering (German Language) (SpringerNature-11774)