Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints

Multicore systems are complex in that multiple processes are running concurrently and can interfere with each other. Real-time systems add on top of that time constraints, making results invalid as soon as a deadline has been missed. Tracing is often the most reliable and accurate tool available to...

Full description

Bibliographic Details
Main Authors: Raphaël Beamonte, Michel R. Dagenais
Format: Article
Language:English
Published: Hindawi Limited 2016-01-01
Series:Scientific Programming
Online Access:http://dx.doi.org/10.1155/2016/9792462