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 17 articles , 1 standard article )

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

  1. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  2. Ivanov, Ievgen: On local characterization of global timed bisimulation for abstract continuous-time systems (2016)
  3. Ju, Lei; Huynh, Bach Khoa; Roychoudhury, Abhik; Chakraborty, Samarjit: Performance debugging of Esterel specifications (2012) ioport
  4. 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) ioport
  5. Brunette, Christian; Talpin, Jean-Pierre; Gamatié, Abdoulaye; Gautier, Thierry: A metamodel for the design of polychronous systems (2009)
  6. del Fabro, Marcos Didonet; Valduriez, Patrick: Towards the efficient development of model transformations using model weaving and matching transformations (2009) ioport
  7. 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) ioport
  8. Lublinerman, Roberto; Szegedy, Christian; Tripakis, Stavros: Modular code generation from synchronous block diagrams: modularity vs. code size (2009)
  9. Nenova, Stefana; Kästner, Daniel: Worst-case timing estimation and architecture exploration in early design phases (2009) ioport
  10. Berry, Gérard: SCADE: synchronous design and validation of embedded control software (2007)
  11. Heimdahl, Mats P.E.; George, Devaraj: On the effect of test-suite reduction on automatically generated model-based tests (2007) ioport
  12. Labbani, Ouassila; Dekeyser, Jean-Luc; Boulet, Pierre: Mode-automata based methodology for Scade (2005)
  13. Loghi, Mirko; Margaria, Tiziana; Pravadelli, Graziano; Steffen, Bernhard: Dynamic and formal verification of embedded systems: A comparative survey (2005)
  14. Chartier, Pierre: ABS project: Merging the best practices in software design from railway and aircraft industries (2002)
  15. Berry, Gérard: Synchronous programming techniques for embedded systems: Present and future (2001)
  16. Camus, Jean-Louis; Le Sergent, Thierry: Combining SDL with synchronous data flow modelling for distributed control systems (2001)
  17. Caspi, Paul; Mazuet, Christine; Paligot, Natacha Reynaud: About the design of distributed control systems: The quasi-synchronous approach (2001)