• Political Science, Computer Science
  • Published 2001

THINK : vers une architecture de systèmes flexibles

@inproceedings{Fassino2001THINKV,
  title={THINK : vers une architecture de syst{\`e}mes flexibles},
  author={Jean-Philippe Fassino},
  year={2001}
}
L'objectif de cette these est de specifier et d'implanter une architecture de systeme d'exploitation flexibles. Cette architecture est nommee THINK. Nous montrons qu'il est possible de capturer sous la forme de canevas logiciels des concepts et des principes d'architecture rencontres dans les systemes d'exploitation centralises, embarques ou repartis. Ces concepts sont au nombre de trois ; des composants, des liaisons modelisant les interactions, et des domaines modelisant l'isolation. Cette… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Hardware Synthesis for Asynchronous Communications Mechanisms

  • 2008 International Conference of the Chilean Computer Science Society
  • 2008
VIEW 1 EXCERPT
CITES BACKGROUND

Modeling and verifying asynchronous communication mechanisms using coloured Petri nets

  • 2008 8th International Conference on Application of Concurrency to System Design
  • 2008
VIEW 1 EXCERPT
CITES BACKGROUND

Automating synthesis of asynchronous communication mechanisms

  • Fifth International Conference on Application of Concurrency to System Design (ACSD'05)
  • 2005
VIEW 1 EXCERPT
CITES BACKGROUND