Patterns for Timed Property Specifications

Electronic Notes in Theoretical Computer Science

Volumn 153, Issue 2 SPEC. ISS., 2006, Pages 117-133

  Gruhn, Volker ^a   Laue, Ralf ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

formal specification; patterns; real time; verification

Indexed keywords

COMPUTER SCIENCE; COMPUTER SOFTWARE; FINITE AUTOMATA; FORMAL LANGUAGES; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

AUTOMATIC MODEL CHECKING; FORMAL SPECIFICATION; PATTERNS; VERIFICATIONS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33646401524     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.10.035     Document Type: Article

References (15)

1. Alfonso A., Braberman V.A., Kicillof N., and Olivero A. Visual timed event scenarios. 26th International Conference on Software Engineering. (ICSE 2004) (2004) 168-177
2. Alur, R. and D.L. Dill, Automata for modeling real-time systems, in: Proceedings of the 17th International Colloquium on Automata, Languages and Programming (1990), pp. 322-335
3. Braberman, V.A. and M. Felder, Verification of real-time designs: Combining scheduling theory with automatic formal verification., in: ESEC / SIGSOFT FSE, 1999, pp. 494-510
4. Corbett, J.C., M.B. Dwyer, J. Hatcliff and Robby, A language framework for expressing checkable properties of dynamic software, in: SPIN, 2000, pp. 205-223
5. Dwyer M.B. Specification patterns web site. available at. http://patterns.projects.cis.ksu.edu
6. Dwyer, M.B., G.S. Avrunin and J.C. Corbett, Property specification patterns for finite-state verification, in: FMSP '98: Proceedings of the second workshop on Formal methods in software practice (1998), pp. 7-15
7. Dwyer, M.B., G.S. Avrunin and J.C. Corbett, Patterns in property specifications for finite-state verification, in: Proc. of the 21st international conference on Software engineering (1999), pp. 411-420
8. Flake S., and Müller W. Specification of real-time properties for UML models. Proceedings of the Hawai'i International Conference on System Sciences. (HICSS-35), Hawaii, USA (2002), IEEE
9. Graf S., Ober I., and Ober I. Model checking of UML models via a mapping to communicating extended timed automata. In: Graf S., and Mounier L. (Eds). Proceedings of SPIN'04 Workshop. Barcelona, Spain. LNCS 2989 (2004)
10. Henzinger, T.A., X. Nicollin, J. Sifakis and S. Yovine, Symbolic Model Checking for Real-Time Systems, in: 7th. Symposium of Logics in Computer Science (1992), pp. 394-406
11. Knapp, A., S. Merz and C. Rauh, Model checking - timed UML state machines and collaborations, in: Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (2002), pp. 395-416
12. Konrad, S. and B.H.C. Cheng, Real-time specification patterns, in: Proceedings of the 27th International Conference on Software Engineering (ICSE05), St Louis, MO, USA, 2005
13. Letier, E. and A. van Lamsweerde, Deriving operational software specifications from system goals, in: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (2002), pp. 119-128
14. Ober, I. and A. Kerbrat, Verification of quantitative temporal properties of SDL specifications, in: SDL '01: Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML (2001), pp. 182-202
15. Roubtsova E.E., van Katwijk J., Toetenel W.J., Pronk C., and de Rooij R.C.M. Specification of real-time systems in UML. Electr. Notes Theor. Comput. Sci. 39 (2000)