Nettsider med emneord «Programming»

Publisert 17. apr. 2019 14:04

Isabelle is a Tool (from Cambridge/Munich) for Proving Correctness of Cyber Physical Systems and More.

One example application is to prove safety of IoT systems.

Publisert 21. aug. 2018 15:10

A software defined radio is to be integrated in a cubesat and wireless communications to and from the satellites control system will be tested.

Publisert 21. aug. 2018 15:03

A software defined radio is to be programmed to function as a communications payload on a small cubesat.

Publisert 25. aug. 2017 10:03

This is a general topic regarding modern concurrency models and their various theoretical and practical aspects. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from just programming a simple tool related to some forms of concurrency, or a literature study, or doing modelling of real-life concurrent systems, or develop a concurrent programming/modelling languge, or doing mathematical work on the logical foundations of all these models and their tools.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 23. aug. 2017 10:18

Interested in formal verification of critical systems (targeting SIL-3 and -4) ? This topic looks at Railway infrastructure designs, together with the industry partner RailComplete AS. The topic involves the use of the successful tool iSAT for verifying safety properties for a case study that RailComplete works with.

The student will learn to use the verification tool iSAT and how to model hybrid systems. The project may include software development to integrate the iSAT tools set into the framework of RailComplete.

You may be spending time in the RailComplete company, which designs railway infrastructures such as rail track designs or complete railway stations.

See project link. Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 23. aug. 2017 10:16

This project can be performed in cooperation with the railway software and consultant company RailComplete.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 1. aug. 2011 14:10
Publisert 26. mai 2011 21:54
Publisert 26. mai 2011 21:51
Publisert 26. mai 2011 21:50
Publisert 26. mai 2011 21:50
Publisert 1. feb. 2011 15:05
Publisert 7. jan. 2011 13:25
Publisert 4. nov. 2010 14:15
Publisert 3. nov. 2010 15:47
Publisert 3. nov. 2010 15:19