@inproceedings{Sojer2013, author = {Reichenbach, Frank and Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {A Model-Driven Approach for Runtime Reliability Analysis}, booktitle = {Proceedings of the Sixth Latin-American Symposium on Dependable Computing}, journal = {Springer Computer Science - Research and Development}, year = {2013}, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, doi = {10.1007/s00450-011-0203-z}, keywords = {embedded, ftos}, url = {Sojer2012.pdf}, } @article{Sojer2012, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Deriving fault-detection mechanisms from safety requirements}, journal = {Springer Computer Science - Research and Development}, year = {2012}, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, doi = {10.1007/s00450-011-0203-z}, keywords = {embedded, ftos}, url = {Sojer2012.pdf}, } @inproceedings{Sojer2011a, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Synthesis of Diagnostic Techniques Based on an {IEC 61508}-aware Metamodel}, booktitle = {Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session}, year = {2011}, month = jun, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, doi = {10.1109/sies.2011.5953680}, keywords = {embedded, ftos}, } @inproceedings{Sojer2010c, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {{Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co.}}, booktitle = {Proceedings of the 3rd Embedded Software Engineering Congress}, year = {2010}, month = dec, keywords = {embedded, ftos}, url = {http://www.ese-kongress.de/tagungsband/}, } @inproceedings{Sojer2010d, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Propagation, Transformation and Refinement of Safety Requirements}, booktitle = {Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages}, year = {2010}, month = oct, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, keywords = {embedded, ftos}, url = {http://www.springer.com/computer/swe/book/978-3-642-21209-3}, } @article{Buckl2010b, author = {Buckl, Christian and Sojer, Dominik and Knoll, Alois}, title = {{FTOS}: Model-Driven Development of Fault-Tolerant Automation Systems}, journal = {Proceedings of the 15th {IEEE} International Conference on Emerging Techonologies and Factory Automation}, year = {2010}, month = sep, timestamp = 2010.05.27, owner = {Dominik Sojer}, doi = {10.1109/etfa.2010.5641211}, keywords = {embedded, ftos}, url = {Buckl2010b.pdf}, } @inproceedings{Sojer2010b, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems}, booktitle = {Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010)}, year = {2010}, month = apr, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, abstract = {Safety requirements are a very important artifact in the development of safety critical embedded systems. They are usually identified during safety analyses and are used by experts as a basis for the correct selection and implementation of safety mechanisms. Various safety analysis research groups have worked on formal modeling of safety requirements with the goal of determining if a system can meet these requirements. In this abstract, we propose the application of formal models of safety requirements throughout all development phases of a model-driven development process. The safety requirements identified during safety analysis can be used to automatically generate appropriate mechanisms in the code generation phase and to verify the suitability of this mechanisms in the verification phase. By establishing safety requirements as a formal basis of all process phases, a consistent development process can be achieved.}, keywords = {embedded, ftos}, url = {Sojer2010b.pdf}, } @techreport{Sojer2010a, author = {Sojer, Dominik and Buckl, Christian and Knoll, Alois}, title = {{S}tand und {A}nforderungen an eine {W}erkzeugunterstuetzung zur {E}ntwicklung von {A}utomatisierungssoftware}, number = {TUM-I1003}, year = {2010}, month = feb, institution = {Technische Universit{\"{a}}t M{\"{u}}nchen}, abstract = {Der Bericht entstand im Rahmen des, vom BMBF gef"orderten Projekts ``Software Platform Embedded Systems 2020 (SPES2020)'' im Teilprojekt Automatisierungstechnik. Wir bedanken uns bei den Industriepartnern Embedded4You und Siemens f"ur Ihre Unterst"utzung bei der Erstellung dieses Dokuments. Dieses Dokument beschreibt die spezifischen Anforderungen an Entwicklungs- und Testwerkzeuge zur Modellgetriebenen Softwareentwicklung der Partner des Anwendungsgebiets Automatisierungstechnik, welche durch die aktuell verf"ugbaren Werkzeuge noch nicht erf"ullt werden. Dabei werden projektorganisatorische Defizite behandelt, aber haupts"achlich werden konkrete Funktionen zum Umgang mit Modellen diskutiert, die zurzeit noch nicht zum Stand der Technik in industriell einsetzbaren Werkzeugen geh"oren.}, keywords = {embedded, ftos}, url = {Sojer2010a.pdf}, }