Software and Systems Engineering

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

> People

Huber,Franz

Franz Huber
Technische Universität München Institut für Informatik Boltzmannstr. 3 85748 Garching Germany Phone: +49(89)-289-17342 Fax:+49(89)289-17307 huberf in.tum.de Room: MI 01.09.041 Franz Huber is member of the following competence centers Embedded Systems, System Development Processes

Head of the IT Systems & Services Team

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, Genesys)

Projects and Activities

A brief list of some projects and activities that I am/have been involved with:

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.