Applicable Formal Methods for Safe Industrial Products

Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Häftad, Engelska, 2023

Av Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, Wen-Ling Huang

1 099 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems.

Produktinformation

Utgivningsdatum2023-08-17
Mått155 x 235 x 19 mm
Vikt528 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor334
FörlagSpringer International Publishing AG
ISBN9783031401312

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it

Laudatio.- Jan Peleska - the Admirable Expert in Applicable Formal Methods for Safe Industrial Products.- Testing.- On Testing Ethical Autonomous Decision-Making.- Bringing RoboStar and RT-Tester together.- Implementation Relations for Distributed Testing.- Conformance Relations between Input/Output Languages.- On Scenario-Based Testing of Cyber-Physical Systems.- Railway Verification and Safety & Security.- Safety vs. Security { Why Separation of Concerns is a Good Strategy for Safety-Critical Systems.- Decomposing the Verification of Interlocking Systems.- Pattern-based risk identification for model-based risk management.- A Journey through Software Model Checking of Interlocking Programs.- Formal Modelling to Improve Safety and Security.- Intelligent Systems and Cyber-Physical Systems.- Time for Traffic Manoeuvres.- Safer than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.- Supervision of Intelligent Systems: An Overview.- Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems.- Towards A Unifying Framework for Uncertainty in Cyber-Physical Systems.- Tools and Techniques for Specification, Verification and Code Generation.- Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support.- Space Telemetry Analysis with PyContract.- An Intermediate Language-based Approach to Implementing and Verifying Communicating UML State Machines.- Polynomial Formal Verification of Complex Circuits using a Hybrid Proof Engine.- Debugging Frame Conditions.