Modeling and formal analysis of real-time system via CCS

Proceedings - International Symposium on Computer Science and Computational Technology, ISCSCT 2008

Volumn 1, Issue , 2008, Pages 321-324

  Shu, Chen ^a   Qing, Wu Guo ^a  

^a WUHAN UNIVERSITY   (China)

Author keywords

CCS; Compatibility; Correctness; Real time; Substitutability

Indexed keywords

CCS; COMPATIBILITY; CORRECTNESS; REAL TIME; SUBSTITUTABILITY;

ALGEBRA; COMPUTERS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; MULTIPROCESSING SYSTEMS; QUALITY ASSURANCE;

REAL TIME SYSTEMS;

EID: 62349122440     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISCSCT.2008.194     Document Type: Conference Paper

References (18)

1. R. Milner, Communication and Concurrency, Prentice Hall, ISBN 0-131-15007-3, 1989.
2. R. Milne, A Calculus of Communicating Systems, Spinger-Verlag, ISBN 0-387-10235-3, 1980.
3. Florian Klein and Matthias Tichy, Building Reliable Systems based on SelfOrganizing MultiAgentSystems, SELMAS'06, May 22-23, 2006.
4. Yen, I.-L, Multiple invariant system design for fault-tolerant real-time applications Object-Oriented Real-Time Dependable Systems, Proceedings of WORDS '96, 1996.
5. Moser, L. E, Narasimhan, P. and Melliar-Smith, P. M, Object-oriented programming of complex fault-tolerant real-time systems, Proceedings of WORDS '96, 1996.
6. Bill Stoddart, Dominique Cansell, Modelling and Proof Analysis of Interrupt Driven Scheduling, Springer-Verlag Berlin Heidelberg, 2006
7. Devinder Thapa, Jaeil Park, Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller, International Conference on Computational Inteligence for Modelling Control (CIMCA'06), 2006.
8. Luigi Lavazza, Gabriele Quaroni, Combining UML and formal notations for modellingreal-time systems, ACM SIGSOFT Software Engineering Notes, Volume 26 Issue 5, September 2001.
9. NISSANKE, Realtime Systems, Prentice Hall, Englewood Cliffs, NJ., 1997.
10. LIU, L. Y. AND SHYAMASUNDAR, R. K. Static Analysis of Real-Time Distributed Systems, IEEE Trans. Softw. Eng. 16, 4. 1990.
11. ALUR, R., COURCOUBETIS, C., Model Checking for Real-Time Systems, Proceedings of the IEEE 5th Annual Symposium on Logic in Computer Science. 1990.
12. MOSER, L. E., RAMAKRISHNA, A Graphical Environment for the Design of Concurrent Real-Time Systems, ACM Trans. Softw. Eng. Methodol. 6, 1 (Jan.), 1997.
13. D. Brand and P. Zafiropulo, On communicating finite-state machines, Jof the ACM, 1983. 30(2):323-342, 1983.
14. Jaana Eloranta, Minimizing The Number Of Transitions With Respect To Observation Equivalence, BIT Computer Science and Numerical Mathematics Lawrence, KS, USA Volume 31, Issue 4, 1991.
15. Bard Bloom. Structured operational semantics as a specification language. In Proceedings of LICS '94. IEEE Computer Society Press, 1994.
16. D. Kozen, Results on the propositional mu-calculus. Theoretical Computer Science, 27:333-354, 1983.
17. R. Paige and R. Tarjan, Three partition refinement Algorithms, SIAM J. Comput, NO 6, 16, 1987.
18. Ranee Cleaveland, The Concurrency Factory software development environment, Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin/Heidelberg, 1996.