MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Time Modeling in MARTE." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Abstract The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems
by Charles André, Frédéric Mallet, Robert De Simone, Université De Nice-sophia Antipolis, F- Sophia Antipolis
…,fmallet,rs}@(email omitted); Abstract The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE…
Add To MetaCart

Model-based Methodology for Requirements Traceability in Embedded Systems
by A. Albinet, J-l. Boulanger, H. Dubois, M-a. Peraldi-frati, Y. Sorel, Q-d. Van
… are interested in, we use the MARTE UML profile to model accurately time relationships through the different…
Cited by 1 (0 self) – Add To MetaCart

Marte CCSL and East-ADL2 Timing Requirements
by Frédéric Mallet, Marie-agnès Peraldi-frati, Charles André, Thème Com, Frédéric Mallet, Marie-agnès Peraldi-frati, Charles André, Thème Com Systèmes Communicants, Projet Aoste, Université De Nice Sophia Antipolis — 2008
… for Modeling and Analysis of Real-Time and Embedded systems (Marte) [15] aims at bringing in the missing…
Add To MetaCart

Combining CCSL and Esterel to specify and verify time requirements
by Charles André, Frédéric Mallet, Thème Com, Charles André, Frédéric Mallet, Thème Com Systèmes Communicants, Projet Aoste
… of capabilities required to model RTE systems including both discrete/dense and chronometric/logical time. MARTE…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB