The UML Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems
has recently been adopted by the OMG. Its Time Model extends the informal and simplistic …

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 …

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 …

The Clock Constraint Specification Language (CCSL) has become popular for modeling and
analyzing timing behaviors of real-time embedded systems. However, it is difficult for …

This paper resumes the requirements engineering in a model-based methodology for
embedded automotive software. The methodology relies on two standard languages: EAST …

The Clock Constraint Specification Language (CCSL) has been widely acknowledged as a
promising system-level specification for the modeling and analysis of timing behaviors of …

The Clock Constraint Specification Language (CCSL) has been informally introduced in the
specifications of the\uml Profile for Modeling and Analysis of Real-Time and Embedded …

A refutation mechanism is introduced into logic programming, dual to the usual proof
mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the …

The specification of modeling and analysis of real-time and embedded systems (MARTE) is
an extension of the unified modeling language (UML) in the domain of real-time and …

In this paper, we present a new framework for non-rigid structure from motion (NRSFM) that
simultaneously addresses three significant challenges: severe occlusion, perspective …