Modelling and implementing complex systems with timebands

SSIRI 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement

Volumn , Issue , 2010, Pages 1-13

  Woodcock, Jim ^a   Oliveiray, Marcel ^b   Burns, Alan ^a   Wei, Kun ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE   (Brazil)

Author keywords

Architecture; Circus; CSP; Event refinement; FDR; Java; JCSP; Real time systems; Requirements modelling; Time granularity; Timebands

Indexed keywords

COMPLEX SYSTEMS; CSP; JAVA CLASS LIBRARY; MODEL CHECKER; MODELLING TIME; PROCESS ALGEBRAS; REAL TIME REQUIREMENT; SYNCHRONISATION; TIME UNITS;

JAVA PROGRAMMING LANGUAGE; MODEL CHECKING; SOFTWARE RELIABILITY;

REAL TIME SYSTEMS;

EID: 77954825039     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSIRI.2010.7     Document Type: Conference Paper

References (22)

1. R.-J. Back and K. Sere, Superposition Refinement of Reactive Systems, Formal Aspects of Computing 8(3):324-346 1996.
2. Claudio Bettini, Curtis E. Dyreson, William S. Evans, Richard T. Snodgrass, and Xiaoyang Sean Wang, A Glossary of Time Granularity Concepts, Temporal Databases, Dagstuhl, 406-413, 1997.
3. Manfred Broy, Relating Time and Causality in Interactive Distributed Systems, Engineering Methods and Tools for Software Safety and Security, 75-130, IOS Press, 2009.
4. A. Burns, I. Hayes, G. Baxter, and C. Fidge, Modelling Temporal Behaviour in Complex Socio-Technical Systems, Technical Report YCS 390, University of York, 2005.
5. A. Cavalcanti and J. Woodcock, A tutorial introduction to CSP in Unifying Theories of Programming, Refinement Techniques in Software Engineering, LNCS 3167:220-268, Springer, 2006.
6. Formal Systems (Europe) Ltd, FDR2 User Manual, www.fsel. com, cited 1 April 2010.
7. J. Y. Halpern, Z. Manna, and B. C. Moszkowski, A hardware semantics based on temporal intervals, ICALP, LNCS 154:278-291, Springer, 1983.
8. C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
9. C. A. R. Hoare and He Jifeng, Unifying Theories of Programming, Prentice Hall International Series in Computer Science, 1998.
10. M. A. Jackson, Principles of Program Design, Academic Press, 1975.
11. M. A. Jackson, Software Requirements and Specifications, ACM Press Books, Addison-Wesley, 1995.
12. Carroll Morgan, Data Refinement by Miracles, Information Processing Letters 26(5):243-246 1988.
13. Carroll Morgan, Of wp and CSP, Beauty is our business: a birthday salute to Edsger W. Dijkstra, 319-326, Springer-Verlag, 1990.
14. B. Moszkowski, Reasoning about Digital Circuits, PhD thesis, Department of Computer Science, Stanford University, 1983.
15. B. Moszkowski, Executing Temporal Logic Programs, Cambridge University Press, 1986.
16. M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock, A UTP Semantics for Circus, Formal Aspects of Computing 21(1):3-32, 2007.
17. A. W. Roscoe, The Theory and Practice of Concurrency, Prentice-Hall International, 1998.
18. S. A. Schneider, Concurrent and Real-Time Systems: the CSP Approach, John Wiley & Sons, 1999.
19. P. H. Welch, Process Oriented Design for Java: Concurrency For All, PDPTA, CSREA Press, 2000.
20. J. Woodcock and A. Cavalcanti, The Semantics of Circus, 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B, pages 184-203, Springer-Verlag 2002.
21. J. C. P. Woodcock and A. L. C. Cavalcanti, A Tutorial Introduction to Designs in Unifying Theories of Programming, IFM 2004: Integrated Formal Methods, LNCS 2999, pages 40-66, Springer, 2004.
22. J. Woodcock, The Miracle of Reactive Programming, Unifying Theories of Programming: 2nd International Symposium, Springer, 2008.