SCADE

MaRDI QIDQ13576swMATHFDO

Official website http://www.esterel-technologies.com/products/scade-suite/

Described by source

• SCADE: synchronous design and validation of embedded control software

Cited in

(22)

• What is in a step: new perspectives on a classical question
• Dynamic and formal verification of embedded systems: A comparative survey
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 2080011 (Why is no real title available?)
• scientific article; zbMATH DE number 2080750 (Why is no real title available?)
• scientific article; zbMATH DE number 2033527 (Why is no real title available?)
• A metamodel for the design of polychronous systems
• Scicos
• SynDEx
• ScicosLab
• LUSTRE
• DLC
• LNT2LOTOS
• XTL
• Modechart
• GME
• Modular code generation from synchronous block diagrams: modularity vs. code size
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• scientific article; zbMATH DE number 1728506 (Why is no real title available?)
• Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement

This page was built for software: SCADE