ABSTRACT
Over the past decade, the complexity of safety critical systems has considerably grown. Systems have become larger and now involve a huge diversity of technologies. For instance, software components are widely embedded in systems regrouping electronic devices, sensors, actuators and mechanical structures. Developers impose precise requirements on these new systems concerning dependability, performance, correctness and safety. Well-specified modelling methods andlanguagesareneededtomanagetheirdevelopment, but also for the validation of their design. The study of these new systems brings up the issue of performing reliability studies during the conception phase.
