skip to content
Verteilte Laufzeitverifikation auf eingebetteten Systemen : Logiken und Monitorkonstruktionen für asynchrone Prozesse Preview this item
ClosePreview this item
Checking...

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

Author: Malte Schmitz
Publisher: Wiesbaden Springer Fachmedien Wiesbaden 2016
Series: BestMasters
Edition/Format:   eBook : Document : GermanView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Online-Ressource
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Malte Schmitz
ISBN: 9783658128524 3658128526
OCLC Number: 948825921
Description: 1 Online-Ressource (xxiii, 163 Seiten)
Series Title: BestMasters
Responsibility: von Malte Schmitz.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/948825921> # Verteilte Laufzeitverifikation auf eingebetteten Systemen : Logiken und Monitorkonstruktionen für asynchrone Prozesse
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "948825921" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2989149613#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/2989149613#Topic/computer_organization> ; # Computer organization
    schema:about <http://experiment.worldcat.org/entity/work/data/2989149613#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/2989149613#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/2989149613#Thing/produktform_electronic_book_text> ; # (Produktform)Electronic book text
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:author <http://experiment.worldcat.org/entity/work/data/2989149613#Person/schmitz_malte> ; # Malte Schmitz
    schema:bookFormat schema:EBook ;
    schema:datePublished "2016" ;
    schema:description "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."@de ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2989149613> ;
    schema:genre "Online-Ressource"@de ;
    schema:inLanguage "de" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2989149613#Series/bestmasters> ; # BestMasters
    schema:name "Verteilte Laufzeitverifikation auf eingebetteten Systemen : Logiken und Monitorkonstruktionen für asynchrone Prozesse"@de ;
    schema:productID "948825921" ;
    schema:url <http://dx.doi.org/10.1007/978-3-658-12852-4> ;
    schema:url <http://www.springerlink.com/content/978-3-658-12852-4> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:1111-20160422233> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-658-12852-4> ;
    schema:workExample <http://worldcat.org/isbn/9783658128524> ;
    umbel:isLike <http://d-nb.info/1097753360> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/948825921> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-658-12852-4>
    a schema:IndividualProduct ;
    rdfs:comment "Online-Zugriff der Hochschule Luzern bei Springer" ;
    .

<http://experiment.worldcat.org/entity/work/data/2989149613#Person/schmitz_malte> # Malte Schmitz
    a schema:Person ;
    schema:familyName "Schmitz" ;
    schema:givenName "Malte" ;
    schema:name "Malte Schmitz" ;
    .

<http://experiment.worldcat.org/entity/work/data/2989149613#Series/bestmasters> # BestMasters
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/948825921> ; # Verteilte Laufzeitverifikation auf eingebetteten Systemen : Logiken und Monitorkonstruktionen für asynchrone Prozesse
    schema:name "BestMasters" ;
    .

<http://experiment.worldcat.org/entity/work/data/2989149613#Thing/produktform_electronic_book_text> # (Produktform)Electronic book text
    a schema:Thing ;
    schema:name "(Produktform)Electronic book text" ;
    .

<http://experiment.worldcat.org/entity/work/data/2989149613#Topic/computer_organization> # Computer organization
    a schema:Intangible ;
    schema:name "Computer organization"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/2989149613#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@de ;
    .

<http://worldcat.org/isbn/9783658128524>
    a schema:ProductModel ;
    schema:isbn "3658128526" ;
    schema:isbn "9783658128524" ;
    .

<http://www.worldcat.org/title/-/oclc/948825921>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/948825921> ; # Verteilte Laufzeitverifikation auf eingebetteten Systemen : Logiken und Monitorkonstruktionen für asynchrone Prozesse
    schema:dateModified "2016-09-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.