| IMPORTANT DATES |
| Deadline for submission: |
2002-11-03 |
| Notification of acceptance: |
2003-01-11 |
| Deadline for final version: |
2003-02-16 |
| Early registration: |
2003-02-16 |
| Workshop: |
2003-05-14 -
2003-05-17 | | |
 CONFERENCE SCOPE |
|
WRTP'03 Call for Papers: PDF format (228kB), TXT format (11kB)
The workshop will
consist of formal presentations, discussions, and informal
meetings covering recent advances and current issues in
theory, applications, and technology of real-time programming
and real-time database management. It is intended to promote
interaction among researchers and practitioners and to
evaluate the maturity of new directions in real-time software
and real-time database systems. The topics to be covered
include, but are not limited to:
- Advances in real-time software engineering
- Real-time programming languages
- Requirements engineering methods for real-time systems
- Software analysis and design methods for
predictable
behaviour and verification & validation
- Object orientation in real-time environments
- Real-time systems issues
- Scheduling of real-time tasks and transactions
- Real-time concurrency control and resource management
- Real-time operating and database systems
- Real-time system architectures
- Communication in real-time systems
- Distributed real-time and database systems
- Formal methods in discrete control systems
- Formal methods for (re-)programmable logic controllers
- Formal verification of programs for logic controllers
- Safety critical computer control applications
- Design for safety, dependability and survivability
- Verification and validation of real-time software
- Fault tolerance
- New directions in real-time database systems
- Active and real-time databases, time-constrained rule
management
- Event monitoring under temporal constraints
- Transactions with temporal urgency and validity
constraints
- Real-time applications and experience
- Industrial applications and experience
- Evaluation of current real-time systems and databases
- Real-time/control systems with challenging time
constraints
| | |
