Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A specification-oriented semantics for the refinement of real-time systems
Theoretical Computer Science
Safety Critical Computer Systems
Safety Critical Computer Systems
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Defining Differentiation and Integration in Z
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Continuous action system refinement
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Towards probabilistic modelling in event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Augmenting formal development of control systems with quantitative reliability assessment
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
| Hi-index | 0.01 |
This paper investigates the use of the probabilistic and continuous extensions of action systems in the development and calculation of reliability of continuous, real-time systems. Rather than develop a new semantics to formally combine the existing extensions, it investigates a methodology for using them together, and the conditions under which this methodology is sound. A key feature of the methodology is that it simplifies the development process by separating the probabilistic calculations of system reliability from the details of the system's real-time, continuous behaviour.