This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to specify the dynamic behaviour of concurrent systems, using object-oriented modelling concepts together with a generalised arc set capable of coping with the complexity of the current embedded systems. This new Petri net meta-model can also be used to support a component-based development approach in the design of generic and parametrisable control-oriented software components for embedded systems
AbstractThis paper proposes a component model compliant with the current practice of Software Engine...
International audienceModel-based development for embedded system design ...
This paper deals with the formal modeling of dynamically reconfigurable systems using Petri nets. Dy...
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to speci...
The main purpose of this paper is to present an Object-Oriented PN model (shobi-PN) to specify indus...
We present an example of a construction of an embedded software system- a controller- from the forma...
We present an example of a construction of an embedded software system - a controller - from the for...
This paper presents a new modelling technique capable of mod-elling both control and data informatio...
[[abstract]]Embedded systems are an emerging field that has commanded attention and support from the...
Design of distributed embedded controllers can benefit from the adoption of a model-based developmen...
[[abstract]]Embedded systems are an emerging field that has commanded attention and support from the...
This paper focus mainly on the analysis phase, describing a UML-based approach for designing complex...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...
This book describes a model-based development approach for globally-asynchronous locally-synchronous...
Cross modeling in embedded systems development is proposed in the paper. The main idea consists in a...
AbstractThis paper proposes a component model compliant with the current practice of Software Engine...
International audienceModel-based development for embedded system design ...
This paper deals with the formal modeling of dynamically reconfigurable systems using Petri nets. Dy...
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to speci...
The main purpose of this paper is to present an Object-Oriented PN model (shobi-PN) to specify indus...
We present an example of a construction of an embedded software system- a controller- from the forma...
We present an example of a construction of an embedded software system - a controller - from the for...
This paper presents a new modelling technique capable of mod-elling both control and data informatio...
[[abstract]]Embedded systems are an emerging field that has commanded attention and support from the...
Design of distributed embedded controllers can benefit from the adoption of a model-based developmen...
[[abstract]]Embedded systems are an emerging field that has commanded attention and support from the...
This paper focus mainly on the analysis phase, describing a UML-based approach for designing complex...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...
This book describes a model-based development approach for globally-asynchronous locally-synchronous...
Cross modeling in embedded systems development is proposed in the paper. The main idea consists in a...
AbstractThis paper proposes a component model compliant with the current practice of Software Engine...
International audienceModel-based development for embedded system design ...
This paper deals with the formal modeling of dynamically reconfigurable systems using Petri nets. Dy...