Formal Specification and Time Analysis for EBCS by Rima Al Ali

Rima is doing her Ph.D. at Charles University in Prague, Czech Republic and she is a fellow in the RELATE FP7 project since Oct. 2012. Rima will present her work on the formal specification and time analysis for a new component model called EBCS/DEECo, which addresses Cyber-Physical Systems. Her research aims at quantifying the “outdated belief” in components. This will help increase the dependability of such systems with respect to the belief inaccuracy.

Let’s give Rima a warm welcome!

Best regards,
Walter Rudametkin

Keywords: Component ensembles; execution semantics; timing analysis; cyber-physical systems; self-adaptivity; state-space models.