Architecture modelling as a backbone for devops in automotive systems, auto. Institut fur informatik, technische universitat munchen, d80290 munchen, germany. This report is the conclusion of the ongoing cooperation with siemens corporate research in princeton scr. Manfred broy doron peled executive director katharina spies. The focus of our research is on development of critical embedded systems, mobility and contextawareness, and. Please contact the department or the student council. We currently focus on those disciplines of software engineering where safety and security intersect, both in research and education. Study of mathematics and computer science at the technical university of. Jul 26, 2018 tum emeritus of excellence manfred broy i want to implement digital technology in a socially responsible way already in school maths came easy to tum alumni manfred broy and he enjoyed it a lot. Abstract the amount of software in cars grows exponentially. Alexander pretschner doron peled manfred broy executive director katharina spies.
Software engineering from auxiliary to key technology. Department of civil, geo and environmental engineering. After obtaining his doctorate at tum, he worked as a senior researcher at eth zurich for five years. Successful graduates can evaluate software processes, requirements engineering methods, design and architectural principles, validation methods and techniques and can create technical solutions in analysis, design, implementation, and validation of software intensive systems. Within the framework of the fraunhofer attract program he then moved on to head a research group at the fraunhofer institute for experimental software engineering in kaiserslautern. Free software for academic and educational purposes tum. This includes foundations, methods, processes, models, description techniques and tools. University of munich in a course called software engineering project sep conducted by the authors during summer term 2002. Diego marmsoler of technische universitat munchen, munich tum read 40. Eva geisberger, manfred broy technische universitaet muenchen. Manfred broy research interests empirical software engineering, mining software repositories, freeopen source software, technologyenhanced learning i enjoyed the research atmosphere at the tum.
A logical basis for componentoriented software and systems. Welcome to the tum department of electrical and computer. International journal on automated software engineering, computing science research and education, special issue on collaborative embedded systems organisation coorganisation of the 6th international workshop on automotive system software architectures wasa 2020, salvador, brazil. A theory for the systematic development of distributed interactive software systems constructed in. Manfred broy s 526 research works with 7,787 citations and 9,220 reads, including.
Bauer on the subject of transformation of programs running in parallel transformation parallel ablaufender programme in 1983 he founded the faculty of mathematics and computer science at the university of passau, whose dean he was until 1986. Tum emeritus of excellence manfred broy i want to implement digital technology in a socially responsible way already in school maths came easy to tum alumni manfred broy and he. I want to implement digital technology in a socially. The software is generally offered in german and english. All software products we provide centrally for tum members e. Alexander has organized several workshops in the field of software engineering for automotive systems. Dependable software systems engineering july 29 to august 10, 2014. A framework for safety violation identification and assessment in autonomous driving. Informatics 4 software and systems engineering prof.
Introduction to software engineering eist summer 2019. For finding the best mathematical foundation, we need a clear recognition of the economical and technical benefits of mathematical concepts in software engineering. Broy is with software and systems engineering, institut fur informatik, technische universita. Understand how quality attributes affect the software architecture and conversely, how architectures influence these attributes in different. Build complex software systems in the context of frequent change. Technische universitat munchen institut fur informatik boltzmannstr. Reynolds, cmu wonderfully novel, very readable, and most engaging grady booch, ibm fellow. The marktoberdorf summer school is a two weeks course for young computer scientists and mathematicians working in the field of formal software and systems development. Diego marmsoler technische universitat munchen, munich tum. Software engineering for business information systems sebis professor florian matthes holds this chair since its establishment in 2002.
Professional and ethical dilemmas in software engineering. Munchen tum department of software and systems engineering. The programme imparts indepth, practice and applicationoriented knowledge in the central topics of software engineering. Engineering dependable software systems july 31 to august 12, 2012. The order was established by king maximilian ii in 1853 and was initially awarded until 1932, when it was discontinued. Munch noncompositional greybox fuzzer for high function coverage based on klee and afl. Driving forces of this development are cheaper and more powerful hardware and the demand for innovations by new functions. Software testing macke modular and compositional analysis with the klee and afl engine. In 1989 he went to the technical university munich tum, where in 1992 he became the founding dean of.
Andreas vogelsang technical university of berlin ernstreuterplatz 7, 10587 berlin, germany email. Manfred broy conducts research into the areas of modeling anddeveloping complex softwareintensive systems. Klee22 adaptation of the popular symbolic execution engine, with targeted path search strategy rritbed realtime remote ids testbed for connected vehicles. Specification and design of services and layered architectures the janus approach. A good description of such an environment can be found in berenbach and broy s account of professional and ethical dilemmas in software engineering 26. In 1989 he went to the technical university munich tum. The maximilian order is a prestigious accolade presented by the free state of bavaria to reward outstanding achievements in the fields of science and art.
Software expert and tum emeritus of excellence manfred broy i want to implement digital technology in a socially responsible way already in school maths came easy to tum alumni manfred broy and he. Principles and a process for successful industry cooperation the. Mathematics, physics and chemistry by manfred broy, johannes gruenbauer, david harel, and tony hoare 2005 kindle book. Research and teaching assistant at the technical university of munich, institute of informatics and the sonderforschungsbereich 49 programmiertechnik. The goal is to support and advance the methods of software and systems engineering, with a focus on quality assurance and longterm system evolution. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Challenges in automotive software engineering proceedings. Within the framework of the fraunhofer attract program he then moved on to head a research group at the fraunhofer institute for experimental software engineering. Celebrating the 20th anniversary of adesso ag, adesso gathered some of the pioneers of software engineering including manfred broy, ivar jacobson and carlo ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. The dawn of software engineering is a rich and fascinating account of the time when software engineering was a compelling intellectual discipline at the center of computer science. Oct 10, 2019 attendandce to the lecture introduction to software engineering in0006. Manfred broy is a german computer scientist, and an emeritus professor in the fakultat fur. Dr broy and his teams first step towards achieving this ease of interaction has been to build a reliable foundational model, onto which improvements in software and systems engineering.
Seamless method and modelbased software and systems engineering. A metamodelbased approach to effectively construct and manage families of software process models. Eva geisberger, manfred broy technische universitaet. In addition, students can solve concrete problems in software engineering, e. Software industry, softwarecentred areas in other industries, itfocused service industry, financial and insurance.
Informatics 4 software and systems engineering tum. We currently focus on those disciplines of software engineering where safety and security. Leibnizrechenzentrum lrz has campus agreements and software licenses in place with numerous manufacturers, which in most cases allow the tum employees to get products at no cost or at extremely reasonable cost. Manfred broy, johannes grunbauer, david harel and tony hoare. After studying mathematics with a minor in computer science, professor broy received a doctorate from the department of mathematics and computer science of tum and remained there to complete his. Through maniac tum students and staff members can obtain microsoft software for academic and educational purposes. International summer schools, laser 202014, elba, italy, revised tutorial lectures. He turned his fondness for formalisation into his profession and is now one of the most cited computer scientists worldwide. Maniac was first developed and implemented in 2002 by the staff at the department for software and systems engineering prof. Professor broy is the founding dean of the tum department of computer science 1992 and a member of the european academy of science, leopoldina, acatech and the bavarian academy of sciences and. A configurable partialorder planning approach for field level operation strategies of plcbased industry 4. The methods developed in our group have been validated in various industry cooperations in the telecommunications.
Engineering applications of artificial intelligence 66, 2017, 128144 mehr. Stefan kriebel bmw group munich, germany deni raco chair of software engineering rwth aachen university aachen, germany bernhard rumpe chair of software engineering. Marco kuhrmann, thomas ternite, jan friedrich, andreas rausch, manfred broy. Welcome to the tum department of electrical and computer engineering anechoic chamber image. Orchestration of global software engineering projects. Seeber tum lab prototype of a magnetic flow cytometer with inserted cartridge for cell function analysis image. V bauer, m broy, m irlbeck, c leuxner, m spichkova, m dahlweid. Engineering theories of software intensive systems, marktoberdorf, 315 august 2004, germany, nato science series, ii. Manfred broys research works technische universitat. Engineering theories of software construction nato science series.
Lukas heinzmann and sina shafaei and mohd hafeez osman and christoph segler and alois knoll. Tumi9807 rtse97 workshop on requirements targeting software engineering technical report tumi9807, tu munich, 1998. Broy gained his phd in 1980 at the chair of friedrich l. Peter braun, manfred broy, frank houdek, matthias kirchmayr, mark muller. Welcome to the chair for software and systems engineering. Journal articles department of mechanical engineering. The masters degree program in environmental engineering deals with the complex connectivity of human activites with the natural environment. Software expert and tum emeritus of excellence manfred broy i want to implement digital technology in a socially responsible way already in school maths came easy to tum alumni manfred broy and he enjoyed it a lot. In the last decade, the chair of software and systems engineering at technische universitat munchen tum participated in a series a of eight research transfer. Software engineering for business information systems.
Journal of software engineering and applications 10 5, 2017, 457481 more legat, christoph. First workshop on software engineering for ai in autonomous systems colocated with icse 2018. Daniel m endez fern andez, wolfgang b ohm, manfred broy technical university of munich boltzmannstr. Where can i dowload software for free or at low cost. A logical basis for componentoriented software and. A practical approach of teaching software engineering tum. Important products, such as current operating systems, are also available in other languages. Software testing macke modular and compositional analysis with the klee and afl engine munch noncompositional greybox fuzzer for high function coverage based on klee and afl. We show, how software engineering methods can be backed up by mathematical techniques. Theorem proving techniques explore the foundational aspects of software engineering. We are one of the 25 chairs of the informatics faculty at technische universitat munchen and contribute to the informatics and business informatics education at the phd, master and bachelor level. Jul 10, 2019 professor manfred broy received his phd in informatics in 1980 at the technical university of munich tum, germany, for a thesis focussing on the transformation of programs running in parallel. Workshop automotive software engineering, innsbruck, february 2020. Motivation the major objective of the sep is to provide students with the experience of an industrylike software development project.
Practical software metrics for project management and process improvement. Stefan kriebel bmw group munich, germany deni raco chair of software engineering rwth aachen university aachen, germany bernhard rumpe chair of software engineering rwth aachen university aachen, germany sebastian. Componentoriented software and systems engineering manfred broy. The marktoberdorf summer school is a two weeks course for young computer scientists and mathematicians working in the field of formal software. Proceedings of the nato advanced study institute on engineering theories of software intensive systems, ii. Engineering theories of software intensive systems. Content software engineering is the the establishment and systematic use of engineering principles, methods, and tools for the division of work, the development and application of extensive, complex software. Special emphasis is on distributed data usage control and. This requires a careful analysis of the role of mathematics and logic in software engineering. Registration is done via the central tum email identifier, and the offer is free. Awarded by tum, the program is conducted in singapore and serves to provide graduates with an indepth knowledge in the field of aerospace engineering, focusing in the areas of aeronautical design. Journal of software engineering and applications 10 5, 2017, 457481 mehr legat, christoph. The master programme software engineering qualifies for a career especially in. The essence of software engineering volker gruhn, rudiger.