Aniculaesei | Engineering of Safety in Automated Safety-Critical Systems through Design-time Verification and Runtime Validation of Environment Assumptions | Buch | 978-3-8439-5601-7 | sack.de

Buch, Englisch, 368 Seiten, Paperback, Format (B × H): 148 mm x 210 mm, Gewicht: 481 g

Reihe: Informatik

Aniculaesei

Engineering of Safety in Automated Safety-Critical Systems through Design-time Verification and Runtime Validation of Environment Assumptions


Erscheinungsjahr 2025
ISBN: 978-3-8439-5601-7
Verlag: Dr. Hut

Buch, Englisch, 368 Seiten, Paperback, Format (B × H): 148 mm x 210 mm, Gewicht: 481 g

Reihe: Informatik

ISBN: 978-3-8439-5601-7
Verlag: Dr. Hut

Automated systems are widely used in safety- and mission-critical applications. Their failure can lead to mission breakdowns and pose serious risks to human life. Due to their complexity, these systems require structured and rigorous development processes, including clearly defined verification and validation tasks to ensure safety. Formal verification methods applied during design-time provide proofs against specified safety properties. However, these methods are limited to the information available at design-time and face scalability challenges, restricting the size of verifiable systems. Testing complements these methods by using property monitors to check whether system behavior meets requirements during system tests.

Despite rigorous design-time verification, unforeseen events in the operational environment can introduce safety hazards. These hazards do not stem from system faults but rather from outdated or incorrect assumptions about the environment made during system design. The property monitors designed to check the system requirements cannot detect the assumption violation, because no explicit definition of the environment assumptions exists at design-time.

This thesis proposes an engineering approach that extends quality assurance goals in automated safety-critical systems to include the verification and validation of environment assumptions. During design, these assumptions are explicitly specified, and corresponding monitors are created. System testing then involves validating both the system's safety requirements and the environment assumptions. The approach is integrated in the system development process and is evaluated using two case studies: a mobile service robot performing hospital transportation tasks and an automotive function for precise vehicle speed estimation.

Aniculaesei Engineering of Safety in Automated Safety-Critical Systems through Design-time Verification and Runtime Validation of Environment Assumptions jetzt bestellen!

Autoren/Hrsg.

Aniculaesei, Adina
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.