Code Generation From Hierarchical Concurrency Specifications

Denis Roegel 1 Scott Smolka
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Rapport
[Intern report] A01-R-404 || roegel01a, 2001, 23 p
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107548
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:01:00
Dernière modification le : mardi 24 avril 2018 - 13:36:34
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:59:04

Identifiants

  • HAL Id : inria-00107548, version 1

Collections

Citation

Denis Roegel, Scott Smolka. Code Generation From Hierarchical Concurrency Specifications. [Intern report] A01-R-404 || roegel01a, 2001, 23 p. 〈inria-00107548〉

Partager

Métriques

Consultations de la notice

255

Téléchargements de fichiers

38