Projects
A Future Software Defines Internet Core and advanced Cloud Research Infrastructure Ghent University
* Flexible cloud environment:
- 8 cloud servers: flexible configuration, in total able to run more then 2000 virtual machines (228,8 kEUR)
- Ultra fast cloud storage (SSD based) 40TB: 62,5 kEUR
- Fast and big cloud storage (SATA based) 500TB: 61,7 kEUR
- 100 Gb/s infiniband storage network: 31 kEUR
- GPU cloud: 23,1 kEUR
- Low power cloud: 32 kEUR
* Core network:
...
Software Services to Simplify Time Management for IoT Application Development KU Leuven
The Internet-of-Things (IoT) consists of physical objects that are enhanced with computation and communication capabilities to sense and transmit their measurements to applications.
Many IoT applications are time-senstive, e.g. real-time industrial monitoring, requiring timely reactions to incoming sensor data to produce correct results.
Managing time in IoT application development is challenging due to the large degree of ...
Software for cooperative autonomous systems KU Leuven
Developing software for cooperative autonomous systems is challenging, especially for safety-critical systems such as UAVs. A problem with current approaches in the design of UAV software is handling conflicting goals. Currently, there is no way to detect/avoid conflicting goals in the UAV software in a consistent and predictable manner. Component-based design and development can bring inherent reliability to an airborne system, however, ...
Software and hardware techniques for capability adaptation in edge processing platforms KU Leuven
This thesis will investigate the development of a new class of adaptable edge processing platform, which simultaneously 'lowers the floor' of energy consumption, while 'raising the ceiling' of compute and network performance by radically adapting its hardware and software configuration to suit changing conditions. This will enable a range of new applications within the broad field of Industry 4.0, particularly those that require edge ...
Developing software and hardware methods tailor-made for neuroscience microscopy recordings KU Leuven
Many aspects of life are controlled by neuronal circuits that integrate multiple inputs to produce a balanced output, which is used to accurately control reflexes and behaviour. The complexity of neural control varies substantially in different organisms, ranging from rather simple circuits in lower organisms with limited numbers of neurons and connections (e.g reflex control in the snail Aplysia) to the highly complex circuitry of the human ...
Software Architecture and Modules for Unified RAdio control Ghent University
SAMURAI main objective of the Project is to design, evaluate and optimize a software architecture for uniform radio control off-the-shelf wireless hardware and Software Defined Radio's (SDR), which also supports wireless network intelligence. This allows companies to: - reduce their (re) development costs by using a validated technology that adapts to the underlying hardware and enables reuse in different products. - unused functionality to ...
Migration to agile design of embedded software that recovers itself after errors due to external factors KU Leuven
This thesis focuses on the selection and implementation of software-implemented countermeasures designed to detect control flow errors in embedded systems. A control flow error is an erroneous jump throughout an executing program induced by external disturbances. These disturbances, such as electromagnetic interference, can introduce bit-flips in different components of a system’s hardware. In turn, these introduced bit-flips affect the ...
Modular Semi-Automated Formal Verification of Security-Critical Software KU Leuven
In our increasingly computer-oriented society, the computer programs we rely on tend to increase in size and complexity. Since we almost have no choice but to trust these programs with our secrets and privacy, managing the quality of software has become ever more important. Countless techniques have been developed to demonstrate the correctness of security-critical software and this thesis extends on one of those: i.e. formal ...
Low-level software security. KU Leuven
With the rising popularity of the IoT (Internet of Things), the use of small, low-power embedded devices is rapidly increasing. Unfortunately, these kind of devices often lack the security features we are grown used to in the domain of desktop and server computing. However, in a context where multiple mutually distrusting stakeholders are able to share an IoT infrastructure to process sensitive data, the lack of, for example, basic software ...