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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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

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

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