Verification of Giotto based embedded control systems

MaRDI QIDQ5757088zbMATH OpenFDO

Authors Rajiv Kumar Poddar, Purandar Bhaduri

Publication date 24 August 2007

zbMATH Keywords

guided model translationreal-time verification

Mathematics Subject Classification ID

Theory of software (68N99) Formal languages and automata (68Q45) Design techniques (robust design, computer-aided design, etc.) (93B51)

Recommendations

• scientific article; zbMATH DE number 2080758
• scientific article; zbMATH DE number 2017341
• An engineering process for the verification of real-time systems
• Schedulability verification of embedded system AADL model based on timed automata
• Verification and synthesis of timing contracts for embedded controllers

Cited in

(6)

• A contribution to the validation of grafcet controlled systems
• Schedulability verification of embedded system AADL model based on timed automata
• scientific article; zbMATH DE number 2017341 (Why is no real title available?)
• scientific article; zbMATH DE number 2017343 (Why is no real title available?)
• scientific article; zbMATH DE number 2080758 (Why is no real title available?)
• Formal design and analysis of a gear controller

Describes a project that uses

Uses Software

• TAXYS
• Uppaal

This page was built for publication: Verification of Giotto based embedded control systems

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