Specification and verification of timed automaton using meta-modeling and graph grammars

Hamdane, Mohamed Elkamel; Chaoui, Allaoua

doi:10.1109/icadiwt.2011.6041415

Search citation statements

Order By: Relevance

Paper Sections

Select...

Meta-model Of Timed Automata1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2013

Publication Types

Select...

Article1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Inspired from the work [9], we propose a meta-model for timed automata. A timed automaton is composed of states, clocks and transitions.…”

Section: Meta-model Of Timed Automatamentioning

confidence: 99%

Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models

Hamdane¹,

Chaoui²,

Strecker

2013

JSEA

Self Cite

View full text Add to dashboard Cite

In this work, we propose an approach for the verification of the AADL architecture. This approach is based on Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation process in two steps: the first is a Model2 Model transformation which takes an AADL Model and produces the corresponding timed automata model. The second transformation is a Model2 Text transformation which takes a timed automata model and generates a text in ta-format code. This code is accepted by the Uppaal toolbox. A case study has been developed to show the feasibility and validity of the proposed approach.

show abstract

“…Inspired from the work [9], we propose a meta-model for timed automata. A timed automaton is composed of states, clocks and transitions.…”

Section: Meta-model Of Timed Automatamentioning

confidence: 99%

Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models

Hamdane¹,

Chaoui²,

Strecker

2013

JSEA

Self Cite

View full text Add to dashboard Cite

show abstract

Specification and verification of timed automaton using meta-modeling and graph grammars

Cited by 1 publication

References 12 publications

Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models

Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models

Contact Info

Product

Resources

About