Veröffentlichungen 2010

Carsten Arbeiter, Carsten Gips, Jakob Wojtacki: Automatisierung des funktionalen Tests auf der Basis textuell-formalisierter Testspezifikationen, 3. Autotest 2010, Stuttgart, 2010.

A. Baerwald and M. Beine: Modellierte Entwicklung sicherheitskritischer Systeme. Hanser Automotive, pages 30-33, 2010.

A. Baerwald, H. Hauf, and J. Mottok: Qualifizierung und Zertifizierung von Software-Entwicklungswerkzeugen. Hanser Automotive, pages 34-39, 2010.

A. Baerwald and J. Mottok: Zertifizierung von Werkzeugen und Werkzeugketten. Software im Automobil 2010, 2010.

A. Baerwald, H. Hauff, and J. Mottok: Qualification and Certification of Development Tools for Safety-Critical Applications. In Proceedings of the Automotive Safety & Security 2010, pages 135-149, 2010.

Jewgenij Botaschanjan, Benjamin Hummel: Material Flow Abstraction of Manufacturing Systems. In: Proceedings of the International Conference on Theoretical Aspects of Computing, 2010.

Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, and Daniel Ratiu: Seamless Model-based Development: From Isolated Tools to Integrated Model Engineering Environments. Proceedings of the IEEE - Special Issue on Aerospace & Automotive. To appear in 2010.

Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, and Edward Lee: Model-based specification of timing requirements. In Proceedings of the 10th ACM international conference on Embedded software (EMSOFT 2010), Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. 2010.

Christian Buckl, Dominik Sojer, and Alois Knoll: FTOS: Model-driven development of fault-tolerant automation systems. Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, 2010.

Alarico Campetelli, María Victoria Cengarle, Irina Gaponova, Alexander Harhurin, Daniel Ratiu, Judith Thyssen: Specification Techniques. Technischer Bericht TUM-I1013, 2010.

D. Domis, K. Höfig, M. Trapp: Consistency Check Algorithm for Component-Based Refinements of Fault Trees. In: Proc. of International Symposium on Software Reliability Engineering (ISSRE 2010), 2010.

Anne Groß, Jörg Dörr, Igor Menzel, and Mark Müller: Experimenteller Vergleich zweier Techniken zur Anforderungsspezifikation: Use Cases vs. Funktionale Spezifikation. To appear in Softwaretechnik-Trends. 2010.

Anne Groß, Jörg Dörr, Igor Menzel, and Mark Müller: Experiment Package: An Experimental Comparision regarding the Completeness of Functional Requirements Specifications. Fraunhofer IESE, Report Nr. 040.10/E. 2010.

Markus Herrmannsdoerfer, Daniel Ratiu, and Guido Wachsmuth: Language Evolution in Practice: The History of GMF. In Proceedings of the 2nd International Conference on Software Language Engineering, 2010.

Markus Herrmannsdoerfer and Daniel Ratiu: Limitations of Automating Model Migration in Response to Metamodel Adaptation. In Proceedings of the Joint ModSE-MCCM Workshop on Models and Evolution, 2010.

Markus Herrmannsdoerfer und Maximilian Koegel: Towards a Generic Operation Recorder for Model Evolution. In: Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010.

Markus Herrmannsdoerfer, Thomas Kofler, Stefano Merenda, Daniel Ratiu, Judith Thyssen: Model-based Development Tools for Embedded Systems in the Industry - Results from an Empirical Investigation. In Proceedings of the ENVISION 2020 workshop at SE 2010, 2010.

A. Heuer, C.J. Budnik, S. Konrad, K. Lauenroth, K., Pohl: Formal definition of syntax and semantics for documenting variability in activity diagrams. 14th International Software Product Line Conference - SPLC 2010, pp. 62-78, 2010.

Siamak Haschemi, Stephan Weißleder: A Generic Approach to Run Mutation Analysis, 5th TAIC PART, Windsor, UK, 2010.

Robert Hilbrich und Jaroslav Svacina: Verifizierung statischer Schedules für die Zertifizierung, Embedded Software Engineering Kongress, 7.-9. Dez., 2010.

Robert Hilbrich und J. Reinier van Kampenhout: Dynamic reconfiguration in NoC-based MPSoCs in the avionics domain. In Proceedings of the 3rd international Workshop on Multicore Software Engineering (Cape Town, South Africa, May 01 - 01, 2010). IWMSE '10. ACM, New York, NY, 56-57, 2010.

Robert Hilbrich: An Evaluation of the Performance of DPWS on Embedded Devices in a Body Area Network, WAINA'10 IEEE 24th International Conf. on Advanced Information Networking and Applications Workshops, 2010.

Robert Hilbrich, Marko Fabiunke: On the Performance of DPWS as a Service-oriented Middleware on Embedded Devices in Pervasive Environments, 5th IEEE International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE), 2010.

Jörg Holtmann; Jan Meyer; Wilhelm Schäfer; Ulrich Nickel: Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In: "Gregor Engels; Markus Luckey; Alexander Pretschner; Ralf Reussner Hrsg.": Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), GI-Edition - Lecture Notes in Informatics (LNI), vol. P-160. Bonner Kölen Verlag, Bonn; S. 149-158. (Link), 2010.

Jörg Holtmann: Mit Satzmustern von textuellen Anforderungen zu Modellen. In: OBJEKTspektrum, 2010, RE/2010 (Online Themenspecial Requirements Engineering). (Link), 2010.

Maximilian Koegel, Markus Herrmannsdoerfer, Yang Liz, Jonas Helming, Joern David: Comparing State- and Operation-based Change Tracking on Models. In: Enterprise Distributed Object Computing Conference (EDOC), 2010.

Maximilian Koegel, Helmut Naughton, Jonas Helming und Markus Herrmannsdoerfer: Collaborative Model Merging. In: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, 2010.

Maximilian Koegel, Markus Herrmannsdoerfer, Otto von Wesendonk und Jonas Helming: Operation-based Conflict Detection. In: Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010.

Thomas Kofler, Daniel Ratiu: Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering. In: Proceedings of the Workshop on Domain Engineering, Advances in Conceptual Modeling - Applications and Challenges, 2010.

M. Lim, M. Loose: Mit Varianten-Management erfolgreich zum Ziel, Elektronik Automotive 1/2.2010, pp. 33-35, 2010.

Arndt Lüder, Lorenz Hundt, Matthias Foehr, Thomas Wagner, Jorgos-Johannes Zaddach: Manufacturing System Engineering with Mechatronical Units. 2010 IEEE International Conference on Emerging Technologies and Factory Automation . - Piscataway, NJ : IEEE, ISBN 978-1-424-46849-2, ETFA 2010 (Bilbao, Spain) 2010.09.13-16, 2010.

Igor Menzel, Mark Müller, Anne Groß, and Jörg Dörr: An Experimental Comparison regarding the Completeness of Functional Requirements Specifications. To appear in Proceedings of the 18th IEEE international Requirements Engineering Conference, RE 2010). 2010.

Ulrich Nickel; Jan Meyer; Tapio Kramer: Wie hoch ist die Performance? In: Automobil-Elektronik 03/2010, S. 36-38. (Link), 2010.

Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garces, Richard F. Paige und Fiona A.C. Polack: A Comparison of Model Migration Tools. In: Model Driven Engineering Languages and Systems, 2010.

Sadegh Sadeghipour: Testautomatisierung: Ein akademisches Thema?. Advances in Testing: Academia meets Industry (ATAMI'10), Berlin, (pdf), 2010.

Schneider, Daniel and Trapp, Mario: Conditional safety certificates in open systems. In: Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety (CARS'10), 2010

Sikora, E.; Daun, M.; Pohl, K.: Supporting the Consistent Specification of Scenarios Across Multiple Abstraction Levels. In: Proc. 16th Intl. Working Conference on Requirements Engineering - Foundation for Software Quality (REFSQ 2010, Essen, Germany, June 30 - July 2, 2010), LNCS 6182, Springer-Verlag, Berlin, Heidelberg, 2010.

Sikora, E.; Pohl, K.: Evaluation eines modellbasierten Requirements-Engineering-Ansatzes für den Einsatz in der Motorsteuerungs-Domäne. In: Proc. Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020), LNI Vol. 160, GI, 2010.

Sikora, E., Tenbergen, B.; Pohl, K.: Modellbasiertes Requirements Engineering - Eine Situationsanalyse zum Stand der Praxis. In: Softwaretechnik-Trends, Band 30, Heft 1, GI, 2010.

Dominik Sojer, Christian Buckl, and Alois Knoll: Vom Modell zum Code für IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, 2010.

Dominik Sojer, Christian Buckl, and Alois Knoll: Propagation, transformation and refinement of safety requirements. In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, 2010.

Dominik Sojer, Christian Buckl, and Alois Knoll: Formal modeling of safety requirements in the model-driven development of safety critical embedded systems. In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), 2010.

Dominik Sojer, Christian Buckl, and Alois Knoll: Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware. Technical Report TUM-I1003, Technische Universität München, 2010.

Dehla Sokenou, Stephan Weißleder: ParTeG - Integrating Model-Based Testing and Model Transformations, Software Engineering 2010, Paderborn, 2010.

Stallbaum, H., Rzepka, M.: Toward DO-178B-compliant Test Models. In: Proc. 7th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2010, Oslo, Norway, October 3, 2010), 2010.

Stallbaum, H., Metzger, A., Pohl, K.: Der Einsatz quantitativer Sicherheitsanalysen für den risikobasierten Test eingebetteter Systeme. In: Tagungsband zur Software Engineering 2010 (SE 2010, Paderborn, Germany, Februar 22-26, 2010), LNI Vol. 159, GI, 2010.

M. Strube, A. Fay: Brückenschlag zwischen Prozess- und Anlagenbeschreibung. In: Zeitschrift "atp-edition / Automatisierungstechnische Praxis" , Heft 9/2010, S. 26-27, 2010.

Martin Strube, Alexander Fay, Sebastien Truchat, Helmut Figalist: Funktionale Anlagenbeschreibung als Basis der Modernisierungsplanung. In: VDI-Bericht Nr. 2092 Tagungsband VDI-Kongress AUTOMATION 2010, 15. und 16. Juni 2010, Baden-Baden, 2010.

Salko Tahirbegovic: Herzschlag übers iPhone. In: Medizin und Technik: August 2010, Ausgabe 04/10 (Link), 2010.

Eike Thaden, Henrik Lipskoch, Alexander Metzner and Ingo Stierand: Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion. Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp.212-217, 2010.

Judith Thyssen, Daniel Ratiu, Wolfgang Schwitzer, Alexander Harhurin, Martin Feilkas, and Eike Thaden: A System for Seamless Abstraction Layers for Model-based Development of Embedded Software. Proceedings of the ENVISION 2020 workshop at SE 2010, pp.137-148, 2010

Thomas Wagner, Ulrich Löwen: Modellierung: Grundlage für integriertes Engineering. VDI-Kongress AUTOMATION 2010, 15. und 16. Juni 2010, Baden-Baden, 2010.

Stephan Weißleder and Hartmut Lackner: System Models vs. Test Models - Distinguishing the Undistinguishable. In Proceedings of the MoTes2010 workshop, 2010.

Stephan Weißleder: Static and Dynamic Boundary Value Analysis, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl,Tagungsband pp. 55-64, Germany, 2010.

Stephan Weißleder: Simulated Satisfaction of Coverage Criteria on UML State Machines, Third International Conference on Software Testing, Verification and Validation, ICST 2010, pp. 117-126, Paris, 2010.

Stephan Weißleder, Hartmut Lackner: System Models vs. Test Models - Distinguishing the Undistinguishable, MoTes'10, Leipzig, Germany, 2010

Hans-Werner Wiesbrock: Ansätze zum Nachweis der Gleichwertigkeit von Software-Komponenten. Workshop Envision 2020, Paderborn, (pdf), 2010.

Hans-Werner Wiesbrock: Rezertifizierung von Software-Komponenten - Ansätze zum Nachweise ihrer Gleichwertigkeit, Embedded goes Medical 2010, Nürnberg, 2010.