10 citations · 17 across the 5 of their papers we have counts for
5 papers · 1 filter
Automating Quality Assessment with NLP of LLM-Generated Defeaters
Tihomir Rohlinger, Daniel Ratiu, Stefan Wagner
High-integrity systems, such as autonomous vehicle fleets and large-scale energy infrastructures, rely on structured assurance cases to justify safety claims. To remain valid under…
Safety Factories - a Manifesto
Carmen Cârlan, Daniel Ratiu, Michael Wagner
Modern cyber-physical systems are operated by complex software that increasingly takes over safety-critical functions. Software enables rapid iterations and continuous delivery of…
Towards an Argument Pattern for the Use of Safety Performance Indicators
Daniel Ratiu, Tihomir Rohlinger, Torben Stolte +1
UL 4600, the safety standard for autonomous products, mandates the use of Safety Performance Indicators (SPIs) to continuously ensure the validity of safety cases by monitoring and…
Towards the adoption of model-based engineering for the development of safety-critical systems in industrial practice
Marc Zeller, Daniel Ratiu, Kai Hoefig
Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and c…
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, componen…