Output details
11 - Computer Science and Informatics
University of York
Article title
A process algebraic framework for specification and validation of real-time systems
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
22
Issue number
2
First page of article
153
ISSN of journal
0934-5043
Year of publication
2010
Number of additional authors
3
Additional information
<07>Originality: This is the first timed model developed in the context of Hoare and He's unifying theories of programming (UTP). Rigour: Soundness is established by isomorphisms to existing UTP theories, and by calculating definitions for programming operators via these isomorphisms. Significance: The UTP is a model for design languages that integrate several paradigms; timing is an important addition due to its central role in control systems. This work has been taken forward by researchers all over the world to give semantics to other notations: RAISE, TCOZ, and synchronous languages. A co-author, He Jifeng, is one of the UTP designers.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Integrity Systems Engineering
Citation count
12
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
