We propose a framework for component-based modeling using an abstract layered model
for components. A component is the superposition of two models: a behavior model and an …

This paper presents an overview on the IF toolset which is an environment for modelling and
validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the …

During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …

We present an overview of results developed mainly at Verimag, by the author and his
colleagues, on a framework for component-based construction, characterized by the …

Considered a standard industry resource, the Embedded Systems Handbook provided
researchers and technicians with the authoritative information needed to launch a wealth of …

Cyber-physical systems are becoming more and more complex, thereby increasing the cost
and time to ensure safety. They range from highly complex but finite state to infinite state …

Numerous component models have been proposed in the literature, a testimony of a subject
domain rich with technical and scientific challenges, and considerable potential …

Inthe? eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga
constantlyincreasinginterest. Thisisespeciallytrueforprocessalgebra. Althoughit had been …

Component based development is a promising approach for embedded systems. Typical for
embedded software is the presence of resource constraints in multiple dimensions. An …

Component Based Software Development (CBSD) is focused on assembling existing
components to build a software system, with a potential benefit of delivering quality systems …