Designing Reliable Real-Time Concurrent Object-Oriented Software Systems
English
Capozucca, Alfredo[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Guelfi, Nicolas[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09
2009
Honolulu
USA
[en] Coordinated Atomic Actions is a conceptual framework used to increase the reliability (by fault tolerance) of concurrent object-oriented software systems. An extension of this con-ceptual framework to support the modelling of real-time software systems has been proposed. In this work we present our proposal for improvements of this extension focusing on recovery process optimisation, non-determinism reduction and time-related constructs extension.