Ce is a modern and multidisciplinary science for computer based modeling, simulation, analysis, and optimisation of complex engineering applications and. Furnkranz left tu darmstadt in september 2019, he will not provide any lectures anymore. Introduction, firstorder logic reiner hhnle a department of computer. Like a traditional debugger, the sed can be used to locate the origin of a defect and to increase program understanding. Computeraided software engineering the possibilities for improvements of the software process by case tools are limited. The following researchers of the institute of railway engineering.
Overview of all departments technical university of darmstadt. Examples include plant engineering and construction for the chemical and heavy industries, aerospace technology, the automotive industry, medical technology, etc. Electrical engineering and information technology dept. After a brief market overview strategies and organizational aspects of the software industry are focused. Richard bubeldepartment of computer science, tu darmstadtverified email at cs wojciech. Secure software engineering at paderborn university and tu. Security engineering group seceng technical university. Homepage maschinenbau technical university of darmstadt. The security engineering group aims at bridging the gap between the cryptography, software engineering and formal methods communities, by offering theoretically sound methods for the design and analysis of secure systems. All project topics originate from industry partners, outside of the campus. H ahnle department of computer science, technische universit at darmstadt email.
Link to the license management license management new. A list of redos vulnerabilities in npm modules found by the software lab at tu darmstadt. Ce is a modern and multidisciplinary science for computer based modeling, simulation, analysis, and optimisation of complex engineering applications and natural phenomena. Welcome to the joint secure software engineering blog of the software engineering group at paderborn university and the secure software engineering group at tu darmstadt. I am grateful to all my colleagues from the software engineering department at tu darmstadt. The symbolic execution debugger sed is an extension of the eclipse debug platform for interactive symbolic execution. Professor of computer science, chalmers university of technology. An empirical evaluation of two user interfaces of an interactive. Using examples of software and media industries, digital value chains, digital rights management and multichannel management are explained. We show that it subsumes existing approaches and prove soundness. Even he is too modest to admit it, but his support was the most important one for this thesis. Lecture03print automated theorem proving prerequisites.
View notes lecture03print from computer 701,a44a at mcmaster university. Integrating symbolic execution, debugging and verification. Lecture03print automated theorem proving prerequisites i. For each vulnerability, there is a proofofconcept exploit, showing how the slowdown may occur. Today, applications for automation systems can be found in nearly all technical fields, plants and products. Currently, i am focusing on making heavyweight symbolic execution practical by 1 applying it in sound program transformation and compilation, 2 developing a system for collaborative specification of software libraries, 3 improving the scalability of symbolic execution by integrating state merging in loop invariants and method body specifications, and 4 using symbolic execution for assessing the strength of formal verifications. There are two ways of constructing a software design. Prospective students fachbereich maschinenbau tu darmstadt.
The core feature of key is a theorem prover for java dynamic logic based on a sequent calculus. Software engineering is a team activity and quite a. Factors and guidelines salome maro, anthony anjorin, rebekka wohlrab, janphilipp steghoferchalmers university of technology, sweden. After activation of a license to a software package, it is possible for the responsible manager of the institute to load this software and associated updates. To keep its product development on track and stay ahead of the market, software engineering gmbh needs to ensure that it can offer addon solutions for the latest ibm db2 for zos software. Mathematics and physics are the basis of this discipline, but other natural sciences such as chemistry and biology and, more recently, human sciences such as sociology and philosophy also play a role.
Student theses, seminars and practical courses are still provided. Martin hentschel, reiner hahnle, richard bubel tu darmstadt, germany traceability maintenance. Formal methods and software engineering 18th international conference on formal engineering methods, icfem 2016, tokyo, japan, november 1418, 2016, proceedings, s. Technical university of darmstadt tu darmstadt can trace its roots back to the early 1800s, when the higher trade school was opened in the hessian city.
Richard bubel department of computer science, tu darmstadt verified email at cs. Proof repositories for compositional veri cation of evolving. W ahrendt, t baar, b beckert, r bubel, m giese, r hahnle, w menzel. Centre for computational engineering cce computational engineering ce is an integral part of the research profile of tu darmstadt. Technical university of darmstadt world university rankings. Software engineering and software management 2019, bonn, gesellschaft fur informatik e. The focus is set on engineering and natural sciences, which cooperate closely with outstanding humanities and social sciences. Symbolic execution is a software analysis technique that has been used with success in the past years in program testing and verification. A main bottleneck of symbolic execution is the path explosion problem.
The institute of computer engineering at tu darmstadt. Professor of computer science, technical university of darmstadt. In this paper we present a novel approach to automatically generate sound. The electrical and electronics engineer with a major in computer engineering is educated and trained to design, use and further develop innovative technologies. Full versions and updates can be loaded any time from now on, from the license management account by the responsible manager. In the second chapter the main principles of the software industry are presented. The distributed software systems course was a very nebulous, ever changing entity. Generating specifications for recursive methods by abstracting. Security engineering group seceng technical university of. Generation of loop invariants cosupervisor together with richard bubel.
Together in a team of 58 students you will learn to plan, manage and implement a professional realworld software project. Richard bubels research while affiliated with technische universitat darmstadt and other places. W ahrendt, b beckert, r bubel, r hahnle, ph schmitt, m ulbrich. When i joinedin late 2012 it was fairly manageable, because the student population was relatively less. See my list of publications or dblp research interests.
A general lattice model for merging symbolic execution. Part of the lecture notes in computer science book series lncs. The program will account for both the development of renewable energy. Plan and implement a professional software project. Technical university of darmstadt world university. Formal methods and analysis in software product line. Uber uns institut fur datentechnik direktor des instituts. The following researchers of the software engineering. Papers presented at the international conference, june 2830, 2010, paris, france. Graduate school of computational engineering interaction between transport and wetting processes control of uncertainties in loadcarrying structures in mechanical engineering mathematical modelling, simulation and optimisation using the example. For a very succinct summary of what this course is about, we would like to quote hoare, who once said. Fundamentals of software engineering 8th international conference, fsen. Department of electrical engineering and information technology. Tu darmstadt incorporates diverse science cultures to create its characteristic profile.
Beginning in the winter semester 201220, tu darmstadt offers a new masters program in energy science and engineering interdisciplinary, unique, and innovative. This interdisciplinary program of study offers a specialization with a strong focus on energy. Im the main author of the static analysis framework opal. Aug 20, 2019 a list of redos vulnerabilities in npm modules found by the software lab at tu darmstadt. The symbolic execution debugger sed, is an extension of the open image in new window debug platform for interactive debuggers based on symbolic execution.
Here we put forward an abstractionbased framework for state merging in symbolic execution. It was in 1877 however, when grand duke ludwig iv of hesse elevated grandducal hessian polytechnic school to a higher education institution, and tu began to take shape. Technical report, department of computer science, technische universitat darmstadt. Projekte computational engineering technical university. All group members and friends of the software engineering group of tu darmstadt. The sed comes with a static symbolic execution engine for sequential open image in new window programs, but any thirdparty symbolic execution engine can be integrated into the sed.
Were upgrading the acm dl, and would like your input. Software engineering is a design activity based on creative thought. We research trustworthy systems targeting both dependability and security. Software engineering is a team activity and quite a lot of time is spend on interacting with other. Below you find a list of selected ongoing and past research projects, where ce is involved ongoing research projects. Technische universitat darmstadt tu department of computer science dept. Software solutions to optimize the productivity and reliability of db2 for zos databases as well as customer oriented and flexible itconsulting service. Secure software engineering at paderborn university and. R hahnle, w ahrendt, t baar, b beckert, r bubel, m giese, w menzel. The security engineering group aims at bridging the gap between the cryptography, software engineering and formal methods communities, by offering theoretically sound methods for the design and analysis of. Formal methods and analysis in software product line engineering. The following researchers of the software engineering group participate prof. Software engineering gmbh delivering soughtafter software solutions developed and tested on ibm certified preowned servers.
Technical university of darmstadt computational engineering prof. The theoretical fundament and practical training needed for this can be obtained in lectures, labs and seminars. It allows for full functional verification of sequential java without floats, garbage collection and multithreading, see the section below and java card 2. Energy science and engineering studienbereich energy. Properties can be specified in the java modelling language jml or in java dynamic logic directly. Ptw tu darmstadt mechanical engineering brings together numerous scientific disciplines. Formal methods and software engineering 18th international conference on formal engineering methods, icfem 2016, tokyo, japan, november 1418, 2016, proceedings, springer international publishing, s. What is it like to study distributed software systems at. The knowledge engineering group at the computer science department at the technische universitat darmstadt has been established in 2004. The resources in this repository are provided for research purpose only. Proof repositories for compositional veri cation of. Please proceed to the pages of the individual group members to learn more about their projects activities, and publications. Here we post regular news on secure software engineering, program analysis, as well as malware recognition and defense.
222 145 460 170 146 524 1548 1094 1589 1364 402 1049 1318 1594 1439 1263 319 1379 1256 211 934 925 1309 1631 1320 913 1344 119 7 1062 536 874 1300 162 1293 347 179 1086 569