SCADE: Synchronous Design and Validation of Embedded Control Software

DOI10.1007/978-1-4020-6254-4_2zbMath1189.93012OpenAlexW125726805MaRDI QIDQ3564012

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

synchronous languagesmodel-based developmentsafety-critical applications

Mathematics Subject Classification ID

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

Related Items (1)

Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

This page was built for publication: SCADE: Synchronous Design and Validation of Embedded Control Software