Department of Informatics

TU München - Fakultät für Informatik
Software & Systems Engineering Research Group

TUM
 
 

My Contact Information in TUMonline


Prof. Dr. Dr. h.c. Manfred Broy


Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Deutschland

Tel. +49(89)289-17304
Fax. +49(89)289-17307
in.tum.de

Büro: MI 01.11.054

Current assignments:

Head of the RBG IN/MA (Rechnerbetriebsgruppe Informatik und Mathematik)

Coordination Office for the IT groups at the Faculty for Informatics


Research Interests

  • Model-driven system development
  • Domain-specific modeling languages for embedded systems
  • Model-driven support for development processes
  • Meta-modeling
  • Application domains: aerospace and automotive embedded systems
  • Tool support for model-driven development (AutoFOCUS, AutoFOCUS 3, Genesys)


Projects and Activities

A brief list of some projects and activities that I am/have been involved with:
Head of the IT Systems & Services Team
From October 2002 to March 2015 I was managing our local IT Systems & Services Team. Many of the projects and activities listed below were carried out in the context of this assignment. (2002 - 2015)

Windows Migration
In spring 2014 my team started a comprehensive upgrade project for the MS Windows-based computer systems in the service bureau for personnel and finance of the faculties for mathematics and informatics at TUM. The first step in the process was the upgrade of all client computers from the aging Windows XP to Windows 7. MS Office was upgraded in the process from the outdated Office XP to Office 2010, which required an adaption of all Office-based in-house applications to the new version of MS Office. Concluding the project in autumn 2014 the infrastructure services, active directory, file and print services were migrated from Windows Server 2003 to Windows Server 2012. (2014)

IT Services for the Chair I7
Starting in Spring 2013 my group began providing IT services for the Chair I7 for Foundations of Software Reliability and Theoretical Computer Science (Prof. Esparza). The gradual migration of the already existing, fairly complex IT infrastructure of I7 into our own IT infrastructure took about one year. (2013 - 2014)

IT Services for the Chair I22
My group provides a complete set of IT services for the Chair I22 for Software Engineering (Prof. Pretschner), founded in 2012. TYPO3 hosting and hosting of GIT repositories are services we set up new for the I22 group, and which we now provide for all our clients. All I22 IT services are based on our virtualization infrastructure. The setup of the I22 IT was accomplished within only a few weeks' time from the initial concepts to the fully operational IT environment. (2012)

Groupware: SOGo
We finally added an IT service requested by many of our users to the service portfolio of our IT: groupware. Our groupware system of choice is SOGo, a system which provides the usual set of groupware functions like address books, calendars, and mail - all of them integrated in a user friendly web interface. SOGo can also be accessed via the standard protocols CALDAV and CARDDAV. (2012)

IT Services for the Chair I21
IT infrastructure and IT services for the Chair I21 for Logic and Verification (Prof. Nipkow), which was established in Nov. 2011, are provided by my IT group. (2011 - 2012)

Network Infrastructure
Redesign and restructuring of our research group's computer network. Definition and implementation of security policies for the network as a whole, as well as for our various sub-networks, ranging from publicly accessible networks to private high-bandwidth server networks. Implementation based on vendor-specific firewall systems and on Linux firewalls. VPN access to specific sub-networks based on OpenVPN. (2010)

Microsoft Innovation Center IT Services
Starting in 2010, my group took charge of operating the IT production services of our former Microsoft Innovation Center (MIC), which include a number of custom-built, .NET-based web services, such as a management and reservation system for rooms and other resources of our research group. The take-over included a major restructuring of the services and their inter-dependencies; final deployment of the newly structured, Windows 2003 Server-based services was done on VMWare hosts operated by our faculty's central IT department. (2010)

fortiss IT Services
Provisioning of an initial IT infrastructure and a range of basic IT services for the TUM "An-Institut" fortiss. (2009)

High Availability for Linux
Practical evaluation of open source high availability and load balancing solutions for Linux (Heartbeat, LVS - Linux Virtual Server, and ClusterIP). Joint project with Tobias Schröpf - see publication [1] in the list below. (2008)

IT Infrastructure Migration
Planning and management of the transition from our diverse legacy server systems to a standardized Xen/Linux platform, which is now hosting our complete range of IT infrastructure and application services at the Software & Systems Engineering Research Group. (2005 - 2007)

Model-based Testing
Model-based generation of test sequences (using environment models created in AutoFOCUS) to provide a simulation of the traffic on a CAN bus for conformance testing of an ECU in an automotive application. (2004 - 2005)

AUTOSAR
Contribution to the definition of an AUTOSAR development process. (2004)

Automotive Requirements Engineering and Management
Co-author of a guide for requirements engineering for ECUs in automotive applications and of a requirements management tools guide. (2002 - 2003)

MOBASIS, Software Test Mangement and Analysis
Specification of an Ada code generator for AutoFOCUS and for the QUEST tool "Validator", design and implementation of a test management application to perform software tests on Ada-based software systems, including the integration with the IBM/Rational Test RealTime tool suite to carry out test coverage analysis in the MOBASIS research project ("Modellbasierte Methoden zur Entwicklung sicherheitskritischer Systeme"—"Model-Based Software Development for Safety Critical Systems", a joint project of EADS Deutschland GmbH, the Software & Systems Engineering Research Group, and Validas AG). Application domain: flight control systems, aerospace. (2000 - 2002)

IT Infrastructure
Initial implementation and ongoing further development of Validas AG's IT infrastructure. (2000 - 2005)

Validas AG
Co-founder of Validas AG. (2000)

AutoFOCUS
Head of development of AutoFOCUS, a toolset that supports the component-based specification of reactive systems with distributed flow of control and inter-component communication. The primary application domain of AutoFOCUS are embedded control systems. (1996 - 1999)

SysLab
The SysLab research project (supported by the German Research Community (DFG) under the Leibniz program and by Siemens-Nixdorf), aiming at an integration of formal and pragmatic software and systems engineering techniques. (1995 - 1999)

Genesys
Genesys is a generic graph editing system, including a generic code generator. (diploma thesis, 1993 - 1994)


Publications

(by date, in reverse order, generated by bibtex2html 1.92.)

[1] Franz Huber and Tobias Schröpf. Hochverfügbarkeit für Linux. Technical Report TUM-I0828, Technische Universität München, 2008.
[2] Bernhard Schätz, Peter Braun, Franz Huber, and Alexander Wisspeintner. Checking and Transforming Models with AutoFOCUS. In Proceedings of ECBS 2005 12th IEEE International Conference and Workshop on the Engineering of Computer Based Systems. IEEE Computer Society, 2005.
[3] Bernhard Schätz, Manfred Broy, Franz Huber, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, and Bernhard Rumpe. Model-Based Software and Systems Development - A White Paper. White Paper, Institut für Informatik der Technischen Universität München, 2004.
[4] Bernhard Schätz, Peter Braun, Franz Huber, and Alexander Wisspeintner. Consistency in Model-Based Development. In Proceedings of ECBS 2003 10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems. IEEE Computer Society, 2003.
[5] Bernhard Schätz, Alexander Pretschner, Franz Huber, and Jan Philipps. Model-Based Development. Technical Report TUM-I0204, Institut für Informatik der Technischen Universität München, 2002.
[6] Franz Huber, Jan Philipps, and Oscar Slotosch. Model-based Development of Embedded Systems. In Embedded Intelligence. WEKA Fachzeitschriften-Verlag, 2002.
[7] Bernhard Schätz, Alexander Pretschner, Franz Huber, and Jan Philipps. Model-Based Development of Embedded Systems. Technical Report TUM-I0204, Technische Universität München, 2002.
[8] Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, and Hans-Peter Zängerl. Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. In Proceedings of Ada Deutschland 2002, 2002.
[9] Franz Huber, Heiko Lötzbeyer, and Alexander Pretschner. Software für sicherheitskritische Systeme: MOBASIS - Erfolgreiche Forschungskooperation. TUM Mitteilungen, 01/02(5):48, 2002.
[10] Bernhard Schätz, Alexander Pretschner, Franz Huber, and Jan Philipps. Model-Based Development of Embedded Systems. In J.-M. Bruel and Z. Bellahsene, editors, Advances in Object-Oriented Information Systems - OOIS 2002 Workshops, Montpellier, France. Springer LNCS, 2002.
[11] Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, and Wolfgang Schwerin. Methodik, Sprachen und Grundlagen des Software Engineering - Abschlussbericht des Forschungslabors SysLab (1.10.94 - 30.9.99). Informatik: Forschung und Entwicklung, (16(1)):53 - 59, 2001.
[12] Franz Huber and Bernhard Schätz. Integrated Development of Embedded Systems with AutoFOCUS. Technical Report TUMI-0701, Institut für Informatik der Technischen Universität München, 2001.
[13] Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, and Wolfgang Schwerin. SysLab - Abschlussbericht. Technical Report TUM-I0008, Technische Universität München, 2000.
[14] Alexander Wisspeintner, Franz Huber, and Jan Philipps. Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. In Jens Grabowski and Stefan Heymer, editors, FBT'2000, 10. GI/ITG-Fachgespräch Formale Beschreibungstechniken für verteilte Systeme, number ISBN 3-8265-7491-5, pages 91 - 100. Shaker Verlag, 2000.
[15] Bernhard Schätz and Franz Huber. Integrating Formal Description Techniques. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, FM'99 - Formal Methods, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, volume 1709 of Lecture Notes in Computer Science, pages 1206 - 1225. Springer Verlag, September 1999.
[16] Manfred Broy, Franz Huber, and Bernhard Schätz. AutoFOCUS - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forschung und Entwicklung, (13(3)):121-134, 1999.
[17] Gerhard Popp, Franz Huber, Ingolf Krüger, Bernhard Rumpe, and Wolfgang Schwerin. Internet Buchhandel - Eine UML Fallstudie. Technical Report TUM-I9915, Technische Universität München, 1999.
[18] Franz Huber, Olav Rabe, and Bernhard Rumpe. FRISCO OEF- Dokument-basiertes Editor-Framework. d-punkt Verlag Heidelberg, 1999.
[19] Chistian Lesny, Franz Huber, and Bernhard Rumpe. Frisco F- Eine funktionale, logische und algebraische Spezifikationssprache. Technical Report TUM-I9901, Technische Universität München, 1999.
[20] Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, and Alexander Vilbig. Traffic Lights - An AutoFOCUS Case Study. In 1998 International Conference on Application of Concurrency to System Design, pages 282 - 294. IEEE Computer Society, 1998.
[21] Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, and Oscar Slotosch. Tool supported Specification and Simulation of Distributed Systems. In Bernd Krämer, Naoshi Uchihira, Peter Croll, and Stefano Russo, editors, Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, number ISBN 0-8186-8467-4, pages 155 - 164. IEEE Computer Society, Los Alamitos, California, 1998.
[22] Franz Huber and Bernhard Schätz. Specification Modules for Methodical System Development. In H. König and P. Langendörfer, editors, 8. GI/ITG Fachgespräch Formale Beschreibungstechniken für verteilte Systeme, pages 75 - 86. Shaker Verlag, Aachen, 1998.
[23] Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, and Katharina Spies. Software and System Modeling Based on a Unified Formal Semantics. In Manfred Broy and Bernhard Rumpe, editors, Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, Benried, Germany, number LNCS 1526, pages 43 - 68. Springer Verlag, 1998.
[24] Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, and Wolfgang Schwerin. Systems, Views and Models of UML, pages 93-109. Physica Verlag, Heidelberg, 1998.
[25] Franz Huber, Andreas Rausch, and Bernhard Rumpe. Modeling Dynamic Component Interfaces. In Madhu Singh, Bertrand Meyer, Joseph Gil, and Richard Mitchell, editors, TOOLS 26, Technology of Object-Oriented Languages and Systems, pages 58 - 70. IEEE Computer Society, 1998.
[26] Franz Huber, Andreas Rausch, and Bernhard Rumpe. Component Interface Diagrams: Putting Components to Work. Technical Report TUM-I9831, Technische Universität München, 1998.
[27] Klaus Bergner and Franz Huber. Systems Development with Java: Experiences from a Practical Project Course in Software Engineering. In David Budgen, Gene Hoffnagle, and Jos Trienekens, editors, Proceedings Eighth International Workshop on Software Technology and Engineering Practice (STEP'97), pages 382 - 389. IEEE Computer Society, 1997.
[28] Franz Huber and Bernhard Schätz. Rapid Prototyping with AutoFOCUS. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG Fachgespräch, pages 343 - 352. GMD Verlag (St. Augustin), 1997.
[29] Franz Huber, Bernhard Schätz, and Geralf Einert. Consistent Graphical Specification of Distributed Systems. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME '97: 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science 1313, pages 122 - 141. Springer, 1997.
[30] Klaus Bergner, Franz Huber, Andreas Rausch, and Marc Sihling. Component-Oriented Redesign of the CASE-Tool AutoFOCUS. Technical Report TUM-I9752, Technische Universität München, 1997.
[31] Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, and Wolfgang Schwerin. Towards a Precise Semantics for Object-Oriented Modeling Techniques. Number LNCS 1357. Springer Verlag, 1997.
[32] Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, and Wolfgang Schwerin. Exemplary and Complete Object Interaction Descriptions. In Haim Kilov, Bernhard Rumpe, and Ian Simmonds, editors, Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, number TUM-I9737. Technische Universität München, 1997.
[33] Alexander B. Schmidt and Franz Huber. Softwaretechnik - Praxiserfahrung im Studium. Mitteilungen der Technischen Universität München, pages 22 - 24, February 1996.
[34] Franz Huber, Bernhard Schätz, and Katharina Spies. AutoFOCUS - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme. In Ulrich Herzog, editor, Formale Beschreibungstechniken für verteilte Systeme. Universität Erlangen-Nürnberg, 1996.
[35] Franz Huber, Bernhard Schätz, Alexander Schmidt, and Katharina Spies. AutoFOCUS - A Tool for Distributed Systems Specification. In Proceedings FTRTFT'96 - Formal Techniques in Real-Time and Fault-Tolerant Systems, number LNCS 1135, pages 467 - 470. Springer Verlag, 1996.
[36] Franz Huber. Ein generisches Werkzeug zur Bearbeitung von Graphen und deren Umsetzung in Textdarstellungen. Master's thesis, Institut für Informatik der Technischen Universität München, February 1994.

© 1999-2009 - Software & Systems Engineering Research Group
Sitemap |  Contact
Last change: 2016-02-29 20:07:05