Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A conceptual model of agile software development in a safety-critical context: A systematic literature review

Autor: Peter Nielsen, Lise Tordrup Heeager

Publikováno v: Tordrup Heeager, L & Nielsen, P A 2018, ' A conceptual model of agile software development in a safety-critical context: A systematic literature review ', Information and Software Technology, vol. 103, pp. 22-39 . https://doi.org/10.1016/j.infsof.2018.06.004
Tordrup Heeager, L & Nielsen, P A 2018, ' A Conceptual Model of Agile Software Development in a Safety-Critical Context : A Systematic Literature Review ', Information and Software Technology, vol. 103, no. November, pp. 22-39 . https://doi.org/10.1016/j.infsof.2018.06.004

Context Safety-critical software systems are increasingly being used in new application areas, such as personal medical devices, traffic control, and detection of pathogens. A current research debate is regarding whether safety-critical systems are b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d75dec500d79f40a76dc09f02b8b97b
https://pure.au.dk/ws/files/169238783/Heeager_2018_A_conceptual_model_of_agile.pdf

Formal Verification of the Danish Railway Interlocking Systems

Autor: Linh Hong Vu, Anne Elisabeth Haxthausen, Jan Peleska

Publikováno v: Vu, L H, Haxthausen, A E & Peleska, J 2014, Formal Verification of the Danish Railway Interlocking Systems . in M Huisman & J van de Pol (eds), Pre-proceedings of 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014) . University of Twente, C T I T Workshop Proceedings Series, no. WP 14-01, pp. 257-258, 14th International Workshop on Automated Verification of Critical Systems, AVoCS 2014, Enschede, Netherlands, 24/09/2014 .
Technical University of Denmark Orbit

In this paper, we present a method for formal verification of the new Danish railway interlocking systems. We made a generic and reconfigurable model of the behaviors and high-level safety properties of non-collision and nonderailment. This model acc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d6a78b362412749562b2250876261f28
http://orbit.dtu.dk/ws/files/102282365/publishedversion.pdf

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.