Folien zum Vortrag
Folien zum Vortrag
Folien zum Vortrag
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Safety Assessment – Technische Dokumente<br />
Design – im fertigen Dokument<br />
• Beschreibungssprachen<br />
‒ Informeller Text nach vorgegebenem<br />
Schema<br />
‒ UML (semiformale Methode)<br />
cmp Safety_OS_components<br />
«thread»<br />
Hook<br />
{0..4}<br />
«thread»<br />
OS Application::Task<br />
{0..*}<br />
OS Application<br />
OS Application::Application Data:<br />
MemProtBoundary::Application Data<br />
«thread»<br />
OS Application::ISR<br />
{0..*}<br />
{0..*}<br />
• Beschreibt…<br />
‒ Enthaltene Komponenten<br />
‒ Schnittstellen<br />
‒ Interne Abläufe<br />
MK_OS<br />
Hook Data :<br />
LocalData<br />
Stack :LocalData<br />
AUTOSAR_OS<br />
AUTOSAR_OS<br />
«delegate»<br />
SafetyOS_API<br />
«delegate»<br />
Task Data :LocalData<br />
Stack :LocalData<br />
AUTOSAR_OS<br />
QM-OS_delegated<br />
Safety OS<br />
ISR Data :LocalData<br />
Stack :LocalData<br />
AUTOSAR_OS<br />
Microkernel<br />
MK_OS<br />
«thread»<br />
QM-OS<br />
MK Data :LocalData<br />
Stack :LocalData<br />
QM-OS<br />
OS Data :LocalData<br />
Stack :LocalData<br />
A<br />
© Elektrobit (EB), 2012 / Confidential 28