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

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

  1. Peng, Chao; Zeng, Haibo: Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement (2018)
  2. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  3. Ivanov, Ievgen: On local characterization of global timed bisimulation for abstract continuous-time systems (2016)
  4. Huhn, Michaela; Milius, Stefan: Observations on formal safety analysis in practice (2014)
  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)