Informatik an der TU Clausthal > Aktuelle > Dipl.-Inform. Axel Zechner

Dipl.-Inform. Axel Zechner

© Axel Zechner

Diplom-Informatiker
Axel Zechner

Institut für Informatik
Julius-Albert-Str. 4
38678 Clausthal-Zellerfeld

Besucheradresse:

Technische Universität Braunschweig
Informatikzentrum

Mühlenpfordtstr. 23, Raum 412
38106 Braunschweig

Tel. +49 (531) 391-3280
Fax +49 (531) 391-2277

axel.zechner(at)tu-clausthal.de

Interessen

  • Qualitätssicherung bei Software
  • Dependable Systems und Zertifizierung
  • Sicherheitskritische Systeme
  • Funktionale Sicherheit: IEC 61508, EN 50128, ISO DIS 26262
  • Qualitätsargumentationen mit Goal Structuring Notation
  • Risiko- und Qualitätsmanagement
  • Architekturentwurf und -bewertung
  • Softwareengineering

Veröffentlichungen

[HZ10] M. Huhn and A.Zechner

Arguing for Software Quality in an IEC 62304 Compliant Development Process.

In 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2010. to appear.

[HZ09a] A. Zechner and M. Huhn

Analysing dependability case arguments using quality models.

In 28th Internnational Conference on Computer Safety, Reliability and Security (SAFECOMP), 2009.

[ZH09] A. Zechner, and M. Huhn

Structural Analysis of Safety Case Arguments in a Model-based Development Environment

Tagungsband Modellbasierte Enwicklung eingebetteter Systeme V (MBEES 09), 2009

[HHZ08] M. Hagner, M. Huhn, and A. Zechner

Timing Analysis Using The MARTE Profile In The Design Of Rail Automation Systems.

4th European Congress on Embedded Realtime Software (ERTS 08), 2008 Details

[HFZG07] M. Huhn, B. Florentz, A. Zechner, and S. Gerken

Using Architecture Exploration in the Development of an Automated Train Operation Platform.

Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 07), 2007, 326-340 Details

[HHZ07] M. Hagner, M. Huhn, and A. Zechner

Ansätze zur effizienten Analyse von Qualitätsattributen im modellbasierten Entwurf in der Bahn-Domäne.

Workshop "`Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung"' der Software Engineering Konferenz, 2007 Details

 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2020