DTU Compute Tools and Data Inventory (Responses)
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHIJKLMNOPQRSTUVWXYZAAABACADAEAFAGAHAIAJAKALAMANAOAPAQARASATAUAVAWAXAY
1
TimestampArtefact TypeWhoEmailNamePurposeAudienceAudience SizeSectionTechnologyCreating toolBenefit of audienceWanted ServicesAuthorDetailsContributionBenefitLogoAbbreviationSize in DomainStorage requirementsFormatKindDetailsLegal SituationPurpose
2
1/3/2015 11:51:58ToolHarald StörrleHSTO@dtu.dkMagicWand
Add different kinds of annotations to UML models in the MagicDraw UML CASE tool, in particular:
- prose annotations to be used in reporting,
- quantitative annotations to be used in quantitative analysis,
- code annotations to be used for code generation, and
- inspections remarks to be used in Fagan-style inspections of models.
Researchers, Courses at DTU, Courses at other Universities, Students, Industry
500SEJava, XML, UML/XMI
being more effective in modeling software projects
Legal advice about licensing conditions, intellectual property issues etc., Web page to promote artifact, UI Polishing, Branding (Logo, Splash screen, Icons, ...), Help content for tool, Step-by-step tutorials as ScreenCasts or YouTube clips or similar., Sample data of tool usage, Help desk/issue tracking services, User documentation (handbooks, tutorials), Software maintenance services, Development of features
HSTO + many students
Own time/effort
student project supervision
sample data
Participants of all courses that use MagicDraw in a non-casual way, certainly including all students from the courses 02264, 02341, 02313. Other courses that use MagicDraw and might want to use the tool are
02312, 02314, 02318, 02319, 02324, 02327, 02344, 02362, 02363, 02368. This list of courses effectively covers the complete BEng an dMSc education at COMPUTE, and a fair deal of the BSc study lines we host. In short: almost all of our students. On top, it is useful for whoever else uses MagicDraw at DTU - given that it is our official UML tool, the number should increase, and the audience is ready to expand beyond COMPUTE.
MagicWand
The effort required for PROQUAR is minor: most of the work has already been done, what we need is UI polishing, and providing manuals, tutorials, samples etc., so as to ensure that people with very little UML/modeling background can use the tool effectively.
PROQUAR is mainly developed by students, so they hold the copyright. I do make all students sign a copyright waiver, though, where they accept that the result of their work becomes open source. So I think, we should be good to go, if DTU agrees (since they hold the copyright on my own work).
3
1/3/2015 11:33:40ToolHarald StörrleHSTO@dtu.dkRequirements Editor
The goal of RED is to support RE teaching (in particular, course 02264) by implementing a (simple) way of editing all those elements that occur in academic teaching in a consistent framework (metamodel).
Researchers, Courses at DTU, Courses at other Universities, Students, Industry
300-700SE
Java, Eclipse RCP
Maven, BitBucket/Git
improved RE in software development projects
Legal advice about licensing conditions, intellectual property issues etc., Web page to promote artifact, UI Polishing, Branding (Logo, Splash screen, Icons, ...), Help content for tool, Step-by-step tutorials as ScreenCasts or YouTube clips or similar., Sample data of tool usage, Help desk/issue tracking services, User documentation (handbooks, tutorials), Development of features, Code Re-Engineering
HSTO + many students
As before:
- in the order of 5-10 thesis projects per year,
- own time/effort and overhead money to fund student programmers,
- usage of tool in courses
- marketing of tool by givin g talks to anyone who will listen to me, wherever I travel
Over time, RED has evolved to the degree that it can compete with commercial software solutions for RE. There is a great deal of interest from other places to use the tool and the associated course material (slides, case studies, ...) wholesale to define a RE lecture. Interests include the universities of Augsburg, Marburg, Lund, and Gothenburg. Together with our own students, several hundred students might be introduced to RED each year, and some of them will take it with them when they leave for industry. Since RED is supposed to be free (and, eventually, open source), it might see a degree of industrial usage.

If RED were to be endorsed, it could become a widely used software product, thus promoting DTU's visibility enormously.
http://www2.compute.dtu.dk/~hsto/images/red.png
REDsee the RED tool page
Since it's mostly student work, the IP is held by the respective students. My own contribution (planning, architecting, coordinating, and testing) is partly implying DTU copyright (as my employer), and partly my own (since much of the work is outside work hours, with private machines/resources).

I make all students sign a waiver that they agree the outcome of their work to be made open source.
4
1/3/2015 12:06:26ToolHarald StörrleHSTO@dtu.dkCodeStyle
Check adherence to coding style guides for OCaml code.
Allow teachers to efficiently check compliance of a large number of student submissions against these guidelines.
Researchers, Courses at DTU, Courses at other Universities, Students
200SEJava
better programming style for OCaml and similar languages
Legal advice about licensing conditions, intellectual property issues etc., Web page to promote artifact, UI Polishing, Branding (Logo, Splash screen, Icons, ...), Help content for tool, Step-by-step tutorials as ScreenCasts or YouTube clips or similar., Sample data of tool usage, Help desk/issue tracking services, User documentation (handbooks, tutorials), Development of features, extending to other languages
HSTO + many students (including at other institutions)
supervision/project management,
style rule input/coordination of federated input
CodeStyle is already far along the way towards a professional tool, requiring relatively minor effort. It is possible (and should be relatively easy) to extend CodeStyle functional programming languages of the ML family, such as SML, CAML, Miranda, Haskell, and F#.

It is an attractive addition to the existing toolset for everyone teaching/learning functional programming languages of the ML family.
CodeStyle
The teacher of courses 02157/02257 (Michael Reichhardt Hansen) has expressed his interest in using CodeStyle in his courses.
Tricky.
The initial version of CodeStyle has been developed by a student at Innsbruck University, while I was a professor there. Recent updates were made by a student programmer who was paid by DTU-money, and supervised by me. The rule set comes from my own previous work in Innsbruck. I have no idea who holds what copyright.
5
1/12/2015 11:02:48ToolDavid Brander dbra@dtu.dk
Integrable surfaces software
Computes solutions to integrable surfaces, a large class of surfaces that includes most of the well known surface geometries, such as Willmore surfaces, CMC surfaces etc. It uses special methods for solving nonlinear PDE. It's probably mainly of interest to differential geometers, but Willmore surfaces are a special class that are of interest in geometric design - they minimize a certain energy that makes them "optimally smooth" and have been proposed as a good class of surfaces to use in design.
Researchers, Courses at DTU, Courses at other Universities, Students
Really depends on how easy to use we can make it
MAT
The code is in Matlab at the moment. It needs some kind of 3D viewer.
As it is now, geometers can use it to compute many examples of geometrically intersting surfaces. Adding some usability could make it of interest to digital designers, artists etc.
UI Polishing, Development of features
David Brander
We have a FNU application in for work on Willmore surfaces. A part of this project would be to develop a web-based front end that allows people to experiment with Willmore surfaces. If that project gets funded, then a new improved version of the code will be developed. In any case, I am willing to put in some work effort, if some help is provided with things like UI.
There are no other publicly available implementations of these methods. Since it takes a lot of work to create these implementations, it makes sense to make it available to other people for anyone to use. I have already made some of the code available here: http://davidbrander.org/software.html and actually I'm not sure whether it needs any more promotion than that. However, it would be possible to make some kind of web-apps that produce beautiful Willmore surfaces from user-input, for example, quite easily I believe. From the point of view of DTU Compute, giving it some visibility could be a way to demonstrate that we do research in advanced mathematics as well as in computer science, because the theory of integrable surfaces involves some very sophisticated math that has only been developed in the last couple of decades.
The current implementations are in Matlab, so whatever restrictions there are are only due to this fact. Otherwise, the code is all written from scratch.
6
1/13/2015 17:34:28ToolFrank Schilderfrans@dtu.dk
Matlab Continuation Core and Toolboxes
Transform continuation from a technology to a tool:

1) Provide a rapid prototyping environment for continuation toolboxes.
2) Form a crystallisation point for a community of continuation toolbox developers.
3) Provide easy to use Matlab toolboxes for bifurcation analysis with a standardised user interface and data format.
Researchers, Courses at DTU, Courses at other Universities, Students, Industry, developers, Ph.D. students hwo need to implement new algorithms
500-1000 or moreDYNSYS
Matlab, only a basic installation is required.
solve bifurcation problems, simplify development of new tools
Legal advice about licensing conditions, intellectual property issues etc., Hosting of software and resources so people can download it, Web page to promote artifact, UI Polishing, Help content for tool, Step-by-step tutorials as ScreenCasts or YouTube clips or similar., Help desk/issue tracking services, User documentation (handbooks, tutorials), Staffing / access to student helpers, Software quality audit/assessment, Support/consulting on development process, Support/consulting on software architecture, Software maintenance services, Development of features, Complete tool development services, implementation of functionality
Frank Schilder, Harry Dankowicz
I'm not at DTU at the moment, so I have very limited means. I'm the main developer of the core and Harry Dankowicz is currently working on key functionality. The idea is to attract other developers to add maths they find interesting so that the project covers more and more relevant problems over time. At the moment this means mainly re-implementing / porting functionality that exists in other toolboxes to our development platform. By now, the project grew to a size larger than what two people can maintain in their spare time.
There are a number of problem specific toolboxes out in the field, which are developed and maintained by individuals and mostly incompatible. One of the aims of COCO is to collect all this functionality in a single environment / software package. Another aim is to collect common functionality in a common core to speed up the development of new toolboxes. A last aim is to make this development environment attractive for users and developers alike, such that this initiative evolves into a center for computational bifurcation analysis with an international group of users and contributors.

Since nonlinear analysis becomes increasingly important in engineering and life sciences, and since there are recognised dynamical systems and nonlinear engineering groups at DTU, a goal to aim for would be to make DTU a center of nonlinear computational analysis. Significant benefits should arise in terms of visibility, citations, and collaboration- and consulting opportunities. In particular, interfaces to model builders like COMSOL will open up for collaborations with engineering departments and industry.
coco
A first stable version of a continuation core has been developed and released recently together with the book Recipes for Continuation.

The project is hosted at http://sourceforge.net/projects/cocotools/
The book's URL is http://bookstore.siam.org/cs11
Published under an open source license.
7
1/14/2015 9:49:53ToolHarald Störrlehsto@dtu.dk
Advanced Interaction Design Environment
Allow people to model graphical user interfaces (GUIs) by sketching on paper, scanning, and dropping into AIDE, then manually annotating it, thus converting mere pictures into an executable prototype. Various features allow graded fidelity, i.e., the prototype has as much visual and (!) behavioral fidelity (i.e. closeness to the final product) as the user wishes - or as little, if that is desired.
Researchers, Courses at DTU, Courses at other Universities, Students, Industry, startup
500-100SE
AIDE is written in pure Java, knowledge of JavaScript, XUL/XAML is helpful
more easily create behavioural UI prototypes / better mockups
Legal advice about licensing conditions, intellectual property issues etc., Hosting of software and resources so people can download it, Web page to promote artifact, Branding (Logo, Splash screen, Icons, ...), Help content for tool, Step-by-step tutorials as ScreenCasts or YouTube clips or similar., Sample data of tool usage, Help desk/issue tracking services, User documentation (handbooks, tutorials), Software quality audit/assessment
Harald Störrle, and many, many students over the past 10 years
thesis supervision, employed programmer, own time, own students
This tool is already used in courses 02264 and 02341, thus benefiting around 120 students per year. It could also be used in any other (new) UI/UX course (we have several and there are plans to have even more).

Many practitioners might benefit from the tool, too. In fact, the tools craves comercialisation, so it might give rise to a nice spin-off.

http://www2.compute.dtu.dk/~hsto/images/aide.png
AIDE
Copyright is shared over many different parties in at least 5 countries. I have made most people sign a copyright waiver, though.
8
1/14/2015 9:55:42ToolHarald Störrlehsto@dtu.dkModel Observatory
Provide a model repository and associated services to the community of people working in model based software development. Services include:
- secure archival storage,
- discovery through direct querying,
- discovery through visually browsing a dependency graph
- usage/contents statistics

MOBS is intended as a community facilitator
Researchers, Students, Industry
200SE
not decided yet, might be PHP/JS or Python, in both cases, a specific framework is needed.
sample data for validation of research approaches
Legal advice about licensing conditions, intellectual property issues etc., Hosting of software and resources so people can download it, Web page to promote artifact, UI Polishing, Branding (Logo, Splash screen, Icons, ...), Sample data of tool usage, Staffing / access to student helpers, Support/consulting on hosting, version control, integration etc., Software maintenance services, Development of features
Harald Störrle (as far as it exists already)
student hours, thesis supervision
The research community, maybe also students using it.
http://www2.compute.dtu.dk/~hsto/images/mobs.png
MOBS
hasn't been created yet, so we're starting from a clean slate.
9
1/23/2015 9:59:42ToolAndreas Bærentzenjanba@dtu.dk
GEometry and Linear Algebra Library (Graphics Elements Library)
GEL is a C++ library. It is a collection of spatial data structures (mesh, voxel grid, kd-tree) some Lapack/BLAS wrapper code, and a few tools that facilitate computer graphics front ends. Another important component is CGLA - a library for linear algebra in dimensions 2-4 - something that is often used in graphics.
Researchers, Courses at DTU, Courses at other Universities, Students, Industry
100+IMAGE
I try to minimize dependencies, but GEL relies on OpenGL and Lapack/BLAS. Other dependencies have so permissive licenses that they can be wired into the library. Demo programs also require glut on Windows or Cocoa on mac to run.
foundation for graphics (and vision) programs ... anything that involves 3D geometry really
Web page to promote artifact, Software quality audit/assessment, Software maintenance services, Support for Linux build process
Andreas Bærentzen with the help of many from the IACG section
I am continually improving and using it myself. I maintain the Mac build files.
It is used (whole or in parts) in several courses. Especially the polygonal mesh and the low dimension linear algebra sub-libraries are tested and stable. I think it may be deserving of a broader user base
GEL
It is presently on github

https://github.com/janba/GEL
Well it is on github with a permissive license however in my own wording.
10
1/23/2015 10:11:14ToolAndreas Bærentzenjanba@dtu.dk
Deformable Simplicial Complex Library
DSC is a method for tracking deformable interfaces in 2D or 3D. It is useful for a wide variety of purposes: tracking fluid interfaces, segmentation, topology optimization and geometric problems being the most explored.
Researchers, Students
10 to 20 but maybe many more
IMAGE
DSC library is C++ library. It relies on GEL and OpenGL and GLUT for visualization and tetgen for initial tetramesh generation.
There is no other public library doing this
Web page to promote artifact, User documentation (handbooks, tutorials), Staffing / access to student helpers, Software quality audit/assessment, Support/consulting on development process, Software maintenance services, Code Re-Engineering
Andreas Bærentzen, Marek Misztal, Asger Nyman Christiansen, and Morten Nobel Jørgensen have contributed most
I use it in my research and some of my PhD students use it, so we do devote resources to its maintenance.
The DSC method seems to be gaining a bit of traction. We are using it in the department, and I am aware of other groups also using the method (in published papers). Having our own well maintained implementation is, of course, a really good idea if the method itself becomes popular is people will then use the implementation driving a high citation count for compute papers.
DSC 2D/3D
DSC 2D and 3D are also available from my Github page:

https://github.com/janba
It is open source.
11
1/23/2015 10:18:13ToolAndreas Bærentzenjanba@dtu.dkVoxelRayVolume visualization
Researchers, Courses at DTU, Students
10IMAGE
Based on OpenGL mostly
simple volume visualization that is probably much better than matlab.
Support/consulting on hosting, version control, integration etc., Software quality audit/assessment, Support/consulting on development process, Software maintenance services, Development of features
Andreas Bærentzen
I will be very happy to discuss what needs to be done for VoxelRay to support our volume visualization needs.
It is a very simple tool for volume visualization. DTU Compute might have a benefit from an in-house volume visualization tool.
VoxelRay
So far, it is simply distributed as a statically linked win32 binary, but source could be made available.

Whether or not this is interesting depends on the need for a DTU Compute controlled volume visualization software package. If so, it could be developed further - optimized and made to support _very_ large volumes by dividing them into pieces.
I have the source
12
1/23/2015 10:45:40ToolNicola Dragonindra@dtu.dk
On-Demand MAC Protocol
Mac protocol (including a security suite) for energy-harvesting wireless sensor networks
Researchers, Industryhave no idea :)ESE
We do have everything, as we developed everything from scratch.
Web page to promote artifact, Step-by-step tutorials as ScreenCasts or YouTube clips or similar., User documentation (handbooks, tutorials), Support/consulting on development process, Development of features, Complete tool development services
Xenofon Fafoutis, Alessio di Mauro, Nicola Dragoni
SupervisionODMAC
It was entirely done in the context of two PhDs at DTU.
13
1/23/2015 10:51:26ToolKasper Kristensenkaskr@imm.dtu.dkTemplate Model Builder
TMB is an open source R-package that enables quick implementation of complex nonlinear random effect (latent variable) models in a manner similar to the established AD Model Builder package (ADMB, admb-project.org). In addition, it offers easy access to parallel computations. The user defines the joint likelihood for the data and the random effects as a C++ template function, while all the other operations are done in R; e.g., reading in the data.
The package evaluates and maximizes the Laplace approximation of the marginal likelihood where the random effects are automatically integrated out. This approximation, and its derivatives, are obtained using automatic differentiation (up to order three) of the joint likelihood. The computations are designed to be fast for problems with many random effects (~10^6) and fixed effects (~10^3).
Researchers, Courses at DTU, Courses at other Universities, Students, Industry
1000STATR and C++
Increased level of statistical modelling.
Build-server to run automated unittests for all three major operating systems with different compiler configurations.
Kasper KristensenWork.
* Very general and flexible model framework. (Includes non-linear mixed effects models, time-series models, SPDEs, etc).
* Runs much faster than other similar tools.
* Easy for the user to build new non-standard models.
TMB
The software is currently hosted at https://github.com/kaskr/adcomp
The tool is licensed under GPL, and the software it depends on is also GPL.
14
1/23/2015 18:03:28ToolSebastian Mödersheimsamo@dtu.dkOFMC
Automated Protocol Verifier. You enter a security protocol in Alice-and-Bob notation and some security goals. We assume that such a protocol is run in an insecure network (like the Internet) where all communication may be read by the intruder, messages may be blocked, and the intruder may insert new messages. Finally, the intruder may also be (under his real name) a dishonest participant of the network.
OFMC will try to find an attack against the protocol or verify that it satisfies its goals.
Researchers, Courses at DTU, Courses at other Universities, Students, Industry, Standardization Organizations
50LBT
The tool is written in Haskell, a pure functional language. It runs on different operating systems without problems. It support currently two input formats: AnB (Alice-and-Bob-style language) and a more involved Intermediate Format, which is the interface to other formats used in the research community (like ASLan and Applied-Pi-Calculus).

We may consider opening a public web service that allows the remote use of the tool without installing it.
Insights into security and verification technology
I want no support, thanks :-)
Sebastian Mödersheim (main author)
This is mainly about work effort, including Master and PhD student projects that I could supervise.
Visibility: OFMC is one of the well-known verification tools in security.

Communication: researchers can easily exchange on new ideas, because it serves as a basis into which external researchers can integrate new ideas, we thus also benefit from the progress of the entire community.

Teaching: perfect for teaching students security: they can quickly check an idea and modify the protocol when it has an attack.
The tool has been developed since 2003 when I was a PhD student at ETH, and later when I was postdoc at IBM Research in Zurich. For this reason it is an open-source model since the beginning, being under the BSD license.
The tool has to a large extend be written during my time at ETH, with a new module coming in at IBM. Since I am at DTU, there were not major developments on the tool, but several bug fixes, and simplifications.

For this reason it had been an open-source project from the beginning, under the BSD license ("do what you want with it, but don't sue us."). In particular this is the preferred open-source model in industry (e.g. IBM) since it bears no "viral" risk like the GPL license.
15
1/26/2015 0:20:32ToolJørgen Villadsenjovi@dtu.dk
Natural Deduction Assistant
It is a new tool for teaching logic based on natural deduction and with a formalization in the proof assistant Isabelle such that the usual informal descriptions can be avoided. Furthermore it can be used in a browser without any software installation.
Researchers, Courses at DTU, Courses at other Universities, Students, Industry
1000ALGOLOG
HTML, CSS and JavaScript (TypeScript).
Better logic skills.
Step-by-step tutorials as ScreenCasts or YouTube clips or similar., User documentation (handbooks, tutorials)
Jørgen Villadsen & Alexander Birch Jensen (MSc student)
Alpha-version available now: http://nadea.compute.dtu.dk/

Beta-version expected within weeks.

Further development of features planned.
With its unique and advanced features it has the potential to be the way of the future to teach logic in mathematics and computer science.
http://nadea.compute.dtu.dk/
NaDeA
GitHub open source software.
Copyright © 2015 Jørgen Villadsen & Alexander Birch Jensen

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
16
1/26/2015 12:23:06ToolPeter Røgenprog@dtu.dkNot fixed yet
It checks a morph between tween two protein chains given by an external alignment algorithm will cause the protein chain to change topology during the morph.
Researchers, Courses at DTU, Courses at other Universities, Students, Industry
?SCMatlab
They get access to a new way on confirming a potentional structural mach.
Hosting of software and resources so people can download it, Web page to promote artifact, Development of features
Peter Røgen
Time.
Also its costume to make short software-papers within the field. And that might be relevant here.
All structural alignment algorithms for protein structure comparison are blind to topological changes. A matlab software for including a topological evaluation of a given alignment has resently been developed (by me) and the benefit for COMPUTE is the goodvill it creates to offer this tool as a weeb-tool. Such that nonspecialist (biologist) without access to Matlab may explore the output from the tool.
TopCheckIts not published yet.
17
1/26/2015 12:42:54Data SetFinn Årup Nielsenfaan@dtu.dkAFINN
Word list with valences for, e.g., sentiment analysis
Researchers, Courses at DTU, Courses at other Universities, Students, Industry
4368 (yearly download from PubDB)
COGSYS
emacs, Twitter, Python programs
tool for sentiment analysis
Sample data of tool usage, User documentation (handbooks, tutorials), Software quality audit/assessment, Development of features
Finn Årup Nielsen
I wrote a scientific article about the word list and some blog posts. Since then it has grown a bit. I would like to examine the performance of the new word list and perhaps publish about it, but I am attached to an unrelated research project.

See also

http://neuro.compute.dtu.dk/wiki/AFINN

http://scholar.google.com/citations?view_op=view_citation&hl=da&user=9cagBQYAAAAJ&citation_for_view=9cagBQYAAAAJ:BqipwSGYUEgC
There is already a web-page with information about the word list.
AFINNvery smallsome KiBtab-separated
"Open Database License (ODbL) v1.0".
18
1/26/2015 16:26:27ToolEkkart Kindlerekki@dtu.dkePNK
The ePNK is a platform for Petri net tools based on the PNML transfer format. Its main idea is to provide generic Petri net types, which can be easily plugged into it, and to provide a simple generic GMF editor, which can be used for graphically editing nets of any plugged in type. Additional functionality can be plugged in. The ePNK is implemented based on the eclipse platform, and runs on all hardware platforms supporting Eclipse
Researchers, Courses at DTU, Courses at other Universities, Students
40SE
Eclipse (all versions from Indigo to Juno), Java >= 1.5, EMF, GMF
Easily building their own Petri net toos (getting editors and ISO/IEC-15909-2 support for free)
Hosting of software and resources so people can download it, Web page to promote artifact, Help desk/issue tracking services, Support/consulting on hosting, version control, integration etc., Easy way of building and deploying new versions (as eclipse update sites); easy way of collaborative software development (including issue and bug tracking in IDE); easy way of branching and merging different versions (student projects)
Ekkart Kindler et al.
Using my project as test bed serving as a test user; making suggestion on how things could be done and which technologies could be used.
The ePNK is published already (by an Eclipse udate site) and used by members of the Petri net community. This gives visibility to DTU Compute.

The ePNK is the basis for several student projects in courses, special
courses and bachelor and master projects.

A unified access to the repository and issue tracker would make it even
more attractive and easy for other members of the community to join
the work on ePNK.
ePNK
http://www2.imm.dtu.dk/~ekki/projects/ePNK/
The ePNK is publised under the EPL: https://www.eclipse.org/legal/epl-v10.html
19
1/26/2015 16:48:02ToolEkkart Kindlerekki@dtu.dkECNO Tool
The Event Coordination Notation (ECNO) is a notation to coordinate the behaviour among related model elements that are defined in structural diagrams such as class diagrams. The ECNO allows the definition of events and provides means for defining how different related model events need to join or participate in the execution of these events: an interaction.

The ECNO Tool is a prototype of fully supporting the modelling of
ECNO and for generating fully functioning code from these models.
It serves demonstration purposes for other scientists and to
do some larger case studies to, eventually, achieve industrial strength.


Researchers, Courses at DTU, Courses at other Universities, Students
20SE
Eclipse, Java, EMF, GMF, Hibernate/Teneo (and it is based on the ePNK, another tool submitted to this survey).
do research, case studies, and evaluation of ECNO
Hosting of software and resources so people can download it, Web page to promote artifact, Support/consulting on hosting, version control, integration etc., Software maintenance services, Development environment with integrated repository access and issue and bug tracking; version control with easy may to integrate branches; easy way of building and depolying new versions
Ekkart Kindler et al.
Using my project as test bed serving as a test user; making suggestion on how things could be done and which technologies could be used.
Visibility of DTU Compute
ECNO Tool
http://www2.imm.dtu.dk/~ekki/projects/ECNO/index.shtml
The ECNO Tool is published under the EPL: https://www.eclipse.org/legal/epl-v10.html
20
1/26/2015 17:03:59ToolEkkart Kindlerekki@dtu.dkSmart phone Surveys
Smart phone Surveys is a not yet started project, which was granted by the DTU Compute strategic fond to start implementing a flexible, generic and platform independent framework for data collection with smart phones.

This framework should it make easy to define all kinds of surveys for
smartphones for collecting data (such as health, traffic and well-being).
It would help DTU Compute to meet the demands from many other DTU departments or third parties to quickly obtain the relevant data for
some purpose.
Researchers, Courses at DTU, Courses at other Universities, Students, Industry
100 (once we are finished)
SE
Details not clear yet, but here are some things we might use:

* devices to be supported: iOS, Android,

* Xamarin, C#, XML, REST (Web services), Glassfish, Derby, MySQL, ...

Saving time for obtaining data
Hosting of software and resources so people can download it, Support/consulting on hosting, version control, integration etc., Support/consulting on development process, Tool suuport for all aspects of software development
Ekkart Kindler, Hubert Baumeister, Michael Reibel Boesen, Lasse Engbo Christiansen,Kristian Kristensen, Jakob Eg Larsen
Since this project is not yet started, it might be a good case study for the endeavour setting up a DTU Compute software development infrastructure
It would help DTU Compute to meet the demands from many other DTU departments or third parties to quickly obtain the relevant data for
some purpose.

Since this is a new project, it might be a useful case study for building up
the DTU Compute infrastructure for SE development.
not clear yet
21
1/27/2015 7:48:13Tool
Allan Peter Engsig-Karup
apek@dtu.dkGPULAB library
Easy proto-typing of Massively parallel computation for PDE-based solvers.
Researchers, IndustrySomeSCHybrid MPI-CUDA C.Maybe do new things.
Legal advice about licensing conditions, intellectual property issues etc., Hosting of software and resources so people can download it, Software maintenance services
Students doing research with me at DTU Compute
Research funding.
Is used in advanced engineering applications in concepts that are (still to my knowledge) unique worldwide.
GPULABlib
GPULAB library is a property of DTU Compute.
22
1/28/2015 19:20:39ToolHubert Baumeisterhuba@dtu.dkEasetech
Tool to model waste processes. Used in industry in research on waste processes.
Researchers, Courses at DTU, Courses at other Universities, Industry
Don't know the numbers
SE
This is a Windows desktop application written in C#, WPF, and AvalonDock.
Help desk/issue tracking services, Staffing / access to student helpers, Software development environment and tools: Newest version of Visual Studio, Team Foundation Server, Resharper etc.
DTU Compute Software Development Center
I don't understand the question. I am providing work effort in taking part in writing the software, code review, supervision of programmers.
The software is currently promoted by DTU Environment who has its own Web site for the course and offers courses to use the tool.
Easetech
The code is owned by DTU Environment.
23
1/28/2015 19:29:49ToolHubert Baumeisterhuba@dtu.dkEsculapa
This is a tool that that completes UML sequence diagrams describing interaction scenarios from detailed use cases with messages showing the internal message exchange of the system. The behavior of the system is described by state machines and executable OCL expressions.
Courses at DTU, Courses at other Universities, Students
??SE
UML, EMF, Eclipse, Topcased, Java.
Better understandingn of UML diagrams
Legal advice about licensing conditions, intellectual property issues etc., Hosting of software and resources so people can download it, Web page to promote artifact, Staffing / access to student helpers, Support/consulting on hosting, version control, integration etc., Development of features
Piotr PuczynskiDepends.
It is an educational tool for students to understand the different views UML offers on a software system.
Esculapa
This is work done in a masters project, so I guess the student has the IPR.
24
3/12/2015 14:46:24ToolPaul Poppaupo@dtu.dk
Design Optimization of TTEthernet-based Distributed Real-Time Systems
This tool optimizes the design of TTEthernet networks used to transmit real-time application messages. Given the set of TT and RC messages, and the topology of the network, our approach optimizes the packing of messages in frames, the assignment of frames to virtual links, the routing of virtual links and the TT static schedules, such that all frames are schedulable and the worst-case end-to-end delay of the RC messages is minimized. The tool is based on a Tabu Search metaheuristic, and is detailed in [1].

[1] D. Tamas-Selicean, P. Pop and W. Steiner: Design optimization of TTEthernet-based distributed real-time systems. To be published in Real-Time Systems Journal, 2015.
Researchers, Industry20ESEJava
Automatically construct the configuration of TTEthernet networks
Legal advice about licensing conditions, intellectual property issues etc., Hosting of software and resources so people can download it, Help desk/issue tracking services, User documentation (handbooks, tutorials), Staffing / access to student helpers, Support/consulting on hosting, version control, integration etc., Software quality audit/assessment, Support/consulting on software architecture, Software maintenance services
Domitian Tamas-Selicean
Possibly resources from ongoing EU projects
We have been asked by TTTech, the company (large enterprise) behind the communication protocol TTEthernet, to licence the tool to be integrated into their toolset.
DOTTS
This is the description of the tool in Markdown:

## Design Optimization of TTEthernet-based Distributed Real-Time Systems ##

###Introduction

Many safety-critical real-time applications are implemented using distributed architectures, composed of heterogeneous processing elements (PEs) interconnected in a network. The focus of this tool is on the TTEthernet protocol, a deterministic, synchronized and congestion-free network protocol based on the Ethernet standard and compliant with the ARINC 664 Specification Part 7. TTEthernet is highly suitable for safety-critical real-time applications since it offers separation for messages using the concept of virtual links and supports three time-criticality classes: Time-Triggered (TT), Rate-Constrained (RC) and Best-Effort (BE).

This tool optimizes the design of TTEthernet networks used to transmit real-time application messages. Given the set of TT and RC messages, and the topology of the network, our approach optimizes the packing of messages in frames, the assignment of frames to virtual links, the routing of virtual links and the TT static schedules, such that all frames are schedulable and the worst-case end-to-end delay of the RC messages is minimized. The tool is based on a Tabu Search metaheuristic, and is detailed in [1].

###Command-line

The main class is Optimization.java in package dk.dtu.imm.ese.tools.optimization.

Usage:

java Optimization <type> <network.graphml> <vl file> <messages> \
<history_file> <failedCount> <timeLimit> <s|t> \
[<penalty TT> <penalty RC> <w_tt> <w_rc>] [<history file>]

where:

* `<type>` : is of the format xxxxx and specifies what kind of optimization to perform

10000 : straighforward solution
01000 : RO
00100 : PFO
00010 : SO
00001 : MCDO , don't ignore BE moves
00002 : MCDO , ignore BE moves

* `<network.graphml>` : path to the the network.graphml file, modeling the network topology (see the next Section)
* `<vl file>` : path to the the vl file, modeling the virtual links (see the next Section)
* `<messages>` : path to the messages files, modeling the messages in the system (see the next Section)
* `<history_file>` : path to the output file, where the schedule will be saved
* `<failedCount>` : the number of allowed iterations that do not improve the solution. If this number is reached, a diversification iteration is applied.
* `<timeLimit>` : the time limit for the Tabu Search.
* `<s|t>` : *s* - consider shuffling for cost function value (for BE frames), *t* - consider timely block for cost function value (for BE frames)
* `<penalty TT>` : optional, specify the penalty value used as weight in the cost function for unschedulable TT frames. Default value 1.
* `<penalty RC>` : optional, specify the penalty value used as weight in the cost function for unschedulable TT frames. Default value 1.
* `<w_tt>` : optional, specify the weight used in the cost function for TT frames. Default value 1.
* `<w_rc>` : optional, specify the weight used in the cost function for RC frames. Default value 1.

The search can also be started using the runnable JAR file:
Usage:

java -classpath rtsj2014\_lib -jar rtsj2014.jar <network.graphml> <vl file> \
<messages> <history_file> <failedCount> <diversifyPercentage> \
<timeLimit> [<penalty TT> <w_tt> <w_rc>]


###Input

There are three input file formats:

1. graphml format modeling the topology of the network,
2. the *vls* file modelling the VLs in the network, and
3. *msg* file modelling the messages in the system.

#### Network topology model.
The topology is modeled by one graphml file, an XML-based format.
The structure is:

<graph id="name-of-the-topology”>
<!-- Specify the network nodes -->
<node id="node-id"/>

<!-- Specify the dataflow links-->
<edge if=“edge-id” source="id-source-node" target="id-target-node"/>
</graph>



For each *network node* you have to specify the node id `id`. As a coding standard, end systems have their ID starting with **es** and network switches have their ID starting with **ns**.
Moreover, for each node, one can specify the following attributes:

* `ttcap` (if it has TT capacity — default is true)
* `hwdelay` (if there is any hardware delay for processing messages — default is 0).

You can change the default values by updating the following keys:

<key id="ttcap" for="node" attr.name="ttcap" attr.type="boolean">
<default>true</default>
</key>

<key id="hwdelay" for="node" attr.name="hwdelay" attr.type="double">
<default>0.00</default>
</key>

For each *dataflow link*, you have to specify:

* the edge id `id`,
* the source network node `source`, and
* the destination network node `target`.

By default, you do not have to specify edges in both ways. It’s enough to do it on one way, and the script will build the opposite way too. If you want to change the default value, update the following key:

<!-- if true, the reading script will build the edges for the opposite way as well-->
<key id="id0" for="graph" attr.name="makeReverseEdge" attr.type="boolean">
<default>true</default>
</key>


#### Virtual link model
The virtual links are specified in their own file. Each entry has the following structure:

<vlid>: <source-ES>: <list-of-destination-ES>

where:

* `<vlid>` is the id of the virtual link. It’s composed of two parts: a prefix *vl*, followed by the number of the virtual link. For example: vl30
* `<source-ES>` is the source ES for this virtual link
* `<list-of-destination-ES>`: is a comma-delimited list of the destination ES
Example: vl1: es1: es41, es53

#### Message model
Messages are specified in a comma-separated value file, with the following structure:

<message-id>, <size>, <deadline>, <virtual-link-id>, <type>, <period-or-rate>, <offset>

where:

* `<message-id>` : is the id of the message. For TT messages this is prefixed by tt, for RC messages this is prefixed by rc, then followed by the number of frame
* `<size>` : size of the message in Bytes.
* `<deadline>` : deadline of the message in ns.
* `<virtual-link-id>` : id of the virtual link (specified in the vl file).
* `<type>` : TT or RC
* `<period-or-rate>` : the period for the TT messages, and the rate for the RC messages, specified in ns.
* `<offset>` : optional, in ns.


###Output
The app outputs four files for each search:

1. a msg file (same format as input),
2. a vl file, specifies the route for each VL used by the frames
3. a tabu file, (explained later in this Section)
4. a schedule file (explained later in this Section).

#### Tabu search details
Details from the tabu search, saved in a *.tabu* file, containing:

* the value of the cost function
* number of iterations
* a table stating for each move type the number of successful (that improved the solution) and failed (did not improve the solution) moves.
* a history of the applied moves and the resulting cost function value

These details can be used to tune the search parameters, such as the time limit.


####Output schedule

Has three parts:

1. the output schedule: for each dataflow link, the schedule contains as a tab-delimited file the frame instances schedule on the link using the following structure

<start-time> <end-time> <frame_id> <instance-number>

2. the degree of schedulability for the RC frames, using the following structure:

<frame_id> <degree-of-schedulability> <bandwidth-required-by-frame>

3. the cost of the solution with the following lines:

* Instances: number of frame instances in the frame.
* Unsch: number of unschedulable frames.
* Sched: number of schedulable frames.
* TT: `<degree-of-schedulability-TT-frames>`
* RC: `<degree-of-schedulability-RC-frames>`
* Total: value of the cost function.



###References

[1] D. Tamas-Selicean, P. Pop and W. Steiner: *Design optimization of TTEthernet-based distributed real-time systems.* To be published in Real-Time Systems Journal, 2015.
We're unsure. The tool has been developed by a former PhD student in the RECOMP EU project. We don't know if we should make it open source (the student agrees) or if/how to license it to TTTech.
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Loading...
 
 
 
Form Responses 1