-
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Tim...
Time properties are key requirements for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are standardized modelling languages widely accepted... -
Formal Specification and Verification of Task Time Constraints for Real-Time ...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its lifecycle and to improve iteratively these models according to the... -
A control synthesis approach for time discrete event systems
Dans cet article, nous présentons une méthode de synthèse de commande pour les systèmes à événements discrets dont le comportement dépend des valeurs explicites de temps. Notre... -
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
International audience
