Abstract | ||
---|---|---|
This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported by a plug-in for the Rodin toolset. CODA augments Event-B with constructs for component-based modelling including components, communications ports, port connectors, timed communications and timing triggers. Component behaviour is specified through a combination of UML-B state machines and Event-B. CODA communications and timing are given an Event-B semantics through translation rules. Refinement is based on Event-B refinement and allows layered construction of CODA models in a consistent way. |
Year | DOI | Venue |
---|---|---|
2013 | 10.4204/EPTCS.115.3 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Field | DocType | Issue |
Coda,Port (computer networking),Programming language,Unified Modeling Language,Computer science,Parallel computing,Theoretical computer science,Finite-state machine,Semantics | Journal | 115 |
ISSN | Citations | PageRank |
2075-2180 | 0 | 0.34 |
References | Authors | |
10 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Butler | 1 | 1768 | 104.74 |
John Colley | 2 | 1 | 1.12 |
Andrew Edmunds | 3 | 22 | 3.92 |
Colin F Snook | 4 | 53 | 11.42 |
Neil Evans | 5 | 26 | 3.87 |
Neil Grant | 6 | 2 | 1.10 |
Helen Marshall | 7 | 0 | 0.34 |