An action-based formal model for concurrent real-time systems-Reference-Cited by-同舟云学术

An action-based formal model for concurrent real-time systems

Published:1997-03 Issue:2 Volume:9 Page:175-207
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Fidge C. J.¹,Wellings A. J.²

Affiliation:

1. Department of Computer Science, The University of Queensland, 4072, Queensland, Australia

2. Real-time Systems Research Group, Department of Computer Science, University of York, York, UK

Abstract

Abstract Action systems are a formalism for representing concurrent behaviours, based on interleaved atomic actions. We show how this model can be used to represent time-consuming, pre-emptible actions with real-time constraints. A development procedure is described which captures the steps programmers typically undertake in the design of real-time multi-tasking systems.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01211618.pdf

Reference27 articles.

1. Applying new scheduling theory to static priority pre-emptive scheduling

2. An old-fashioned recipe for real time

3. Back R.J.R.: Refinement of parallel and reactive programs. Technical Report Caltech-CS-TR-92-23 California Institute of Technology 1992.

4. Back R.J.R.: Atomicity refinement in a refinement calculus framework. Technical Report 141 Abo Akademi Dept. of Computer Science March 1993.

5. Stepwise refinement of action systems;Back R.-J.;Structured Programming,1991

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conformance Checking of Real-Time Models;Theory and Practice of Formal Methods;2016

2. Deriving real-time action systems with multiple time bands using algebraic reasoning;Science of Computer Programming;2014-06

3. Deriving real-time action systems in a sampling logic;Science of Computer Programming;2013-11

4. Time Constraint Patterns for Event B Development;B 2007: Formal Specification and Development in B;2006

5. Specification and verification of fault-tolerance, timing, and scheduling;ACM Transactions on Programming Languages and Systems;1999-01