SCADE: synchronous design and validation of embedded control software

DOI10.1007/978-1-4020-6254-4_2MaRDI QIDQ3564012zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

model-based developmentsynchronous languagessafety-critical applications

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Specification and validation of embedded systems using LUSTRE and ARGOS. Case study: The automatic headlight leveling system
• scientific article; zbMATH DE number 2080752 (Why is no real title available?)
• SCADE
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• Hybrid Systems: Computation and Control
• Formal methods in designing embedded systems -- the SACRES experience

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)