Formal semantics of a VDM extension for distributed embedded systems

DOI10.1007/978-3-642-11512-7_10MaRDI QIDQ5187826zbMATH OpenOpenAlexFDO

Authors Jozef Hooman, Marcel Verhoef

Publication date 9 March 2010

Published in Concurrency, Compositionality, and Correctness (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11512-7_10

zbMATH Keywords

co-simulationembedded systemsformal semanticsmodelingspecification language

Mathematics Subject Classification ID

Distributed systems (68M14) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1408164
• scientific article; zbMATH DE number 1107557
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• scientific article; zbMATH DE number 1498420
• Distributed implementation of a process-algebra based programming language for embedded systems

Cites work

• Concurrent objects à la carte
• scientific article; zbMATH DE number 2130218 (Why is no real title available?)

Cited in

(2)

• scientific article; zbMATH DE number 5300323 (Why is no real title available?)
• Concurrent objects à la carte

Describes a project that uses

Uses Software

• PVS
• Overture Tool
• 20-sim

This page was built for publication: Formal semantics of a VDM extension for distributed embedded systems

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