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, Juni 2011. 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, Dezember 2010. 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, Oktober 2010. 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), April 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, Februar 2010. Details URL BIB