Abstract | ||
---|---|---|
We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of models. Each model is characterised by its granularity and precision. These models are then linked using superposition, a kind of event refinement, and a loose synchronisation of their time units, with respect to their precision. Our models are written using CSP and checked using the FDR model checker. More complicated models use Circus, the state-rich process algebra. We show how to implement such a timeband architecture using the JCSP Java class library. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/SSIRI.2010.7 | SSIRI |
Keywords | Field | DocType |
java,architecture,complex systems,communicating sequential processes,process control,complex system,algebra,asynchronous transfer mode,computer architecture,predictive models,synchronisation,software architecture,formal verification,quantum computing,computational modeling,real time systems,csp,computer science,testing,jcsp,real time,process algebra | Model checking,Programming language,Computer science,JCSP,Communicating sequential processes,Real-time computing,Granularity,Software architecture,Process calculus,Java,Formal verification | Conference |
Citations | PageRank | References |
1 | 0.38 | 5 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jim Woodcock | 1 | 534 | 77.08 |
Marcel Oliveira | 2 | 172 | 12.57 |
Alan Burns | 3 | 71 | 10.05 |
Kun Wei | 4 | 46 | 3.89 |