• Twitter
  • LinkedIn
  • Xing
+49 7353 981781
Heicon Ulm
  • HOME
  • UNTERNEHMEN
  • PRODUKTE
  • HEICON BLOG
  • Deutsch
    • Deutsch
  • Menü Menü
Du bist hier: Startseite1 / strukturelle Coverage

Schlagwortarchiv für: strukturelle Coverage

RTCA DO331 Modellbasierte Entwicklung in der Luftfahrt

FuSi_Luftfahrt

Mit der Weiterentwicklung des RTCA DO178B zum RTCA DO178C sind auch vier sogenannte Supplementes entstanden. Der RTCA DO331 Modellbasierte Entwicklung ist eines dieser vier Supplements und er beschreibt die Anforderungen an die Modellbasierte Entwicklung und Verifikation in der Luftfahrt. Der nachfolgende Beitrag gibt Antworten auf folgende Fragen:

  • Wie ist der RTCA DO 331 Modellbasierte Entwicklung strukturiert?
  • Was bedeutet die Unterscheidung zwischen Spezifikationsmodell und Designmodell?

Weiterlesen

31. März 2018/0 Kommentare/von HEICON Global Engineering GmbH
https://heicon-ulm.de/wp-content/uploads/2018/03/DI1A6011_klein_Luftfahrt.jpg 528 684 HEICON Global Engineering GmbH https://heicon-ulm.de/wp-content/uploads/2020/07/heicon-logo-5.png HEICON Global Engineering GmbH2018-03-31 23:39:232021-01-10 11:48:48RTCA DO331 Modellbasierte Entwicklung in der Luftfahrt

Compiler für sicherheitsrelevante Software – Was ist zu tun?

FuSi_Allgemein

Der Compiler ist DAS zentrales „Tool“, welches man in jeden Software Produktentwicklung benötigt. Er bildet das Bindeglied zwischen der vom Menschen gut lesbaren Hochsprache (z.B. C und C++) und dem für den Hardwareprozessor interpretierbaren Maschinencode. Für die Entwicklung sicherheitsrelevanter Software nach entsprechenden Funktionalen Sicherheitsstandards wie ISO26262 (Auto), EN50128 (Bahn), IEC61508 (Automatisierung, Allgemein) oder DO178C (Luftfahrt) gelten für die während der Entwicklung verwendete Tools besondere Anforderungen (siehe Blogbeiträge zur Toolqualifikation aus 2016: Blog 1; Blog 2). Der Compiler spielt hier eine Sonderrolle. Einerseits ist er das zentrale Tool jeder Entwicklung, andererseits sind die in den Normen vorgeschlagenen Maßnahmen in der Praxis für Ihn nur bedingt anwendbar. Der Blog zeigt einen Prozess aus der Luftfahrt für die Compilerverifikation/-validation auf, der auch für andere Industrien sehr zu empfehlen ist. Weiterlesen

10. September 2017/0 Kommentare/von HEICON Global Engineering GmbH
https://heicon-ulm.de/wp-content/uploads/2015/01/DI1A6023_klein_Funktionale-Sicherheit.jpg 433 547 HEICON Global Engineering GmbH https://heicon-ulm.de/wp-content/uploads/2020/07/heicon-logo-5.png HEICON Global Engineering GmbH2017-09-10 22:40:202021-06-06 20:46:34Compiler für sicherheitsrelevante Software – Was ist zu tun?

Strukturelle Source Code Coverage und Requirements – Gibt’s da einen Zusammenhang?

B_Validation und Verifikation

Strukturelle Source Code Coverage: Wenn Sie neu in dem Bereich der Funktionalen Sicherheit tätig sind, dann werden Ihnen die Begriffe strukturelle Source Code Coverage und Requirements ziemlich schnell begegnen. Die Spezifikation von technischen Systemen mittels Requirements ist natürlich auch im nicht sicherheitskritischen Bereich sehr verbreitet. Dagegen spielt das Thema strukturelle Source Code Coverage außerhalb der Sicherheitstechnik praktisch keine Rolle.
In diesem Blog möchte ich mich mit diesen beiden Begriffen und den dahinter stehenden Prozesse beschäftigen. Insbesondere die Frage nach der gegenseitigen Abhängigkeit ist spannend. Weiterlesen

27. Juli 2016/0 Kommentare/von HEICON Global Engineering GmbH
https://heicon-ulm.de/wp-content/uploads/2020/06/DI1A5942_klein_VV_deutsch.jpg 431 553 HEICON Global Engineering GmbH https://heicon-ulm.de/wp-content/uploads/2020/07/heicon-logo-5.png HEICON Global Engineering GmbH2016-07-27 10:19:092021-06-06 20:04:51Strukturelle Source Code Coverage und Requirements – Gibt’s da einen Zusammenhang?

Kategorien

  • A_Requirement Engineering
  • B_Validation und Verifikation
  • C_Konfig-/ Änderungsmanagement
  • D_Security
  • FuSi_Allgemein
  • FuSi_Automotive
  • FuSi_Bahn
  • FuSi_Industrie
  • FuSi_Landwirtschaft
  • FuSi_Luftfahrt

Kontakt

HEICON Global Engineering GmbH
Dipl. Ing. (FH) Martin Heininger
Kreuzweg 22
88477 Schwendi

Tel.: +49 7353 – 98 17 81
Mobil: +49 176 – 24 73 99 60

Email: info[at]heicon-ulm.de

IMPRESSUM  |  DATENSCHUTZ

Nach oben scrollen