SCADE

swMATH829MaRDI QIDQ13576FDOQ13576

Author name not available (Why is that?)

Described by source

• SCADE: Synchronous Design and Validation of Embedded Control Software

Cited In (13)

• Hybrid Systems: Computation and Control
• Dynamic and formal verification of embedded systems: A comparative survey
• Modular code generation from synchronous block diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A metamodel for the design of polychronous systems
• What Is in a Step: New Perspectives on a Classical Question
• 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
• Title not available (Why is that?)
• Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement

This page was built for software: SCADE