Code Generation From Hierarchical Concurrency Specifications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2001

Code Generation From Hierarchical Concurrency Specifications

Denis Roegel
Scott Smolka
  • Fonction : Auteur

Résumé

This paper explains how executable Java code is generated from hierarchical specifications in the Concurrency Factory specification and verification environment. Besides the ability to generate executable code from verified, abstract concurrency specifications, the paper's main contributions include: (1) new solutions to the well-known input/output guard-scheduling problem in the context of hierarchically configured concurrent systems; (2) code-generation algorithms that produce both thread-based Java code and distributed ADA code; (3) the use of the Concurrency Factory itself to verify an abstraction of each generated code module; in this sense, the Factory is self-verifying; and, finally, (4) a report on our experience in executing the generated code for simulation and debugging purposes in the case of the Rether real-time ethernet protocol.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
A01-R-404.pdf (165.97 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00107548 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107548 , version 1

Citer

Denis Roegel, Scott Smolka. Code Generation From Hierarchical Concurrency Specifications. [Intern report] A01-R-404 || roegel01a, 2001, 23 p. ⟨inria-00107548⟩
133 Consultations
26 Téléchargements

Partager

Gmail Facebook X LinkedIn More