An integrated approach to specification and validation of real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2021 LNCS, Issue , 2001, Pages 278-299

  Sherif, Adnan ^a   Sampaio, Augusto ^a   Cavalcante, Sérgio ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; HIGH LEVEL LANGUAGES; INTEGRATED CONTROL; INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; FORMAL METHODS; SOFTWARE ENGINEERING; SPECIFICATIONS;

INTEGRATED APPROACH; ONBOARD COMPUTERS; RULE-BASED STRATEGY; TIMED CSP; Z SPECIFICATIONS; MICRO SATELLITE;

REAL TIME SYSTEMS;

EID: 35248884143     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45251-6_16     Document Type: Conference Paper

References (23)

1. G. Balbo. Performance Issues in Parallel Programming. In 13th International Conference on Application and Theory pf Petri Nets, volume 616, pages 1-23, Shefield, UK, 1992. Lecture Notes in Computer Science.
2. A. Bernstein and P.K. Harter. Proving Real-time Properties of Programs with Temporal Logic. In Proceedings 8thSymposium on Operating System Principles, ACM SIGOPS, pages 1-11, 1981.
3. S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A Theory of Communicating Sequential Processes. Journal of the Association for Computing Machinery, 31(3):560-599, July 1984.
4. S. D. Brookes and A. W. Roscoe. An improved failures model for communicating processes. In Lecture Notes on Computer Science, volume 197, pages 281-305, 1985.
5. S. V. Cavalcante. A Hardware-Software Co-Design System for Embedded Real-Time Applications. PhD thesis, Department of Electrical and Electronic Engineering, University of Newcastle upon Tyne, England, 1997.
6. A. R. de Paula Jr. Fault Tolerance Aspects of the SACI-1. VI Simpósio de Computadores Tolerantes a Falhas, 1995.
7. J. Davies and S. Schneider. A brief history of timed csp. Theoretical Computer Science, 138(2):243-271, 1995.
8. A. S. Evans. Visualising Concurrent Z Specifications. In J. P. Bowen and J. A. Hall, editor, Z User Workshop, pages 269-281, Cambridge, June 1994. Proceedings of the 8th Z User Meeting, Springer-Verlag Workshop in Computing.
9. C. Fischer. Combining CSP and Z. Technical report, University of Oldenburg, 1996.
10. C. Fischer. Combination and implementation of processes and data: from csp-oz to java. PhD thesis, University of Oldenburg, 2000.
11. Formal Systems (Europe) Ltd. FDR: User Manual and Tutorial, version 2.01, August 1996.
12. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze. A Unified High-level Petri Net Formalism for Time-Critical Systems. IEEE Transactions on Software Engineering, 17(2):160-172, 1991.
13. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
14. B. Mahony and J. Song Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In Proceedings of the 1998 Internaltional Conference on Software Engineering, pages 95-104, 1998.
15. A. Mazzeo, N. Mazzocca, S. Russo, C. Savy, and V. Vittorini. Formal Specification of Concurrent Systems: A Structured Approach. The Computer Journal, 41(3):145-162, 1998.
16. A. Mota. Formalização e Análise do SACI-1 em CSP-Z. Master's thesis, Departamento de Informática, Centro de Ciencias Exatas e da Natureza, UFPE, 1997.
17. A. Mota and A. Sampaio. Model-Checking CSP-Z, Strategy, Tool Support and Industrial Application. Science of Computer Programing, 39(1), 2000.
18. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall International, 1998.
19. G. M. Reed and A. W. Roscoe. A timed model for communication sequential processes. In Proceedings of ICALP '86, volume 226. Lecture Notes in Computer Science, 1986.
20. A. Sherif. Formal Specification and Validation of Real-Time Systems. Master's thesis, Centro de Informática, UFPE, 2000. http://www.di.ufpe. br/~ams/thesis.html.
21. M. E. Saturno and J. B. Neto. Software Requirement Specification for the OBC/SACI-1 Application Programs. Technical report, Instituto Nacional de Pesquisas Espaciais - INPE, 1995.
22. J. M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge Tracts in Theoretical Computer Science 3, 1988.
23. C. Suhl. RT-Z: An Integration of Z and timed CSP. In Proceedings of the 1st Internaltional Conference on Integrated Formal Methods, 1999.