SCADE: synchronous design and validation of embedded control software

DOI10.1007/978-1-4020-6254-4_2zbMATH Open1189.93012OpenAlexW125726805MaRDI QIDQ3564012FDOQ3564012

Authors: Gérard Berry 

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_2

Recommendations

• Hybrid Systems: Computation and Control
• Formal methods in designing embedded systems -- the SACRES experience
• Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system
• scientific article; zbMATH DE number 2080750
• Publication:4509910

zbMATH Keywords

model-based developmentsynchronous languagessafety-critical applications

Mathematics Subject Classification ID

Hierarchical systems (93A13) Control/observation systems involving computers (process control, etc.) (93C83)

Cited In (6)

• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• SCADE
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• Formal methods in designing embedded systems -- the SACRES experience
• Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system

This page was built for publication: SCADE: synchronous design and validation of embedded control software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3564012)