This has resulted in numerous innovations, patents, and. With innumerable industrial cooperation partners, the education that students receive at rwth aachen is firmly rooted in realworld applications. There is general information for prospective international students as well as info on deadlines for international applicants for master programmes and the likes. Ic3 software model checking, phd thesis, rwth aachen university, volume 201902 of aachener informatikberichte, 187 pages, 2018. Research assistantassociate rwth aachen university. Besides, we deal with technically relatedtransport systems, like conveyor vehicles and other railguided vehicles, such as fairground rides or people movers. Services publications reference books and proceedings. Though, classes often do not exceed topics like requirements engineering, software design, implementation, testing, and project management. This is to a large extent achieved by running the software in a virtual test bed for avoiding race conditions on valuable resources like the real vehicle. Development electric drive, bmw group, munich, germany. Then you will find here an overview of our current lectures with a link to rwthonline for further information.
Running behaviour tests on the singleaxis rolling test bench. Strength and vibration tests on the singleaxis servohydraulic or the electrodynamic vibration test benches. Rwth mindstorms nxt toolbox is developed to control lego mindstorms nxt robots with matlab via a wireless bluetooth connection. On this web page, we provide code for rgbd based people tracking, as used in our icra14 paper. The program is designed to take full advantage of the scope and environment offered at rwth aachen university as one of the leading. Formal approaches like static analysis and model checking are gaining momentum in this context. With the objective to save development effort, programs for related application areas are often developed as a program family, which consists of different program variants that share a common core of functionality. Only words with 2 or more characters are accepted max 200 chars total space is used to split words, can be used to search for a whole string not indexed search then. In proceedings of the 9th international workshop on combinatorial testing iwct 2020, ieee. Vernetzte grune rechenzentren als energie prosumer. Despite these efforts, the occurrence of errors or omissions cannot be completely ruled out. Francogerman workshop on mathematical aspects in computational chemistry.
Rasr the rwth aachen university speech recognition system trainc contextdependency transducer. Applicants will automatically receive a written invitation to the test. Dialog systems the dialog systems are provided for the purpose of interactive logins. We study, develop, and apply formal methods to software systems. The it center operates one of the fastest highperformance computers in germany for researchers at the rwth and the state of nrw, but also for students within the framework of teaching. We particularly welcome and encourage applications from women, disabled persons and ethnic minority groups, recognizing they are underrepresented across rwth aachen university. Thus, it should come as no surprise that one in five board members of german corporations is an alumnus of rwth aachen university. Petrinetztool netlab netlab is a program which serves as editor and analysis tool for petri nets, also called placetransition. Embedded software laboratory rwth aachen university ahornstr. Rwth aachen university welcome to mathccesmathematics at cces. Welcome to the chair of communication and distributed systems at rwth aachen university. Hochleistungsrechnen rwth aachen university lehrstuhl.
Rwth aachen university is certified as a familyfriendly university. Alles zum entwickler rwth aachen bei heise download. Our sign language database for continuous sign language recognition is freely available for download ca. The goal of this project is to develop a more efficient testing approach for the members of a program family. The group is embedded into the software modeling and verification chair headed by prof. In the context of lectures the lecturer can apply for resources for participating students. Welcome to the site of the human language technology and pattern recognition group chair of computer science 6, computer science department, rwth aachen university. Generation of invalid test inputs from overconstrained test models for combinatorial robustness testing. Terms, concepts and models of quality assurance measurement and software metrics quality models test automation foundations of tests and test theory test techniques, section of test. The chair of computer science 5 information systems works on the formal analysis, prototypical development, and practical testing of metainformation systems. Rwth aachen university the learning technologies research group. Software shop rwth aachen university it center deutsch. Weitere informationen sind unter diesem link zu finden. Swc research group software construction rwth aachen.
Rwth aachen university it center itcenter homepage. It has been crucial to catalogue all changes detected in the pkhd1 gene in a locus specific database to provide the users with information on all known variants and therefore to facilitate the characterization of detected pkhd1 variants. The cammpproject wins the rwth teaching award 2019 in the category project. In proceedings of the 3rd ieee workshop on next level of test automation nexta 2020, ieee. Skip to content jump to main navigation skip to search stop image. Automotive software engineering informatik 11 embedded software. The program is designed to take full advantage of the scope and environment offered at rwth aachen university as one of the leading technological universities in europe. Testing is by all means an important but also expensive software development tasks. Mindmotiv was founded as a spinoff from the chair of embedded software at rwth aachen university in germany. Welcome to the chair for software modeling and verification. Hence, researchers as well as practitioners are continuously searching for new and improved approaches to software testing.
As a result, rwth graduates are highly sought after by business and industry and one on five board members of german corporations is an alumnus of rwth aachen university. Lehrstuhl fur informatik 3 software engineering rwth aachen. Rail vehicle technology in the overall railway system the rail vehicle is placed in the middle of the research activities at the ifs, closely integrated in the overall railway system and with logistic connections with other transport systems. Aus rz wird it center rwth aachen university it center.
Tools and software lectures the istitute of automatic control of the rwth aachen offers the following courses. Tools and software virtual control lab supporting the lectures, this section will be extended stepbystep. The ordering process, software delivery, and portal maintenance are carried out by the company askbet. Software computer animation rwth aachen university. Joostpieter katoen informatik 2 rwth aachen university. Ms office 365 software confluence rwth aachen university. The virtual experiments are provided in order to render topics of automatic control more tangible to students. The simulation in this library is based on the smoothed particle hydrodynamics sph method which is a popular meshless lagrangian approach to simulate complex fluid effects. Work conducted in the research centres at rwth aachen university is strongly oriented towards the current needs of industry, commerce, and the professions. Rwth aachen university software free download rwth aachen.
A performance visualization toolkit for analysing and visualizing profilebased performance data. We focus on model based softare systems development for cloud, energy. Project page groundhog gpubased object detection with geometric constraints. In proceedings of the 9th international workshop on combinatorial testing. The dramatically increasing amount and importance of software in automotive electronic systems poses new challenges to the engineering of such systems. Students will gain knowledge of theoretical, practical, and applied aspects of computer science, which will allow them to adapt quickly to the constant changes in this fast. Tools and software rwth aachen university institute of. Rwth aachen university institute of automatic control homepage. Pierre bast product group manager fev software and. The aptitude test takes about 90 minutes and takes place at rwth aachen. Rwth aachen university the learning technologies research group homepage.
Otto spaniol, conducts research in diverse areas related to computer networks and distributed systems. Courses in software engineering usually focus on topics related to the development of software, e. Smardt modeling for automotive software testing drave. Joostpieter katoen, and is part of the computer science department at the rwth aachen university. Lectures rwth aachen university institute of automatic. Software shop rwth aachen university it center english. Institute for automation of complex power systems, rwth. Hochleistungsrechnen im rechenzentrum rwth aachen university. Software engineering, rwth aachen university, aachen, germany. Robotic systems engineering rwth aachen university. In the context of theses the adviser can apply for more resources. The software modeling and verification group moves, headed by joostpieter katoen, is a research unit in the department of computer science at rwth aachen university. Rwth mindstorms nxt toolbox controls lego mindstorms nxt robots with matlab via a wireless bluetooth connection. This software is a free open source product and is subject to the gnu general public license gpl.
The master programme software systems engineering sse is one of the international masters degree programs at rwth aachen. Students of rwth aachen university can use the the rwth compute cluster in the context of their studies without any fees. Software engineering services gitlab keine storung. An opensource multiplatform application and programming framework designed for processing, modeling and rendering of geometric data. Nur worter mit 2 oder mehr zeichen werden akzeptiert. Splishsplash is an opensource library for the physicallybased simulation of fluids. This software systems engineering programme at the rwth aachen university, focuses on the design and implementation of complex software systems. In this seminar, we will focus on specific advanced testing approaches, again from a research but also from an industry point of view.
This page gives an overview of the hardware available in the linux part of the rwth compute cluster. We welcome applications from all suitably qualified candidates regardless of gender. Rwth aachen university makes all reasonable efforts to ensure that the contents of its web site are uptodate, complete and accurate. These research projects are carried out jointly by the mmi in tight cooperation with interdisciplinary teams consisting of partners from academia, government and industry. Product group manager bei fev software and testing solutions. Dec 18, 2014 institute for automation of complex power systems, rwth aachen university the goal of the institute for automation of complex power systems acs is to implement a multidisciplinary research approach able to capture the most recent advances in ict to support the solution of the most advanced problems in the area of grid dynamics and automation. A virtual reality toolkit that allows the integration of vr technology and interactive 3d visualization into technical and scientific applications. Inductive miner, tokenbased replay, frequencyperformance annotation, pandas dataframe management, filtering. The mathematics department at rwth aachen university offers an english applied mathematics master study program. Bernhard rumpe chair of software engineering computer science 3. Assistance with campus and campus office system functionality. Were working with customers and partners in various industries to develop new and better solutions for the testing of embedded software. Lizenzserver software confluence rwth aachen university. When using this software for your own research, please acknowledge the effort that went into its construction by citing the corresponding paper.
A comparison infrastructure for fault characterization algorithms. The mmi uses its expertise in a variety of international and national research projects and develops it further. Research group software construction rwth aachen university. We would like to show you a description here but the site wont allow us. Rwth aachen university institute of automatic control english. Students and researchers at rwth aachen will be able to continue to study complex geological structures and processes with the move software package, valued by.
Are you interested in our control engineering lectures. For many vocations at rwth aachen, there is aptitude or placement test prerequisite, in order to make it further in the selection process. Current recommendations of the rectorate of rwth aachen university for university members regarding covid19 coronavirus. This module introduces central concepts, methods, techniques and processes of software qualityassurance. Software lehrstuhl fuer informatik 6 rwth aachen university. Research group software construction rwth aachen university swc. Rwth aachen will provide a calculator for use during the exam. We are looking for 12 student assistants who would be mainly working on the correction of exercise sheets for the course of theoretical foundations of the uml fuml.
1149 812 564 544 34 1607 1580 1104 1332 812 648 1607 920 416 22 746 469 987 358 1008 1363 10 968 1325 1125 956 1160 174 1195 1126 82 1033 1030 673 282 870 518 145 761 11 1485