|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 7 van 7 gevonden artikelen
| Titel: |
Synchronous design of avionic applications based on model refinement |
| Auteur: |
Gamatié, Abdoulaye Gautier, Thierry Guernic, Paul Le |
| Verschenen in: |
Journal of embedded computing |
| Paginering: | Jaargang 2 (2008) nr. 3-4 pagina's 273-289 |
| Jaar: |
2008-11-18 |
| Inhoud: |
In this article, we address the design of avionic applications based on an approach, which relies on model refinement. This study is done within the synchronous framework, which has solid mathematical foundations enabling formal methods for specification, verification and analysis, transformations, etc. In the proposed approach, we first consider a functional description of a given application using the SIGNAL language. This description is independent of a specific implementation platform. Then, some transformations that fully preserve the semantics of manipulated SIGNAL programs are applied to the description such that a representation reflecting an integrated modular avionics architecture results. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 7 gevonden artikelen
| << vorige |