8481 articles  [version française]

inria-00071843, version 1

Component-based engineering of real-time JAVA : applications on a polychronous design platform

Jean-Pierre Talpin () a1, Bruno Le Dez 1, Abdoulaye Gamatié a1, Paul Le Guernic a1, David Berner a1

N° RR-4744 (2003)

Abstract: Rising complexity and performances of embedded systems, shortening time-to-ma- rket demands for digital equipments, growing installed bases of intellectual properties, stress high-level design as a prominent research topic to compensate a widening productivity gap. In this aim, we put the principles of polychronous design (i.e. multi-clocked and synchronous) to work in the context of the real-time Java programming language by introducing a method for modeling, transforming, verifying and simulating multi-threaded real-time Java components in the multi-clocked synchronous data-flow design language Signal. We put this technique to work for the component-based design and refinement of an even-parity checker with communication protocols.

  • a –  INRIA
  • 1:  ESPRESSO (INRIA - IRISA)
  • CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
  • Domain : Computer Science/Other
  • Keywords : POLYCHRONOUS MODEL OF COMPUTATION / COMPONENT-BASE ENGINEERING / EMBEDDED SYSTEM DESIGN / REAL-TIME JAVA
  • Internal note : RR-4744
 
  • inria-00071843, version 1
  • oai:hal.inria.fr:inria-00071843
  • From: 
  • Submitted on: Tuesday, 23 May 2006 18:56:32
  • Updated on: Friday, 26 January 2007 12:25:04