MT-Lab - Modelling of Information Technology

Project: Research

Project Details

Description

MT-Lab is a cooperative project with researchers from three Danish universities that will develop powerful computational methods and algorithms for the analysis of discrete, stochastic and continuous properties. This will result in new methods, techniques and software tools that can be used to guarantee complex properties of systems.

Almost everybody working professionally has experienced the frustration of having their computer application or web browser freezing in the midst of performing a task. This happens much less frequently to relatively simple computer programs like for instance the control program in a dishwasher or in a piece of stereo equipment. This is to a large extent due to now commonly used techniques in Computer Science such as static analysis and model checking – these types of analyses have proved extremely efficient in securing reliable functioning of simple computer programs.

However, for larger and more complicated computer systems like internet web browsers, intelligent homes, digital health care, and electronic payment systems these techniques are no longer sufficient. Indeed, future consumer electronic devices like PDAs, mobile phones, and domestic medical equipment will have a complexity that is comparable to web browsers and complex control systems.

The idea of the MT-Lab project is therefore to enhance well-known techniques on Computer Science like static analysis and model checking with modern methods in applied mathematics. The goal is to develop novel techniques that eventually will benefit the everyday citizen.
StatusFinished
Effective start/end date01/11/200831/10/2013

Collaborative partners

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Maximizing Entropy over Markov Processes

    Biondi, F., Legay, A., Nielsen, B. F. & Wasowski, A., 2014, In: Journal of Logic and Algebraic Programming. 83, 5-6, p. 384-399 12 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
    File
  • Robust synthesis for real-time systems

    Larsen, K. G., Legay, A., Traonouez, L.-M. & Wasowski, A., 2014, In: Theoretical Computer Science. 515, p. 96-122 28 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  • Abstract Probabilistic Automata

    Delahaye, B., Katoen, J.-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., Nov 2013, In: Information and Computation. 232, p. 66-116 50 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review