A toolset for modelling and verification of GALS systems

DOI10.1007/978-3-540-27813-9_47MaRDI QIDQ5312940zbMATH OpenOpenAlexFDO

Authors Sampada Sonalkar, Vijay D'Silva, N. Chandra, B. Vijayalakshmi

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal modelling and verification of GALS systems using GRL and CADP
• Automatic production of globally asynchronous locally synchronous systems
• Towards Performance Prediction of Compositional Models in Industrial GALS Designs
• Computer Aided Verification
• Synchronous programming techniques for embedded systems: Present and future

Cited in

(8)

• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
• Protocol verification with the Aldébaran toolset
• Reasoning about synchronization in GALS systems
• Formal modelling and verification of GALS systems using GRL and CADP
• Towards Performance Prediction of Compositional Models in Industrial GALS Designs
• Automatic production of globally asynchronous locally synchronous systems
• Validation of GSPN and SWN models through the PROD tool
• Computer Aided Verification

This page was built for publication: A toolset for modelling and verification of GALS systems

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