Applicable Formal Methods for Safe Industrial Products

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

AvAnne E. Haxthausen,Wen-ling Huang

Häftad, Engelska, 2023

Del i serien Lecture Notes in Computer Science

822 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2023-08-17
Mått:155 x 235 x 19 mm
Vikt:528 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:334
Förlag:Springer International Publishing AG
ISBN:9783031401312

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

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.