Article

Free access

Specification and Analysis of Timed and Functional TRMCS Behaviours

Authors:

Mauro Cioffi,

Flavio CorradiniAuthors Info & Claims

IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design

Page 31

Published: 05 November 2000 Publication History

PDF eReader

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.

References

[1]

{1} S. Balsamo, P. Inverardi, C. Mangano, F. Russo: Performance Evaluation of a Software Architecure: A Case Study. In IEEE Proceedings of IWSSD-9, 1998.

Digital Library

Google Scholar

[2]

{2} A. Bertolino, F. Corradini, P. Inverardi, H. Muccini: Architectural Abstraction to Support Analysis and Testing. Research Report 9/99, University of L'Aquila, 1999.

Google Scholar

[3]

{3} A. Bertolino, F. Corradini, P. Inverardi, H. Muccini: Deriving Test Plans from Architectural Description. ICSE'2000, pp. 220-229, 2000.

Digital Library

Google Scholar

[4]

{4} F. Corradini, M. Pistore: Specification and Verification of Timed Lazy Systems. In the Proceedings of MFCS'96, LNCS 1113, pp. 279-290, 1996.

Digital Library

Google Scholar

[5]

{5} X. Chen, F. Corradini: On the Specification and Verification of Performance Properties for a Timed Process Algebras. In the Proceedings of AMAST'97, LNCS 1349, pp. 123-137, 1997.

Digital Library

Google Scholar

[6]

{6} F. Corradini: On Performance Congruences for Process Algebras. Information and Computation 145, pp. 191-230, 1998.

Digital Library

Google Scholar

[7]

{7} F. Corradini, M. Pistore: 'Closed Interval Process Algebra' versus 'Interval Process Algebra'. Acta Informatica, 2000. To appear.

Digital Library

Google Scholar

[8]

{8} C. Ghezzi, D. Mandrioli, S. Morasca and M. Pezzé: A unified high-Level Petri net formalism for time-critical systems. IEEE Transaction on Software Engineering 17(2), pp. 160-172, 1991.

Digital Library

Google Scholar

[9]

{9} M. Hennessy, T. Regan: A process algebra for timed systems. Information and Computation 117, pp. 221- 239, 1995.

Digital Library

Google Scholar

[10]

{10} P. Inverardi, H. Muccini: Personal Communication.

Google Scholar

[11]

{11} J. Kramer, J. Magee: Exposing the skeleton in the coordination closet. In the Proceedings of COORDINATION' 97, Springer-Verlag LNCS 1282, pp. 18-31, 1997.

Digital Library

Google Scholar

[12]

{12} R. Milner: Communication and concurrency. International series on computer science, Prentice Hall International, 1989.

Digital Library

Google Scholar

Cited By

View all

Tivoli MFradet PGirault AGoessler G(2007)Adaptor synthesis for real-time componentsProceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems10.5555/1763507.1763528(185-200)Online publication date: 24-Mar-2007
https://dl.acm.org/doi/10.5555/1763507.1763528
Inverardi P(2002)The SALADIN projectACM SIGSOFT Software Engineering Notes10.1145/638574.63858527:3(38-43)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1145/638574.638585

Recommendations

Functional specification of time-sensitive communicating systems

A formal model and a logical framework for the functional specification of time-sensitive communicating systems and their interacting components are outlined. The specification method is modular with respect to sequential composition, parallel ...
TRMCS in TCOZ
IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design

The design of complex systems requires powerful mechanisms for modeling data, state, communication, and real-time behaviour; as well as for structuring and decomposing systems in order to control local complexity. Timed Communicating Object Z (TCOZ) ...
Ada/ANNA specification analysis

Comments

Information & Contributors

Information

Published In

IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design

November 2000

191 pages

ISBN:0769508847

Publisher

IEEE Computer Society

United States

Publication History

Published: 05 November 2000

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
135
Total Downloads

Downloads (Last 12 months)18
Downloads (Last 6 weeks)8

Reflects downloads up to 15 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tivoli MFradet PGirault AGoessler G(2007)Adaptor synthesis for real-time componentsProceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems10.5555/1763507.1763528(185-200)Online publication date: 24-Mar-2007
https://dl.acm.org/doi/10.5555/1763507.1763528
Inverardi P(2002)The SALADIN projectACM SIGSOFT Software Engineering Notes10.1145/638574.63858527:3(38-43)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1145/638574.638585

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Functional specification of time-sensitive communicating systems

TRMCS in TCOZ

Ada/ANNA specification analysis

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Abstract

References

Cited By

Recommendations

Functional specification of time-sensitive communicating systems

TRMCS in TCOZ

Ada/ANNA specification analysis

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations