Recognition of Real-World State-Based Synchronization

Zusammenfassung
In the real world, safety-critical embedded systems use state-based synchronization to avoid data races. Using constraint solving to tackle state, we have improved upon existing static data race analysis.
  • Vollständige Referenz
  • BibTeX
Wittiger, M. & Felden, T., (2015). Recognition of Real-World State-Based Synchronization.   Softwaretechnik-Trends Band 35, Heft 2. Bonn: Geselllschaft für Informatik e.V..
@inproceedings{mci/Wittiger2015,
author = {Wittiger, Martin AND Felden, Timm},
title = {Recognition of Real-World State-Based Synchronization},
booktitle = {Softwaretechnik-Trends Band 35, Heft 2},
year = {2015},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
05_M_Wittiger.pdf99.41Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISSN: 0720-8928
Datum: 2015
Sprache: en (en)
Typ: Journal Articles
Sammlungen

Zur Langanzeige