Modeling Non-deterministic C Code with Active Objects - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Modeling Non-deterministic C Code with Active Objects

Nathan Wasser
  • Fonction : Auteur
  • PersonId : 1161226
Asmae Heydari Tabar
  • Fonction : Auteur
  • PersonId : 1161227

Résumé

Cheap and ubiquitous availability of multi-processor hardware provides a strong incentive to parallelize existing software. We aim to annotate existing sequential applications written in C with OpenMP directives that can be processed by compilers on high performance parallel computers. We adopt a model-based approach, where from sequential C-code a software model is extracted in a largely automatic fashion. The target is the modeling language ABS (Abstract Behavioral Specification), an active objects-language with formal semantics. ABS has been designed to be statically analyzable. We focus on the first stages of model-based parallelization: model extraction and validation. We define a behavior-preserving, fully automatic translation of a large fragment of sequential C that explicitly renders all possible execution sequences, then use automated test case generation to produce validation test cases.
Fichier principal
Vignette du fichier
490001_1_En_15_Chapter.pdf (565.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03769132 , version 1 (05-09-2022)

Licence

Paternité

Identifiants

Citer

Nathan Wasser, Asmae Heydari Tabar, Reiner Hahnle. Modeling Non-deterministic C Code with Active Objects. 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.213-227, ⟨10.1007/978-3-030-31517-7_15⟩. ⟨hal-03769132⟩
23 Consultations
24 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More