Giotto: a time-triggered language for embedded programming

Henzinger, Thomas A.; Horowitz, Benjamin; Kirsch, Christoph

doi:10.1109/jproc.2002.805825

Cited by 347 publications

(247 citation statements)

References 18 publications

Supporting

Mentioning

244

Contrasting

Unclassified

Order By: Relevance

“…The semantics of HybridUML has been obtained via transformation into the Hybrid Low-Level Language framework HL 3 , thereby obtaining semantically well-defined programs which can be executed in hard real-time. When compared to GIOTTO [HHK03], our HL 3 framework differs in the following aspects: (1) The HL 3 channel concept -corresponding to GIOTTO ports -explicitly supports visibility time stamps and scope. We regard these mechanisms as very helpful for ensuring consistent data views on different cluster nodes in time-triggered systems.…”

Section: Discussionmentioning

confidence: 99%

“…Based on the synchronized cluster time introduced above, the Scheduler dispatches activities according to the following concept: Periodic scheduling of flows and interface polling is pre-planned at compile time, following the principles introduced for GIOTTO [HHK03]. For optimization purposes, activities a whose changes become effective at logical HL 3 time (u 0 .u 1 ) may be scheduled simultaneously with activities b to be published at (v 0 .v 1 ) ≤ (u 0 .u 1 ), if the pre-states for a are based on the visibility at an earlier time tick (w 0 .w 1 ) < (v 0 .v 1 ).…”

Section: Hl 3 -The Hybrid Low-level Language Frameworkmentioning

confidence: 99%

See 1 more Smart Citation

Executable HybridUML and Its Application to Train Control Systems

Berkenkötter

Bisanz

Hannemann

et al. 2004

Integration of Software Specification Techniques for Applications in Engineering

View full text Add to dashboard Cite

Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the standard procedure for extending the Unified Modeling Language. The "intuitive semantics" of the syntactic extension is based on the semantics for hierarchic Hybrid Automata, as suggested by Alur et. al. In contrast to Alur's formalism, HybridUML allows to label transitions not only with conditions and assignments, but also with signals. Furthermore, our approach associates formal semantics by definition of a transformation from HybridUML specifications into programs of a "low-level" language which is both executable in hard real-time and semantically well-defined. When compared to approaches assigning semantics directly to the high-level constructs of a formal specification language, the transformation approach offers two main advantages: First, semantics can be more easily adapted to syntactic extensions by extending the transformation in an appropriate way. Second, all models are automatically executable, since the low-level language is.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Hl 3 -The Hybrid Low-level Language Frameworkmentioning

confidence: 99%

Executable HybridUML and Its Application to Train Control Systems

Berkenkötter

Bisanz

Hannemann

et al. 2004

Integration of Software Specification Techniques for Applications in Engineering

View full text Add to dashboard Cite

show abstract

“…Statemate [41] and SCADE [42] combine finite-state machines with a synchronous/reactive formalism [43]. Giotto [44] and TDL [45] combine FSMs with a time-driven MoC. Several hybrid systems modeling and simulation tools combine continuous-time dynamical systems with FSMs [46].…”

Section: Related Workmentioning

confidence: 99%

Disciplined Heterogeneous Modeling

Lee¹

2010

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. Complex systems demand diversity in the modeling mechanisms. One way to deal with a diversity of requirements is to create flexible modeling frameworks that can be adapted to cover the field of interest. The downside of this approach is a weakening of the semantics of the modeling frameworks that compromises interoperability, understandability, and analyzability of the models. An alternative approach is to embrace heterogeneity and to provide mechanisms for a diversity of models to interact. This paper reviews an approach that achieves such interaction between diverse models using an abstract semantics, which is a deliberately incomplete semantics that cannot by itself define a useful modeling framework. It instead focuses on the interactions between diverse models, reducing the nature of those interactions to a minimum that achieves a well-defined composition. An example of such an abstract semantics is the actor semantics, which can handle many heterogeneous models that are built today, and some that are not common today. The actor abstract semantics and many concrete semantics have been implemented in Ptolemy II, an open-source software framework distributed under a BSD-style license.

show abstract

“…Accurate and precise timing of task I/O requires mechanisms for event handling similar to the mechanisms needed for ZET programming. There are four LET programming languages, called Giotto [17], xGiotto [12], HTL [11], and TDL [36]. The notion of LET programming was introduced with Giotto, which supports the possibly distributed implementation of periodic tasks whose logical execution times must be equal to their periods.…”

Section: Program 13: a Periodic Task H Sharing Its State Using A Mutmentioning

confidence: 99%