Improving Reusability of Model Transformations by Automating their Composition

Castellanos, Cuauhtemoc; Borde, Étienne; Pautet, Laurent; Gardoll, Sebastien; Vergnaud, Thomas

doi:10.1109/seaa.2015.76

Cited by 3 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work presented in [46] aimed at improving the reusability of model transformations by automating their composition. In particular, the authors proposed an automated model transformation chain by formalizing models and transformations using alloy.…”

Section: Binding and Automated Model Compositionmentioning

confidence: 99%

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

et al. 2021

View full text Add to dashboard Cite

The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.

show abstract

Section: Binding and Automated Model Compositionmentioning

confidence: 99%