Malika Boukala

Learn More
In order to design and analyse complex real time systems, we improve the communication mechanism of Time Recursive Petri Net model that we have proposed in previous works. We have used our extended model, named Time ERP N + , to check the temporal coherence of SMIL documents. This paper presents ongoing work where special attention is given to the(More)
Nowadays systems should be able to perform evolutionary changes without degrading performances of online services. To achieve that, it is interesting to predict performances of a system reconfiguration, as introducing such properties in a system may lead to quality of service loss and performance degradation. In this case, the impact analysis of a(More)
  • 1