Super actors for real time

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Volumn , Issue , 2001, Pages 142-149

  Fortino, G ^a   Nigro, L ^a   Pupo, F ^a   Spezzano, D ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE REUSABILITY; CONSTRAINT THEORY; DISTRIBUTED COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; REQUIREMENTS ENGINEERING; SOFTWARE PROTOTYPING;

DISTRIBUTED REAL TIME SYSTEMS; SCHEDULING ALGORITHMS;

REAL TIME SYSTEMS;

EID: 0034831402     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2001.945125     Document Type: Conference Paper

References (15)

1. Statecharts: A visual formalism for complex systems
2. Using UML for modelling complex real-time systems
3. Using real time constraints for modularisation
4. Timing constraints and object-oriented design
5. Rtsynchronizer: Language support for real-time specification in distributed systems
6. A modular approach to real-time synchronisation
7. Abstracting interaction patterns: A programming paradigm for open distributed systems
8. Towards mechanization of real-time system design
9. Timing constraint Petri nets and their application to the schedulability analysis of real-time specifications
10. Schedulability analysis of real time actor systems using coloured petri nets
11. Safety analysis of timing properties in real-time systems
12. Specification of real-time interaction constraints