A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker
Résumé
This paper presents a flexible analysis method for Worst-Case Execution Time (WCET) using UML-MARTE Model Checker, aiming at detecting wrong software designs and refine correct ones with respect to WCET. This method uses UML-MARTE as the modelling language and Time Transition System (TTS) as the verification language. The software is modelled by UML Activity and Composite Structure diagrams using MARTE profile, and the hardware is modelled by the Resource and Scheduler packages in MARTE. This method allows to gradually refine the software in different phases of development process, and to alter the modelling granularity to balance the accuracy and the computability of WCET, making it flexible.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...