Timed Chi: modeling, simulation and verification of hardware systems

MaRDI QIDQ2970246zbMATH OpenFDO

Authors K. L. Man

Publication date 29 March 2017

zbMATH Keywords

formal languagesformal methodsformal semanticsformal specification and analysis of hardware systemsprocess algebrasreal-time systemssoftware engineering research

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Formal specification and analysis of hardware systems in timed Chi
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• scientific article; zbMATH DE number 1487724
• scientific article; zbMATH DE number 1455620
• A process algebra for timed systems

Cited in

(5)

• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• scientific article; zbMATH DE number 1487724 (Why is no real title available?)
• Formal specification and analysis of hardware systems in timed Chi
• Redesign of a systems engineering language: formalisation of \(\chi\)

This page was built for publication: Timed Chi: modeling, simulation and verification of hardware systems

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