Message from the General Chair |
Organizing and Program Committees |
Keynote Speech / Session 1: |
Intelligent Agent-Based Decision-Support Systems for Complex C[superscript 2] Applications / A. Stoyen |
Real-Time Issues / Session 2: |
Communicating TILCO: A Model for Real-Time System Specification / P. Bellini ; P. Nesi |
TILCO-X, an Extension of TILCO Temporal Logic |
On-Line Scheduling of Real-Time Distributed Computers with Complex Communication Constraints / P. Richard ; F. Cottet ; M. Richard |
A Method for Verifying Real-Time Properties of Ada Programs / T. Gerdsmeier ; R. Cardell-Oliver |
Panel: Issues with Web Site Software / Session 3: |
Formal Issues / Session 4: |
Verification of Hybrid Systems: Formalization and Proof Rules in PVS / E. Abraham-Mumm ; U. Hannemann ; M. Steffen |
Action Refinement for True Concurrent Real Time / M. Majster-Cederbaum ; J. Wu |
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms / A. Arazo ; Y. Crouzet |
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities / A. Puhakka |
Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective / F. DahlgrenSession 5: |
Industrial Experiences / Session 6: |
Quality Attribute Conflicts--Experiences from a Large Telecommunication Application / D. Haggander ; L. Lundberg ; J. Matton |
Can We Learn Anything from Hardware Preventive Maintenance? / M. Kajko-Mattsson |
Motivating the Corrective Maintenance Maturity Model (CM[superscript 3]) |
Panel: Dependability in Industrial Systems/Risk Management of Complex Systems / Session 7: |
Design Issues / Session 8: |
An Object-Oriented Analysis and Design Approach for Safe Object Sharing / K. Izuru |
Design Method for Conceptual Design of By-Wire Control: Two Case Studies / K. Ahlstrom ; P. Johannessen ; J. Torin |
Designing Distributed Component-Based Systems with DCL / F. Bubl ; A. Leicher |
A Framework for Analyzing and Organizing Complex Systems / S. Graupner ; V. Kotov ; H. Trinks |
The Problem of Platform Complexity / H. LawsonSession 9: |
Architectural Issues / Session 10: |
Towards a Framework for Architecting Mechatronics Software Systems / D. Chen ; M. Torngren |
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems / M. Katara ; T. Mikkonen |
Independent Proprietorship and Competition in Distributed Web Search Architectures / R. Khoussainov ; T. O'Meara ; A. Patel |
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty / J. Hicks ; Q. Zhu |
Testing Issues / Session 11: |
Using a Model Checker to Test Safety Properties / P. Ammann ; W. Ding ; D. Xu |
Techniques for Testing Component-Based Software / Y. Wu ; D. Pan ; M. Chen |
Module Testing Embedded Software--An Industrial Pilot Project / J. McDonald ; L. Murray ; P. Lindsay ; P. Strooper |
Analysis and Modeling / Session 12: |
Analysis of Self-Stabilization for Infinite-State Systems / H. Yen |
Parallel Machine Translation: Principles and Practice / F. Ren ; H. Shi |
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets / Y. Lu ; G. Wei ; T. Cheung |
Modelling Free Flight with Collision Avoidance / M. Massink ; N. De Francesco |
Authors' Index |
Message from the General Chair |
Organizing and Program Committees |
Keynote Speech / Session 1: |