Modeling Non-deterministic C Code with Active Objects - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2019

Modeling Non-deterministic C Code with Active Objects

Nathan Wasser
  • Function : Author
  • PersonId : 1161226
Asmae Heydari Tabar
  • Function : Author
  • PersonId : 1161227


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
Origin : Files produced by the author(s)

Dates and versions

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





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 View
24 Download



Gmail Facebook X LinkedIn More