Veröffentlichungen 2011

Ernst Althaus, Rouven Naujoks, and Eike Thaden: A Column Generation Approach to Scheduling of Periodic Tasks, Experimental Algorithms. 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings, Lecture Notes in Computer Science / Programming and Software Engineering, 2011.

Thorsten Arendt, Sieglinde Kranz, Florian Mantz, Nikolaus Regnat, Gabriele Taentzer: Towards Syntactical Model Quality Assurance in Industrial Software Development: Process Definition and Tool Support. Software Engineering 2011, 21.-25. Februar 2011, Karlsruher Institut für Technologie (KIT), 2011.

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber: Architecture Modeling. OFFIS Technical Report, 2011.

Christian Buckl, Michael Geisinger: Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems. In Tagungsband Embedded Software Engineering Kongress, 2011.

Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, and Eike Thaden: Automating the Design Flow for Distributed Embedded Automotive Applications: Keeping Your Time Promises, and Optimizing Costs, too. Proc. International Symposium on Industrial Embedded Systems (SIES'11), pp.156-165, 2011

Alarico Campetelli, Florian Hölzl, Philipp Neubeck: User-friendly Model Checking Integration in Model-based Development. In: Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011

Clark, Brian; Stierand, Ingo; Thaden, Eike: Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints. Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011). Research in Applied Computation Symposium, 2011.

Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand: Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011 , pp.1-6, 14-18, 2011.

M. Foehr, A. Lüder, T. Jäger, A. Fay, T. Wagner: Development of a method to analyze the impact of manufacturing systems engineering on product quality. In: Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'2011, September 5-9, 2011 in Toulouse, France, ISBN: 978-1-4577-0016-3, 2011.

Gezgin, Tayfun, Weber, Raphael, Girod, Maurice: A Refinement Checking Technique for Contract-Based Architecture Designs. Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems, 2011.

Hans-Joachim Goltz: An Interactive Scheduling Tool for Multi-Core Processor Systems; in: Proceedings "Embedded World Conference", 1.-3.3.2011; Nürnberg, Germany, 2011.

Markus Herrmannsdoerfer, Daniel Ratiu und Maximilian Koegel. Metamodel Usage Analysis for Identifying Metamodel Improvements. In: Software Language Engineering, 2011.

Markus Herrmannsdoerfer, Sander Vermolen und Guido Wachsmuth. An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In: In: Software Language Engineering, 2011.

Markus Herrmannsdoerfer: COPE - A Workbench for the Coupled Evolution of Metamodels and Models. In: Software Language Engineering, 2011.

Robert Hilbrich 2011: Planung sicherheitskritischer Systeme - Tool schreibt Ablaufpläne für Multi-Core-Systeme, Innovisions, 2011.

Robert Hilbrich, J. Reinier van Kampenhout, Hans-Joachim Goltz: Modellbasierte Generierung von statischen Schedules für sicherheitskritische, eingebettete Systeme mit Multicore Prozessoren und harten Echtzeitanforderungen, Workshop Echtzeit 2011, 03./04.11.2011 (Boppard, Deutschland) , 2011.

Robert Hilbrich und J. Reinier van Kampenhout: Partitioning and Task Transfer on NoC-based Many-Core Processors in the Avionics Domain, 4. Workshop: Entwicklung zuverlässiger Software-Systeme (Stuttgart, Deutschland) und Journal "Softwaretechniktrends", June 30, 2011.

Robert Hilbrich und Hans-Joachim Goltz: Model-based Generation of Static Schedules for Safety Critical Multi-Core Systems in the Avionics Domain, In Proceedings of the 4th international Workshop on Multicore Software Engineering (Hawaii, USA, May 21 - 28, 2011). IWMSE '11. ACM, New York, NY, 56-57, 2011.

Robert Hilbrich: Virtualisierung für die "Kleinen" - Warum auch eingebettete Systeme von Virtualisierungstechniken profitieren können, um die Performance von Multicore Prozessoren optimal zu nutzen, Elektronik automotive 11/2011, 2011.

Kai Höfig: Timing Overhead Analysis for Fault Tolerance Mechanisms. In: Software Engineering 2011 Wokshopband, Lecture Notes in Informatics, Bonn 2011, pp. 89-98, 2011

Kai Höfig, Dominik Domis: Failure-Dependent Execution Time Analysis. In: ISARCS 2011 Proceedings, 2011.

Kai Höfig: FDTA - A Tool Chain for Failure Dependent Timing Analysis. In: WCET 2011 Proceedings, 2011.

Jörg Holtmann, Jan Meyer; Matthias Meyer: A Seamless Model-Based Development Process for Automotive Systems. In: "Ralf Reussner; Alexander Pretschner; Stefan Jähnichen Hrsg.": Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), GI-Edition - Lecture Notes in Informatics (LNI), vol. P-184. Bonner Köllen Verlag, Bonn, 2011; S. 79-88. (link), 2011.

Jörg Holtmann, Jan Meyer; Markus von Detten: Automatic Validation and Correction of Formalized, Textual Requirements. In: Proceedings of the IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2011. IEEE Computer Society, Los Alamitos, CA, USA, 2011; S. 486-495. (link), 2011.

Hardi Hungar: Compositionality with Strong Assumptions. Nordic Workshop on Programming Theory, 2011

Tobias Jäger, Alexander Fay, Thomas Wagner: Systematische Erfassung und Bewertung von gewerkeübergreifenden Schnittstellen in Engineering-Workflows 8. Symposium Informationstechnologien für Entwicklung und Produktion in der Verfahrenstechnik, 02. - 03. März 2011, Frankfurt am Main, 2011.

Tobias Jäger, Alexander Fay, Helmut Figalist, Thomas Wagner: Systematische Risikominimierung im Engineering mit Abhängigkeitsanalyse und Schlüsseldokumenten Vorgehen und Ergebnisse einer Fallstudie zur Erfassung der gewerkeübergreifenden Informationsschnittmenge im Engineering automatisierter Anlagen. In: VDI-Bericht 2143 Tagungsband Automation 2011, 28.- 29. Juni 2011, Baden-Baden, 2011.

T. Jäger, A. Fay, T. Wagner, U. Löwen: Mining technical dependencies throughout engineering process knowledge. In: Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'2011, September 5-9, 2011 in Toulouse, France, ISBN: 978-1-4577-0016-3, 2011.

Lackner, Tahirbegovic: Nicht kapitulieren, sondern automatisieren. medizin & technik Ausgabe 5/11, S. 24-25, September 2011 (E-Paper), (link), 2011.

Meike Lim: Qualitätssicherung medizinischer Software - Durchgängig automatisiert testen. Medizin+Elektronik 02/2011, S. 39-41, 2011

Ulrich Löwen, Thomas Wagner: Analyse von Engineering-Workflows als Basis für den optimalen Einsatz von Engineering-Werkzeugen. 8. Symposium Informationstechnologien für Entwicklung und Produktion in der Verfahrenstechnik, 02. - 03. März 2011, Frankfurt am Main, 2011.

Jan Meyer; Jörg Holtmann: Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: "Holger Giese; Michaela Huhn; Jan Philipps; Bernhard Schätz Hrsg.": Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII. fortiss GmbH, München, 2011; S. 21-30.(link), 2011.

Jan Meyer; Jörg Holtmann; Matthias Meyer: Formalisierung von Anforderungen und Betriebssystemeigenschaften zur frühzeitigen Simulation von eingebetteten, automobilen Systemen. In: "Jürgen Gausemeier; Franz Rammig; Wilhelm Schäfer; Ansgar Trächtler Hrsg.": 8. Paderborner Workshop Entwuf mechatronischer Systeme, HNI-Verlagsschriftenreihe, vol. 294. Heinz Nixdorf Institut, Paderborn, 2011; S. 203-215. (link), 2011.

A. Post, I. Menzel, A. Podelski: Applying restricted English grammar on automotive requirements - does it work? A case study. In: Proc. 17th Intl. Working Conference on Requirements Engineering - Foundation for Software Quality (REFSQ 2011, Essen, Germany, March 28 - March 30, 2011); Springer-Verlag, Berlin, Heidelberg, 2011.

Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, and Stefan Henkler: A pattern-based requirement specification language Mapping automotive specific timing requirements. In: Workshopband Software Engineering 2011, GI-Edition Lecture Notes in Informatics (LNI), Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020), pp.99-109, 2011.

S. Sadeghipour, H.-W. Wiesbrock: Systematische Datenüberdeckung im Modellzentrierten Test, 4. Symposium Testen im System- und Software-Life-Cycle, 2011, Stuttgart, 2011.

S. Sadeghipour, H.-W. Wiesbrock: Auswertung automatisch generierter Testfälle durch regelbasierte Testüberwachung, Embedded Software Engineering Kongress, 2011, Sindelfingen, 2011.

Holger Schlingloff: Entwicklerhilfe für Eingebettete Systeme. Interview 2011 (link), 2011.

Tobias Schüle: Efficient Parallel Execution of Streaming Applications on Multi-Core Processors. International Conference on Parallel, Distributed and Network-Based Computing (PDP), IEEE, 2011.

Siemens CT: Simulation Based Engineering - frühzeitige Validierung von Anlagenkonzepten. In: "Gausemeier et al.": 8. Paderborner Workshop Entwurf mechatronischer Systeme, HNI Verlagsschriftenreihe (294), 2011.

Sikora, Tenbergen, Pohl: Requirements Engineering - An Investigation of Industry Needs. In: Proceedings of Requirements Engineering: Foundations for Software Quality REFSQ 2011.

Sikora, Tenbergen, Pohl: Industry Needs and Research Directions in Requirements Engineering for Embedded Systems. Requirements Engineering Journal. DOI: 10.1007_s00766-011-0144-x.2011, 2011

Dominik Sojer: Synthesis of fault detection mechanisms. In Proceedings of the 35th IEEE International Computer Software and Applications Conference (COMPSAC 2011), 2011.

Dominik Sojer, Christian Buckl, and Alois Knoll: Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel. In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), 2011.

M. Strube, A. Fay, S. Truchat, H. Figalist: Funktionale Anlagenbeschreibung als Basis der Modernisierungsplanung. In: VDI-Bericht 2143 Tagungsband Automation 2011, 28.- 29. Juni 2011, Baden-Baden, 2011.

M. Strube, T. Jäger, A. Fay: Integriertes Engineering durch Zusammenführen von Prozess- und Anlagenbeschreibung - Ein Konzept zur ganzheitlichen Beschreibung von Produktionsanlagen. In: Tagungsband der 14. Tagung "IFF-Wissenschaftstage", 28-30. Juni 2011, Magdeburg, 2011.

M. Strube, S. Runde, A. Fay, H. Figalist: Risk Minimization in Modernization Projects of Plant Automation - a Knowledge-Based Approach by means of Semantic Web Technologies. In: Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'2011, September 5-9, 2011 in Toulouse, France, ISBN: 978-1-4577-0016-3, 2011.

M. Strube, A. Fay, S. Truchat, H. Figalist: Modellgestützte Modernisierungsplanung. In: Zeitschrift "atp-edition / Automatisierungstechnische Praxis", Heft 7-8/2011, S. 889-895, 2011.

Raphael Weber, Tayfun Gezgin and Maurice Girod: Checking Refinement Relations for Contract-Based Architecture Design, Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems, Wellington, Neuseeland, 2011.

Wehrstedt, Rosen, Pirsing, Dietz: Simulation Based Engineering- Frühzeitige Validierung von Anlagekonzepten. In Jürgen Gausemeier, Franz Rammig, Wilhelm Schäfer, Ansgar Trächtler (Hrsg.) 8. Paderborner Workshop Entwurf mechatronischer Systeme. HNI-Verlagsschriftenreihe, Paderborn 2011. ISBN 978-3-942647-13-7.

Stephan Weißleder, Thomas Rogenhofer: Simulated Restriction of Coverage Criteria on UML State Machines, A-MOST 2011: 7th Workshop on Advances in Model-Based Testing, Berlin, Germany, 2011.

Stephan Weißleder, Dehla Sokenou: Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines, MBEES'11: Model-Based Development of Embedded Systems, Schloss Dagstuhl, Germany, 2011.

Stephan Weißleder, Holger Schlingloff: Chapter Automatic Model-Based Test Generation from UML State Machines; in the Book: Model-Based Testing for Embedded Systems, Editors Justyna Zander , Ina Schieferdecker, Pieter J. Mosterman, 2011.

Hans-Werner Wiesbrock: Stochastische Robustheitstests von automobilen Steuergeräten und ihre automatische Auswertung. Embedded goes Medical, Nürnberg, ATAMI 2011 - Advances in Testing: Academia meets Industry, Berlin, 2011

B. Zimmer, S. Bürklen, M. Knoop, J. Höfflinger, M. Trapp: Vertical Safety Interfaces - Improving the Efficiency of Modular Certification. In: Proc. of the 30th International Conference of Computer Safety, Reliability, and Security (SAFECOMP 2011), 2011.