2005
DOI: 10.1007/11576280_15
|View full text |Cite
|
Sign up to set email alerts
|

Jahuel: A Formal Framework for Software Synthesis

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
6
0

Year Published

2007
2007
2017
2017

Publication Types

Select...
4
2
1

Relationship

0
7

Authors

Journals

citations
Cited by 13 publications
(6 citation statements)
references
References 13 publications
0
6
0
Order By: Relevance
“…Our approach has been first integrated in an industry-strength RTSJ-compliant compilation infrastructure and run-time environment [28]: the model extraction and synthesis steps were interfaced with the Java-to-C TurboJ compilation chain [44] and our controller subsystem was part of the Expresso executive [16]. More recently, it was used as part of an MDE framework for real-time embedded systems comprising the formal, modeltransformation and code-generation tool Jahuel [5] and STMicroelectronics's FlexCC2 compilation technology [7].…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…Our approach has been first integrated in an industry-strength RTSJ-compliant compilation infrastructure and run-time environment [28]: the model extraction and synthesis steps were interfaced with the Java-to-C TurboJ compilation chain [44] and our controller subsystem was part of the Expresso executive [16]. More recently, it was used as part of an MDE framework for real-time embedded systems comprising the formal, modeltransformation and code-generation tool Jahuel [5] and STMicroelectronics's FlexCC2 compilation technology [7].…”
Section: Discussionmentioning
confidence: 99%
“…These are annotated with the timing constraints modelling the execution times of the corresponding code. These models can also be extracted automatically from application code, as was done in [28] and in [5] for annotated Java and C programs, respectively.…”
Section: Model Structure and Execution Modesmentioning
confidence: 99%
“…Basics of software/hardware models and a compositional constraint generation technique for concurrent loops are presented in previous work [21][22][23] and [24] respectively. In this paper we will extend this technique and show how to apply it to the tasks model, and we will focus on presenting the methodology for synthesizing and exploring software-level and hardware-level schedulers by using the technique for constraints generation and P-WARE tool [23] for simulation-driven performance evaluation.…”
Section: Our Approachmentioning
confidence: 99%
“…There are several approaches that have been proposed to overcome these issues. JAHUEL [6], for example, was proposed as a compilation tool chain to generate code that bridges the semantic gap between platformindependent modeling and platform-specific implementation. However, the system description language of JAHUEL, called FXML, does not support verification of behavioral aspects.…”
Section: Related Workmentioning
confidence: 99%