Verification of timing properties in rapid system prototyping

Proceedings of the International Workshop on Rapid System Prototyping

Volumn 2003-January, Issue , 2003, Pages 47-53

  Drusinky, D ^a   Shing, Man Tak ^a  

^a Naval Postgraduate School   (United States)

Author keywords

Control systems; Logic design; Marine animals; Monitoring; Prototypes; Real time systems; Software prototyping; Time factors; Time series analysis; Timing

Indexed keywords

ANIMALS; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; LOGIC DESIGN; MONITORING; SOFTWARE PROTOTYPING; TIME SERIES ANALYSIS;

CONTROL SYSTEM SOFTWARE; MARINE ANIMALS; PROTOTYPES; RAPID SYSTEM PROTOTYPING; SCHEDULABILITY ANALYSIS; TIME FACTORS; TIMING; TIMING CONSTRAINT SATISFACTION;

REAL TIME SYSTEMS;

EID: 4944222422     PISSN: 10746005     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWRSP.2003.1207029     Document Type: Conference Paper

References (10)

1. J. Liu, Real-Time Systems, Prentice Hall, 2000.
2. Luqi, V. Berzins, and R. Yeh, "A Prototyping Language for Real-Time Software", IEEE Trans. on Software Eng., 14(10), 1988, pp. 1409-1423.
3. Luqi, "Real-Time Constraints in a Rapid Prototyping Language", Journal of Computer Languages, 18, 1993, pp. 77-103.
4. Luqi and M. Shing, "Real-Time Scheduling for Software Prototyping", Journal of Systems Integration, Special Issue on Computer Aided Prototyping, 6, 1996, pp. 44-72.
5. Luqi et. al., "DCAPS-architecture for distributed computer aided prototyping system", Proc. 12th International Workshop on Rapid System Prototyping, 2001, pp. 103-108.
6. A. Pnueli, "The Temporal Logic of Programs", Proc. 18th IEEE Symp. on Foundations of Computer Science, 1977, pp. 46-57.
7. B. T. Hailpern and S. Owicki, "Modular Verification of Communication Protocols", IEEE Trans of comm., COM-31(1), No. 1, 1983, pp. 56-68.
8. Z. Manna and A. Pnueli, "Verification of Concurrent Programs: Temporal Proof Principles", Proc. of the Workshop on Logics of Programs, Springer LNCS, 1981 pp. 200-252.
9. E. Chang, A. Pnueli and Z. Manna, "Compositional Verification of Real-Time Systems", Proc. 9th IEEE Symp. On Logic In Computer Science, 1994, pp. 458-465.
10. D. Drusinsky, "The Temporal Rover and ATG Rover", Proc. Spin2000 Workshop, Springer Lecture Notes in Computer Science, 1885, pp. 323-329.