Nu se pretează? Nu contează! La noi puteți returna bunurile în 30 de zile
Cu un voucher cadou nu veți da greș. În schimbul voucherului, destinatarul își poate alege orice din oferta noastră.
30 de zile pentru retur bunuri
There is a huge trend in computer systems towards distributed, open and adaptive systems of systems. The application domains of such systems are often safety-critical, and established safety engineering paradigms are not applicable without modifications. This thesis presents a framework that enables safety certification based on modular conditional safety certificates - ConSerts. ConSerts can be composed and evaluated at runtime, when all required information about the current system composition can be obtained.