Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Runtime Safety Analysis f… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Runtime Safety Analysis for Safe Reconfiguration

Paper i proceeding
Författare Claudia Priesterjahn
Christian Heinzemann
Wilhelm Schäfer
Matthias Tichy
Publicerad i IEEE 10th International Conference on Industrial Informatics, INDIN 2012. Beijing, 25 - 27 July 2012
ISBN 978-1-4673-0311-8
Publiceringsår 2012
Publicerad vid Institutionen för data- och informationsteknik (GU)
Språk en
Länkar dx.doi.org/10.1109/INDIN.2012.63009...
https://gup.ub.gu.se/file/86938
Ämnesord security and safety applications, self adaptive technologies, robust systems
Ämneskategorier Systemteknik, Programvaruteknik

Sammanfattning

Modern technical systems are increasingly built to exhibit self-x properties as, e.g., self-healing or self-optimization. For this, they require adaptation at runtime. This is even true for embedded or mechatronic systems which often operate in safety- critical environments. There, the effects of the adaptation with respect to safety must be analyzed carefully. However, not all parameters needed for safety analyses, e.g., the concrete system architecture, are known at design time. Consequently, safety analyses need to be executed during runtime. Current approaches of runtime safety analysis typically react to anomalies that already occurred in the system. Thus, unsafe system states cannot be excluded completely. We present a runtime safety analysis that prevents system states with an unacceptable risk that have not yet occurred. For this, we generate the reachable component structures at runtime and analyze them with respect to risk. The system is modified such that component structures with an unacceptable risk are not reachable any more and are thus prevented.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?