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 …

A UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)
has been recently standardized by the OMG. This initiative meets the needs of several …

Abstract Model-based approaches to system design are now widespread and successful.
These approaches make extensive use of model structure to describe systems using domain …

Providing proper support for debugging models at model-level is one of the main barriers to
a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use …

Ptolemy‡ is an open-source and extensible modelling and simulation framework. It offers
heterogeneous modeling capabilities by allowing different models of computation, both …

Ptolemy is an open-source and extensible modeling and simulation framework. It offers
heterogeneous modeling capabilities by allowing different models of computation to be …

Deliverable D2.3: Security requirements for automotive on-board networks based on dark-side
scenarios Page 1 Project acronym: EVITA Project title: E-safety vehicle intrusion protected …

We present a model-based architecture for monitoring executions of models of real-time and
embedded systems. This architecture is highly configurable and allows for the combination …

Development of distributed control applications within a standard framework was actually
the strongest motivation behind the introduction of IEC 61499. Yet, scarcity of its application …

Multiform logical time, introduced and made popular through its central role in Synchronous
Language theory, is already present in many formalisms pertaining to embedded system …