A behavior-based ontology for supporting automated assessment of interactive systems

• A publisher interface of a component, identified by a set PTh of colours modeling possible publisher threads, is modeled with a transition TNE representing the notification of

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

In our extension, called Fractal Aspect Component (FAC for short), we introduce the notions of aspect component, aspect binding and aspect domain to the component model itself and

The human driving behaviors are modelled for the design of controller, refined by referential paths using evasive trajectory model, where linear and angular velocities are limited

In support to the implementation of risk-informed decision-making approaches, Probabilistic Safety Analysis (PSA) of modernizing Nuclear Power Plants (NPPs) demands

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