Specification and Analysis of Timed and Functional TRMCS Behaviours
Mauro Cioffi, Flavio Corradini · 2000
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. 1. Introduction Nowadays, systems (software, hardware or a combination of the two) are more and more complex. They can assemble together a number of heterogeneous components, possibly with strict real-time constraints. We believe that formal system specifications, agreed as system abstractions /views, are of certain help and mandatory in order to properly design and develop such complex systems. In this paper we give different specifications of the Remote Medical Care System (TRMCS, for short). Besides its proper functional requirements, this system presents interesting timing constraints. They make the TRMCS a difficult case study to deal with. The di...