Expressing and organizing real-time specification patterns via temporal logics

Journal of Systems and Software

Volumn 82, Issue 2, 2009, Pages 183-196

  Bellini, P ^a   Nesi, P ^a   Rogai, D ^a  

^a Department of Systems and Informatics ^*  (Italy)

Author keywords

Formal methods; Patterns; Real time specification pattern; Temporal logic; TILCO

Indexed keywords

SPECIFICATIONS; TEMPORAL LOGIC;

FORMAL SPECIFICATIONS; FORMAL VERIFICATIONS; PATTERNS; REAL-TIME SPECIFICATION PATTERN; SPECIFICATION PATTERNS; SYSTEM BEHAVIOUR; TILCO;

FORMAL METHODS;

EID: 58549102079     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2008.06.041     Document Type: Article

References (23)

1. Alavi, H., Avrunin, G., Corbett, J., Dillon, L., Dwyer M., Pasareanu, C., 2007. SAnToS Laboratory. Specification Patterns web site http://patterns.projects.cis.ksu.edu/.
2. Alur R., and Henzinger T.A. Logics and models of real time: a survey. In: de Bakker J., Huizing K., de Roever W.-P., and Rozenberg G. (Eds). Real Time: Theory in Practice, Lecture Notes in Computer Science vol. 600 (1992), Springer-Verlag 74-106
3. Alur, R., 1991. Techniques for automatic verification of real-time systems. Ph.D. thesis, Stanford University.
4. Bellini P., and Nesi P. TILCO-X an extension of TILCO temporal logic. Proceedings of the Seventh IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2001 (2001), IEEE Press, Skovde, Sweden 15-25
5. Bellini P., Mattolini R., and Nesi P. Temporal logics for real-time system specification. ACM Computing Surveys 32 1 (2000) 12-42
6. Bellini P., Nesi P., and Rogai D. IEEE Transactions on Software Engineering 32 6 (2006) 428-431
7. Clarke E.M., Emerson E.A., and Sistla A.P. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 2 (1986) 244-263
8. Douglass B.P. Real-Time Design Patterns (2003), Addison-Wesley
9. Dwyer, M.B., Avrunin, G.S., Corbett, J.C., 1999. Patterns in property Specifications for finite-state verification. In: Proceedings of the 1999 IEEE International Conference on Software Engineering, 1999, pp. 411-420.
10. Felder M., and Morzenti A. Validating real-time systems by history-checking TRIO Specifications. ACM Transactions on Software Engineering and Methodology 3-4 (1994) 308-339
11. Fowler M. Analysis Patterns: Reusable Object Models (1997), Addison-Wesley
12. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software (1994), Addison-Wesley
13. Gruhn, V., Laue, R., 2005a. Patterns for timed property specification. In: Proceedings of the Third International Workshop on Quantitative Aspects of Programming Languages (QAPL 05), Edinburgh, Scotland, 2005.
14. Gruhn, V., Laue, R., 2005b. Specification patterns for time-related properties. In: Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME05).
15. Konrad S., Cheng B.H.C., and Campbell L.A. Object analysis patterns for embedded systems. IEEE Transactions on Software Engineering 30 12 (2004) 970-992
16. Konrad, S., Cheng, B.H.C., 2005. Real-time specification patterns. In: Proceedings of the 27th International Conference on Software Engineering (ICSE05), St Louis, USA, May 2005.
17. Konrad, S., Cheng, B.H.C., 2006. Defining and using real-time specification patterns for embedded systems. Technical Report of Michigan State University, MSU-CSE-04-37, Revision of March 2006.
18. Koymans. Specifying real-time properties with metrics temporal logic. Real Time Systems 2 4 (1990) 255-299
19. Koymans R. Specifying message passing and time-critical systems with temporal logic. Lecture Notes in Computer Science vol. 651 (1992), Springer-Verlag
20. Manna Z., and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems (1992), Springer-Verlag, New York Inc.
21. Mattolini R., and Nesi P. An interval logic for real-time system specification. IEEE Transactions on Software Engineering (2001) 208-227
22. Moser L.E., Ramakrishna Y.S., Kutty G., Melliar-Smith P.M., and Dillon L.K. A graphical environment for the design of concurrent real-time systems. ACM Transactions on Software Engineering and Methodology 6 1 (1997) 31-79
23. Shaw M. Some patterns for software architecture. Pattern Languages of Program Design 2 (1996) 255-269