Validating objected-oriented prototype of real-time systems with timed automata

Proceedings of the International Workshop on Rapid System Prototyping

Volumn 2002-January, Issue , 2002, Pages 99-106

  Shu, Guoqiang ^a   Li, Chao ^a   Wang, Qing ^a   Li, Mingshu ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Automata; Chaos; Formal verification; Logic; Object oriented modeling; Prototypes; Real time systems; Software prototyping; Timing; Unified modeling language

Indexed keywords

AUTOMATA THEORY; CHAOS THEORY; COMPUTATIONAL LINGUISTICS; FORMAL METHODS; FORMAL VERIFICATION; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE DESIGN; SOFTWARE PROTOTYPING; UNIFIED MODELING LANGUAGE; VERIFICATION;

AUTOMATA; LOGIC; OBJECT ORIENTED MODEL; PROTOTYPES; TIMING;

REAL TIME SYSTEMS;

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

References (16)

1. Yutaka Ishikawa,Hideyuki Tokuda,Clifford W.Mercer. Object Oriented Real-Time Language Design: Constructs for Timing Constraints. ECOOP/OOPSLA 90 Proceedings. October 1990.
2. Rajeev Alur, David Dill. Automata for Modeling Real-time Systems. LNCS 443. 1990.
3. th IEEE Symposium on Logic in CS. 1990.
4. th Int. Conf. on Computer Aided Verification. 1993.
5. Uno Holmer, Kim Larsen, Yi Wang. Deciding Propoties of Regular Timed Processes. LNCS 575. 1991.
6. Saksena, A. Ptak, P. Freedman, and P. Rodziewicz, Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models, IEEE Real-Time Systems Symposium 1998.
7. Thomas Bihari, Prabha Gopinath Karsten Schwan, Object-Oriented Design of Real-Time Software, IEEE Real-Time Systems Symposium 1989: 194-203
8. B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Technical report, ObjecTime, 1998
9. B.Selic,G.Gullekson,P.T.Ward. Real-Time Object-Oriented Modeling ,John Wiley and Sons,1994
10. nd IFIP Conf. on Formal Methods for Open OO Distributed Systems (FMOODS'97). 1997.
11. Andrea Maggiolo-Schettini, Adriano Peron. Semantics of Full State Charts Based on Graph Rewriting. Workshop Graph Transformation in Computer Science LNCS 776. 1994.
12. Johan Lilius ,Ivan Porres Paltor. vUML: A tool for verifying UML models.Technical Report 272, Turku Centre for Computer Science TUCS, 1999.
13. F. Jahanian and A.K. Mok. Safety Analysis of Timing Properties in Real-time Systems. IEEE Transactions on Software Engineering. 1986.9.
14. Rational Software et.al. UML Semantics . OMG document ad/97-08-04 1997
15. th Int. Conf. on Formal Description Techniques. 1994.
16. J.Z.Han,Ph.D Thesis, Chinese Academy of Science ,2001