Behavioural modelling and verification of real-time software product lines

  title={Behavioural modelling and verification of real-time software product lines},
  author={Maxime Cordy and Pierre-Yves Schobbens and Patrick Heymans and Axel Legay},
In Software Product Line (SPL) engineering, software products are build in families rather than individually. Many critical software are nowadays build as SPLs and most of them obey hard real-time requirements. Formal methods for verifying SPLs are thus crucial and actively studied. The verification problem for SPL is, however, more complicated than for individual systems; the large number of different software products multiplies the complexity of SPL model-checking. Recently, promising model… CONTINUE READING
Highly Cited
This paper has 52 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 25 extracted citations

53 Citations

Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-5 of 5 references

Similar Papers

Loading similar papers…