A metamodel for the design of polychronous systems
type: Item
instance of: scholarly article
title: A metamodel for the design of polychronous systems
zbMATH Open document ID: 1183.68282
author: Christian Brunette
author: Jean-Pierre Talpin
author: Abdoulaye Gamatié
author: Thierry Gautier
published in: The Journal of Logic and Algebraic Programming
publication date: 2009-04-29T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 5549330
zbMATH Keywords: embedded systems
zbMATH Keywords: software engineering
zbMATH Keywords: design environment
zbMATH Keywords: metamodeling
zbMATH Keywords: synchronous languages
zbMATH Keywords: model transformation
describes a project that uses: Matlab
describes a project that uses: SCADE
describes a project that uses: Simulink
describes a project that uses: SynDEx
describes a project that uses: LUSTRE
describes a project that uses: Esterel
describes a project that uses: MARTE
describes a project that uses: Polychrony
describes a project that uses: GME
MaRDI profile type: Publication
full work available at URL: j.jlap.2008.11.005
OpenAlex ID: W1988907288
cites work: Modelling, analysis and design of hybrid systems
cites work: Q4513619
cites work: Statecharts: a visual formalism for complex systems
cites work: Q3703299
cites work: Mode-automata: A new domain-specific construct for the development of safe critical systems.
cites work: Formal verification of programs specified with signal: Application to a power transformer station controller
DOI: 10.1016/J.JLAP.2008.11.005
description: scientific article; zbMATH DE number 5549330