30 citations · 50 across the 4 of their papers we have counts for
4 papers
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
L. Besnard, T. Gautier, J. Ouy +9
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language na…
Software dependability modeling using an industry-standard architecture description language
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun +1
Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decision…
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
Ana E. Rugina, Karama Kanoun, Mohamed Kaaniche
ADAPT is a tool that aims at easing the task of evaluating dependability measures in the context of modern model driven engineering processes based on AADL (Architecture Analysis a…
An architecture-based dependability modeling framework using AADL
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaaniche
For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses su…