Compiling for massively parallel architectures: a perspective
Microprocessing and Microprogramming - Special issue: parallel programmable architectures and compilation
Scheduling and Automatic Parallelization
Scheduling and Automatic Parallelization
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Specification and verification of time requirements with CCSL and Esterel
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
RT-simex: retro-analysis of execution traces
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
A systematic review on the definition of UML profiles
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
An automated process for implementing multilevel domain models
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Formal real-time model transformations in MOMENT2
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
A logic-based semantics for the verification of multi-diagram UML models
ACM SIGSOFT Software Engineering Notes
Towards the verification of multi-diagram UML models
Proceedings of the 34th International Conference on Software Engineering
Modeling road traffic signals control using UML and the MARTE profile
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Frontiers of Computer Science: Selected Publications from Chinese Universities
Analysis support for TADL2 timing constraints on EAST-ADL models
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Scenario-based verification in presence of variability using a synchronous approach
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
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.