Modeling Time(s)

Abstract: Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logical (rather than physical) nature, even possibly multiform. The compilation/synthesis of heterogeneous applications onto architecture platforms then largely amounts to adjusting the former logical time(s) demands onto the latter physical time abilities. Many distributed scheduling techniques pertain to this approach of time refinement. We provide extensive Time and Allocation metamodels that open the possibility to cast this approach in a Model-Driven Engineering light. We give a UML representation of these concepts through two subprofiles, parts of the foundations of the forthcoming OMG UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). Time modeling also allows for a precise description of time-related entities and their associated timed properties.

@inproceedings{AMS:MoDELS2007, author = {Charles Andr{\'e} and Fr{\'e}d{\'e}ric Mallet and Robert de Simone}, title = {Modeling Time(s)}, booktitle = {MoDELS}, year = {2007}, pages = {559--573}, ee = {http://dx.doi.org/10.1007/978-3-540-75209-7_38}, crossref = {DBLP:conf/models/2007}, bibsource = {DBLP, http://dblp.uni-trier.de} }

@proceedings{DBLP:conf/models/2007, editor = {Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil}, title = {Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings}, booktitle = {Model Driven Engineering Languages and Systems}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4735}, year = {2007}, isbn = {978-3-540-75208-0}, doi = {10.1007/978-3-540-75209-7_38}, bibsource = {DBLP, http://dblp.uni-trier.de} }