A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
A process algebra for timed systems
Information and Computation
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
“Closed interval process algebra” versus “Interval process algebra”
Acta Informatica
Communication and Concurrency
Specification and Verification of Timed Lazy Systems
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
On the Specification and Verification of Performance Properties for a Timed Process Algebra
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Exposing the Skeleton in the Coordination Closet
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Performance Evaluation of a Software Architecture: A Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
Adaptor synthesis for real-time components
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
| Hi-index | 0.00 |
In this paper, different specifications of the Remote Medical Care System are given by concentrating on both functional behaviour and timed behaviour. The analysis of these specifications puts forward critical system states that should be dealt with care during the system implementation. Full details on the design decisions are given.