Work

Semi-automatic safety analysis and optimization

Year: 2018

Type: conference-paper

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1145/3195970.3199857

Authors: Peter Munk, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton

Institution: Robert Bosch (Germany)

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

Open Access status: closed

Funders: Bundesministerium für Bildung und Forschung, Serbian Academy of Sciences and Arts

Award: Verbundprojekt: ARAMiS II - Entwicklungsprozesse, Methoden, Werkzeuge und Plattformen für sicherheitskritische Multicore Systeme

OpenAlex ID: W2809510328

FWCI: 2.844

Cites: 22

Cited by: 8

Related to: 10