مقـــــــــالات 2000-2010

Permanent URI for this collection

http://localhost:4000/handle/123456789/12893

Browse

Browsing مقـــــــــالات 2000-2010 by Author "Benmohammed, Mohamed"

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Discrete event simulation of embedded systems from graphical notations
    (IEEE, 2010) Boutekkouk, Fateh; Benmohammed, Mohamed
    In this paper, we present our approach for discrete event simulation of embedded systems. In our case, embedded systems are modelled via UML diagrams with some extensions. From UML diagrams a discrete event simulation model is generated. We use the latter model to estimate system performance.
  • No Thumbnail Available
    Item
    UML modeling and formal verification of control/data driven Embedded Systems
    (IEEE, 2009) Boutekkouk, Fateh; Benmohammed, Mohamed
    In this paper, we present our approach for UML based modeling of control/data driven Embedded Systems. In our case application is presented as a network of hierarchic data driven and control driven tasks that communicate via abstract channels. Hardware platform is modeled as UML structure diagram. Mapping of application on hardware platform is modeled through UML constraints. From UML models, a Maude specification is generated. We use this formal specification to formally validate system functionality against some undesirable properties and to estimate system power consumption at a high level of abstraction.