Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development

Authors:
Hung Ledang;Dang Van Hung
Affiliations:
UVHC-LAMIH UMR 8530 CNRS;UNU-IIST, Macao SAR, China
Venue:
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Year:
2007

Citing 0
Cited 2

Reasoning about QoS Contracts in the Probabilistic Duration Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and specification of real-time interfaces with UTP

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states. This paper presents a framework for symmetry ...