WRTP'04 Call for Papers: PDF format (137kB), TXT format (10kB)
WRTP 2004 will be held in
conjunction with IWSS 2004 - International Workshop on Software
Systems. IWSS aims at providing a critical survey of the current
status of tools, methods, and technologies for elaborating software
and complex systems. Particular emphasis will be laid on software
& systems engineering approaches useful in defined, building,
verifying today's many safety critical system
applications.
Within the framework of IWSS, programming of
real-time systems with its specification is one of the most critical
domains. Although pervading in more and more safety critical
computer control applications, the discipline still lacks systematic
elaboration and formalization. Further, novel methodologies and
techniques from general computing are making their way into the
real-time domain.
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
- Safety critical computer control applications
- Design for safety, dependability and survivability
- Verification and validation of real-time software
- Fault tolerance
- Formal methods in discrete control systems
- Formal methods for (re-)programmable logic controllers
- Formal verification of programs for logic controllers
- 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
For more detailed information see the WWW-Servers:
http://www.enre.umd.edu/iwss2004/ http://www.iie.uz.zgora.pl/wrtp04/ http://www.ifac-control.org/
|