130 likes | 368 Views
Administrative issues. Lab 5 Friday, Feb. 10 th 13:00-15:00 (and 15:00-17:00) Registration (mandatory!): os-lab@deeds.informatik.tu-darmstadt.de. Assessing AUTOSAR: Inside future automotive software Part of the lecture “OS Dependability and Fault Tolerance”. AUTOSAR Architecture.
E N D
Administrative issues Lab 5 Friday, Feb. 10th 13:00-15:00 (and 15:00-17:00) Registration (mandatory!): os-lab@deeds.informatik.tu-darmstadt.de
Assessing AUTOSAR:Inside future automotive softwarePart of the lecture“OS Dependability and Fault Tolerance”
AUTOSAR Architecture AUTOSAR is • Standardized software architecture • Layered • Component- / composition-based
AUTOSAR Architecture AUTOSAR is • Standardized software architecture • Layered • Component- / composition-based
Areas of Research Motivation: AUTOSAR / automotive systems are • Safety-relevant • Security-relevant • Robustness Evaluation • Fault injection • Error propagation analysis • Security Testing • Robustness and Security Enhancers • Run-time monitoring Flexible instrumentation with injectors and detectors required
Instrumentation of AUTOSAR Components Interface wrappers • Clone original interface • Hide original interface • Implement added functionality in clone • Call original interface from clone Example AUTOSAR model
Instrumentation of AUTOSAR Components AUTOSAR model • AUTOSAR implementation: • Varied data flow paths • Mixed black-box and white-box components
Challenges • Flexibility • Different locations in SW stack • Variety of applications (FI, monitoring, etc.) • Grey-box system, mixes • Black-box components • White-box components • Systematic and automatic • Tool-independent • Vendor-independent
Student Projects • Instrumentation Framework (Paul Manns) • AUTOSAR model (ARXML) as input • Configuration on the model level (vs. implementation level) • Supports Application and RTE layers • Instrumentation of .c-files, .h-files, .o-files (black-box, grey-box, white-box) • Instrumenting BSW components (Manuel Pütz) • BSW description not part of ARXML • Different granularity • Monitor and inject (sub-)system-wide
Student Projects • Fault Injection Framework (Michael Tretter) • Development of a generic, adaptive FI framework • High degree of abstraction • Wide variety of fault-models • Proof-of-concept for AUTOSAR • Security Testing (Jannik Kappes) • Vulnerability analysis and classification • Current approaches (Koscher’10, Checkoway’11) target external attack surfaces complex, undirected • Testing at component level allows for finer granularity
Outlook Assessment of AUTOSAR 4 safety features: • Mixed criticality systems • Memory partitioning / protection • User- / supervisor-modes • Deterministic timing of SW components • Detect and control timing violations • Prevent their propagation • Control-flow monitoring • Based on Watchdog and checkpoints We offer seminar and thesis works in these areas