In the context of an effort to answer the OMG RFP for modeling and analysis of real-time embedded systems (MARTE), we are defining extensions to the simple time model of UML2. After a brief review of some time-related UML profdes, we focus on the specificity of our approach: the ability to take account of multiform time - concept inherited from reactive system modeling. Using an example from the automotive industry, we illustrate the use of our profile to represent, to constraint and to analyze behaviors depending on multiform time.
A multiform time approach to real-time system modeling
2007
8 Seiten, 21 Quellen
Aufsatz (Konferenz)
Englisch
Automated Inspection of Multiform IC Leadframes
British Library Conference Proceedings | 1995
|Automated inspection of multiform IC leadframes
Kraftfahrwesen | 1995
|Exploring High-D Spaces with Multiform Matrices and Small Multiples
British Library Conference Proceedings | 2003
|A formal modeling and verification approach for real-time system
Tema Archiv | 2008
|