fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: ftos

Liste als BibTeX-Datei exportieren

2013

2012

2011

  • Juni 2011 Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel Dominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session, Details DOI BIB

2010

  • Dezember 2010 Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. Dominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the 3rd Embedded Software Engineering Congress, Details URL BIB
  • Oktober 2010 Propagation, Transformation and Refinement of Safety Requirements Dominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, Details URL BIB
  • September 2010 FTOS: Model-Driven Development of Fault-Tolerant Automation Systems Christian Buckl, Dominik Sojer und Alois Knoll Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, ():, September 2010. Details URL DOI BIB
  • April 2010 Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems Dominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), Details URL BIB
  • Februar 2010 Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware Dominik Sojer, Christian Buckl und Alois Knoll TUM-I1003, Technische Universität München, Details URL BIB