A Transformation Framework for the Compositional Interchange Format for Hybrid Systems

Hendriks, Dennis; Schiffelers, R.R.H.; Hüfner, Martin; Sonntag, Christian

doi:10.3182/20110828-6-it-1002.03561

Cited by 6 publications

(4 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The design of the logic controller starts with a dynamic model of the process that is developed in the process simulator gPROMS (PSE (2010)), and a set of informal specifications for the logic controller as described in the section above. The gPROMS model is algorithmically transformed to the CIF (see Hendriks et al (2011)). The informal specification is used to design the logic controller within a multi-formalism environment utilizing the methodology and the tool described in the previous section.…”

Section: Results Of the Model-based Work Flowmentioning

confidence: 99%

Systematic Generation of Logic Controllers in a Model-based Multi-formalism Design Environment

Fischer

Hüfner

Sonntag

et al. 2011

IFAC Proceedings Volumes

View full text Add to dashboard Cite

Section: Results Of the Model-based Work Flowmentioning

confidence: 99%

Systematic Generation of Logic Controllers in a Model-based Multi-formalism Design Environment

Fischer

Hüfner

Sonntag

et al. 2011

IFAC Proceedings Volumes

View full text Add to dashboard Cite

“…Both cases are handled by applying text to model (T2M), model to model (M2M) and model to text (M2T) transformations. Based on previous experiences during the development of the Compositional Interchange Format [8], [9], transformations consist of many small transformations, each with their own concern, which can be composed into complete tool chains. In the next subsections, code generation and scheduling are explained in more detail.…”

Section: Synthesismentioning

confidence: 99%

Model-based specification, analysis and synthesis of servo controllers for lithoscanners

Schiffelers

Alberts

Voeten

2012

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

View full text Add to dashboard Cite

ASML is the world's leading provider of complex lithography systems for the semiconductor industry. Such systems consist of numerous servo control systems. To design such control systems, a multi-disciplinary model-based development environment has been developed. It is based on a set of domain specific languages (DSLs) describing A) the transducers and control logic, i.e. the application; B) the relevant subset of the hardware, i.e. the platform; and C) the mapping of the application on the platform. Models specified with these DSLs are used for different types of analysis, for example load prediction of computing nodes and networks between them. Furthermore, the behavioral specification present in the models is transformed into efficient C code that is executed in a hard real-time setting. Finally, the models are used during startup of a twinscanner to initialize the servo controllers and their execution platforms, and to schedule the control blocks on the computing nodes.

show abstract

“…The transformation framework used for model transformations to and from CIF is based on OMG [39] standards: Class diagrams, in the form of Ecore metamodels, are used for the conceptual definition of CIF; QVTo is used as the model to model transformation language; and Acceleo is used as the model to text (code) transformation language [22,48].…”

Section: Overview Of Work On Cifmentioning

confidence: 99%

“…For defining chains of transformations, the ToolDef [22] language has been defined. A syntax aware ToolDef editor has been generated by means of EMFText [48].…”

Section: Overview Of Work On Cifmentioning

confidence: 99%

Syntax and semantics of the compositional interchange format for hybrid systems

Agut

Beek

Rooda

2013

The Journal of Logic and Algebraic Programming

View full text Add to dashboard Cite

Different modeling formalisms for timed and hybrid systems exist, each of which addresses a specific set of problems, and has its own set of features. These formalisms and tools can be used in each stage of the embedded systems development, to verify and validate various requirements.The Compositional Interchange Format (CIF), is a formalism based on hybrid automata, which are composed using process algebraic operators. CIF aims to establish interoperability among a wide range of formalisms and tools by means of model transformations and cosimulation, which avoids the need for implementing many bilateral translators.This work presents the syntax and formal semantics of CIF. The semantics is shown to be compositional, and proven to preserve certain algebraic properties, which express our intuition about the behavior of the language operators. In addition we show how CIF operators can be combined to implement widely used constructs present in other timed and hybrid formalisms, and we illustrate the applicability of the formalism by developing several examples.Based on the formal specification of CIF, an Eclipse based simulation environment has been developed. We expect this work to serve as the basis for the formal definition of semantic preserving transformations between various languages for the specification of timed and hybrid systems.

show abstract

A Transformation Framework for the Compositional Interchange Format for Hybrid Systems

Cited by 6 publications

References 14 publications

Systematic Generation of Logic Controllers in a Model-based Multi-formalism Design Environment

Systematic Generation of Logic Controllers in a Model-based Multi-formalism Design Environment

Model-based specification, analysis and synthesis of servo controllers for lithoscanners

Syntax and semantics of the compositional interchange format for hybrid systems

Contact Info

Product

Resources

About