Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

This paper addresses the monitoring of logic-independent linear-time user-provided properties in multi-threaded component-based systems. We consider intrinsically independent components that can be executed concurrently with a centralized coordination for multiparty interactions. In this context, th...

Full description

Bibliographic Details

Published in:	Formal aspects of computing Vol. 29; no. 6; pp. 951 - 986
Main Authors:	Nazarpour, Hosein, Falcone, Yliès, Bensalem, Saddek, Bozga, Marius
Format:	Journal Article
Language:	English
Published:	London Springer London 01.11.2017 Association for Computing Machinery Springer Verlag
Subjects:	Computer Science Concurrency Embedded Systems Math Applications in Computer Science Monitoring Original Article Run time (computers) Semantics Software Engineering Theory of Computation Transformations
ISSN:	0934-5043, 1433-299X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!