• Aucun résultat trouvé

Component Models and Models of Components

N/A
N/A
Protected

Academic year: 2022

Partager "Component Models and Models of Components"

Copied!
1
0
0

Texte intégral

(1)

Keynote 2

Component Models and Models of Components

Jan Carlson M¨alardalen University

We have worked in the intersection of component-based and model-based development, mostly targeting the domain of embedded systems, in a number of research projects ranging from development of new component models to model-level timing analysis and safety certification. This talk will present a few selected challenges as well as our general view of how a combination of models and components can be exploited in this domain.

Jan Carlsonis an associate professor at M¨alardalen University, Sweden. He received his M.Sc. degree in Computer Science from Link¨oping University in 2000, and his doctoral degree from M¨alardalen University in 2007. His current research focuses on component- and model based development of embedded systems, addressing areas such as architectural decision support, allocation optimization, model-level timing analysis, and code generation. Other research interests include event pattern detection, and analysis of shared stack usage.

Références

Documents relatifs

The lower layer describes the behavior of a component as a set of atomic compo- nents; the intermediate layer includes connectors describing interactions between transitions of

Performance analysis of the composed model shown in Fig.3(b) results in the utilization of the service transitions (labeled by a and b in Fig.3(b)) equal to 0.2222, which can easily

Composite component classes differ from primitive components in that their implementation is not defined by a single class but by an embedded architecture configura- tion, i.e., a

2. By strengthening the quality of components by taking into account their involvement in the global system that encapsulates them. The main idea consists in showing how to

This latter allows us to test, from a global behavior of a system, the behavior of its involved sub-systems and then guide the component testing intelligently by taking into account

A prerequisite of any component-based design is a crystal clear compo- nent concept that supports the precise specification of the services that are delivered and acquired across

As the knowledge of genetic interaction grows, state space explosion is becoming a limiting factor in the formal analysis of models in systems biology.. Modularity and

Charles Bonnet, en collaboration avec Alain Peillex, avec les contributions de Matthieu Demierre, Matthieu Poux et Matteo Campagnolo, Les fouilles de la cathé- drale Saint-Pierre