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)

• What is in a step: new perspectives on a classical question
• Hybrid Systems: Computation and Control
• Dynamic and formal verification of embedded systems: A comparative survey
• 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
• 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
• 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