Title :
Specification and analysis of timed and functional TRMCS behaviours
Author :
Cioffi, Mauro ; Corradini, Flavio
Author_Institution :
Dipt. di Matematica Pura ed Applicata, Univ. degli Studi di L´´Aquila, Italy
Abstract :
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
Keywords :
formal specification; medical computing; process algebra; temporal logic; Remote Medical Care System; critical system states; design decisions; formal specification; functional TRMCS behaviour; systems analysis; timed TRMCS behaviour; timed process algebra; Algebra; Assembly; Concrete; Delay; Hardware; Lab-on-a-chip; Specification languages; System recovery; System software; Timing;
Conference_Titel :
Software Specification and Design, 2000. Tenth International Workshop on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7695-0884-7
DOI :
10.1109/IWSSD.2000.891124
