You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of York » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of York

Return to search Previous output Next output

Output 10 of 139 in the submission

Article title

A timeband framework for modelling real-time systems

Type

D - Journal article

DOI

10.1007/s11241-010-9094-5

Title of journal

Real-Time Systems

Article number

Volume number

Issue number

1-2

First page of article

106

ISSN of journal

0922-6443

Year of publication

2010

URL

http://link.springer.com/article/10.1007%2Fs11241-010-9094-5

Number of additional authors

Additional information

<03>This paper is the culmination of an extensive thread of collaborative research, undertaken as part of the EPSRC funded IRC DIRC (see http://www.dirc.org.uk/research/DIRC-Results/TimeBands.html). It subsequently formed the foundational technology for the EPSRC grants: INDEED and Tempo. Timeband notions have been utilised in hierarchical reasoning, software architectures, modelling emergent properties of systems and the recent development (primarily in the US) of Cyber-Physical Systems. Paper contains motivation for the Timeband Framework and includes a Z-based model. Subsequent work has produced a CSP-based model and a formalism using Cliff Jones' Rely/Guarantee conditions.

Interdisciplinary

Yes

Cross-referral requested

Research group

B - Real-Time Systems

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract