<  Back to the Polytechnique Montréal portal

Detection of common problems in real-Time and multicore systems using model-based constraints

Raphaël Beamonte and Michel Dagenais

Article (2016)

Open Acess document in PolyPublie and at official publisher
[img] Open Access to the full text of this document
Published Version
Terms of Use: Creative Commons Attribution
Download (1MB)
Show abstract
Hide abstract


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 study and understand those systems. However, tracing requires that users understand the kernel events and their meaning. It is therefore not very accessible. Using modeling to generate source code or represent applications' workflow is handy for developers and has emerged as part of the model-driven development methodology. In this paper, we propose a new approach to system analysis using model-based constraints, on top of userspace and kernel traces. We introduce the constraints representation and how traces can be used to follow the application's workflow and check the constraints we set on the model. We then present a number of common problems that we encountered in real-time and multicore systems and describe how our model-based constraints could have helped to save time by automatically identifying the unwanted behavior.

Subjects: 2700 Information technology > 2700 Information technology
2700 Information technology > 2719 Computer architecture and design
Department: Department of Computer Engineering and Software Engineering
Funders: CRSNG/NSERC, CAE, Opal-RT, Consortium de recherche et d'innovation en aérospatiale au Québec
PolyPublie URL: https://publications.polymtl.ca/3065/
Journal Title: Scientific Programming (vol. 2016)
Publisher: Hindawi
DOI: 10.1155/2016/9792462
Official URL: https://doi.org/10.1155/2016/9792462
Date Deposited: 04 May 2018 16:10
Last Modified: 11 Apr 2024 00:31
Cite in APA 7: Beamonte, R., & Dagenais, M. (2016). Detection of common problems in real-Time and multicore systems using model-based constraints. Scientific Programming, 2016, 1-18. https://doi.org/10.1155/2016/9792462


Total downloads

Downloads per month in the last year

Origin of downloads


Repository Staff Only

View Item View Item