Kiel Computer Science Series 2016/1 - Formal Verification of Concurrent Embedded Software Ebook Tooltip

Auteur: Johannes Frederik Jesper Traub
Taal: Engels

Afbeeldingen
Inkijkexemplaar

Artikel vergelijken

Bekijk nu
Auteur: Johannes Frederik Jesper Traub
  • Engels
  • E-book
  • 9783741221163
  • 12 mei 2016
  • Adobe ePub
Alle productspecificaties
  • Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.

Samenvatting

Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important. Thus static software analysis, being able to detect runtime errors in software, has become a standard in the automotive domain. The most critical runtime error is one which only occurs sporadically and is therefore very difficult to detect and reproduce. The introduction of multicore hardware enables an execution of the software in real parallel. A reason for such an error is e.g., a race condition. Hence, the risk of critical race conditions increases. This thesis introduces the MEMICS software verification approach. In order to produce precise results, MEMICS works based on the formal verification technique, bounded model checking. The internal model is able to represent an entire automotive control unit, including the hardware configuration as well as real-time operating systems like AUTOSAR and OSEK. The proof engine used to check the model is a newly developed interval constraint solver with an embedded memory model. MEMICS is able to detect common runtime errors, like e.g., a division by zero, as well as concurrent ones, like e.g., a critical race condition.

Productspecificaties

Inhoud

Taal
en
Bindwijze
E-book
Oorspronkelijke releasedatum
12 mei 2016
Ebook Formaat
Adobe ePub
Illustraties
Nee

Betrokkenen

Hoofdauteur
Johannes Frederik Jesper Traub
Hoofduitgeverij
Books On Demand

Lees mogelijkheden

Lees dit ebook op
Android (smartphone en tablet) | Kobo e-reader | Desktop (Mac en Windows) | iOS (smartphone en tablet) | Windows (smartphone en tablet)

Overige kenmerken

Editie
1
Studieboek
Ja

EAN

EAN
9783741221163

Je vindt dit artikel in

Categorieën

Reviews
Nog geen reviews
Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Kies je bindwijze (2)
E-book €5,99 Paperback €24,99

Prijsinformatie en bestellen

De prijs van dit product is 5 euro en 99 cent.
Direct beschikbaar
Verkoop door bol
Ebook
  • E-book is direct beschikbaar na aankoop
  • E-books lezen is voordelig
  • Dag en nacht klantenservice
  • Veilig betalen
Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.
Zie ook de retourvoorwaarden

Anderen bekeken ook

Bekijk de hele lijst