SCADE

SCADE Suite® is a product line of the ANSYS® Embedded software family of products and solutions that empowers users with a Model-Based Development Environment for critical embedded software. With native integration of the formally-defined Scade language, SCADE Suite is the integrated design environment for critical applications spanning requirements management, model-based design, simulation, verification, qualifiable/certified code generation, and interoperability with other development tools and platforms.


References in zbMATH (referenced in 16 articles , 1 standard article )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Ju, Lei; Huynh, Bach Khoa; Roychoudhury, Abhik; Chakraborty, Samarjit: Performance debugging of Esterel specifications (2012)
  2. Santamaría, Daniel; Alarcón, Francisco; Jiménez, Antonio; Viguria, Antidio; Béjar, Manuel: Model-based design, development and validation for UAS critical software (2012)
  3. Brunette, Christian; Talpin, Jean-Pierre; Gamatié, Abdoulaye; Gautier, Thierry: A metamodel for the design of polychronous systems (2009)
  4. del Fabro, Marcos Didonet; Valduriez, Patrick: Towards the efficient development of model transformations using model weaving and matching transformations (2009)
  5. Frese, Udo; Hausmann, Daniel; Lüth, Christoph; Täubig, Holger; Walter, Dennis: The importance of being formal (2009)
  6. Islam, Shariful; Suri, Neeraj; Balogh, András; Csertán, György; Pataricza, András: An optimization based design for integrated dependable real-time embedded systems (2009)
  7. Lublinerman, Roberto; Szegedy, Christian; Tripakis, Stavros: Modular code generation from synchronous block diagrams: modularity vs. code size (2009)
  8. Nenova, Stefana; Kästner, Daniel: Worst-case timing estimation and architecture exploration in early design phases (2009)
  9. Berry, Gérard: SCADE: synchronous design and validation of embedded control software (2007)
  10. Heimdahl, Mats P.E.; George, Devaraj: On the effect of test-suite reduction on automatically generated model-based tests (2007)
  11. Labbani, Ouassila; Dekeyser, Jean-Luc; Boulet, Pierre: Mode-automata based methodology for Scade (2005)
  12. Loghi, Mirko; Margaria, Tiziana; Pravadelli, Graziano; Steffen, Bernhard: Dynamic and formal verification of embedded systems: A comparative survey (2005)
  13. Chartier, Pierre: ABS project: Merging the best practices in software design from railway and aircraft industries (2002)
  14. Berry, Gérard: Synchronous programming techniques for embedded systems: Present and future (2001)
  15. Camus, Jean-Louis; Le Sergent, Thierry: Combining SDL with synchronous data flow modelling for distributed control systems (2001)
  16. Caspi, Paul; Mazuet, Christine; Paligot, Natacha Reynaud: About the design of distributed control systems: The quasi-synchronous approach (2001)