Formal specification for real time cyber physical systems using aspect-oriented approach

Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011

Volumn , Issue , 2011, Pages 213-216

  Zhang, Lichen ^a  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Aspect oriented; Cyber Physical Systems; Formal Method; Object Z; Real Time; Timed CSP

Indexed keywords

ASPECT-ORIENTED; CYBER-PHYSICAL SYSTEMS; OBJECT-Z; REAL TIME; TIMED-CSP;

EMBEDDED SYSTEMS; FORMAL METHODS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 80055105764     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2011.37     Document Type: Conference Paper

References (13)

1. Graeme Smith. Thie Object-Z Specification Language [M]. Software Verification Research Centre University of Queensland. 2000
2. Reed G M, Roseoe A W. A timed model for communicating sequential processes[C]//Pro ICALP'86. Lecture Notes in Computer Science. Berlin:Springer, 1986.
3. Davies J. Schneider S. A Brief History of Timed CSP[J]. Theoretical Computer Science, 1995, 138(1):243-271.
4. Edward A.Lee. Cyber Physical Systems Desigu Challenges. Object Oriented Real-Time Distributed Computing (ISORC), 2008.11th IEEE International Symposium. January 23, 2008.
5. Kiczales G,et al.Aspect-Oriented Progranuning. In:proc.of the 11th European Conf. on Object-Oriented Programming. June 1997.
6. Aspect-Oriented Software Development. http://aosd.net.
7. Jonathan Bowen. Formal Specification and Documentation using Z[M]. 2003
8. Graeme Smith. The Object-Z Specification Language [M]. Software Verification Research Centre University of Queensland. 2000
9. J.S. Dong, L. Zucconi, and R Duke.Specifving parallel and distributed systems in Object-Z. In G. Agha and S. Russo, editors, The 2nd International Workshop on Software Engineering for Parallel and Distributed Systems. pages 140- 149, Boston, Massachusetts, 1997. IEEE Computer Society Press.
10. B. P. Mahony and J.S. Doug. Blending Object-Z and Timed CSP: An introduction to TCOZ. In The 20th International Conference on Software Engineering (ICSE'98). IEEE Computer Society Press, April 1998.
11. Jochen Hoenicke. Specification of Radio Based Railway Crossings with the Combination of CSP, OZ, and DC. http://citeseerx.ist.psu.edu/viewdoc/summary? doi=10.1. 1.21.4394
12. Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans. Verifying CSP-OZ-DC Specifications with Complex Data Typesand Timing Parameters. Integrated Formal Methods 2007, July 3rd
13. Ales JANOTA. Using Z Specification for Rail Way Interlocking Safety. Periodica Polytechnica Ser. Transp. ENG.VOL.28.NO.1-2,PP.39-53(2000)