Projects
STADiUM : Software Technology for Adaptable Distributed Middleware. Vrije Universiteit Brussel
The STADiUM project, funded by IWT, addresses this complex context and investigates a next generation management platform that is adaptable to various ...
Fundamental issues in Software Engineering: Modelling, Verification and Evolution of Software - MoVES Vrije Universiteit Brussel
Impact analysis of software maintenance using software traceability. University of Antwerp
Impact analysis of software maintenance using software traceability. University of Antwerp
Architecture-driven verification of systems software. KU Leuven
Systems software such as operating system kernels, hypervisors, database engines, web servers and language run-times forms the foundation of any modern computer system. It is extremely complex and hard to get right, with bugs making whole services unavailable or opening the doors of seemingly secure systems to viruses and criminals. Ensuring its reliability is thus imperative for building future trustworthy ICT infrastructures.
The ...
Exploring the Influence of Team Cohesion on Teamwork in Software Engineering Education: The ASEST Framework KU Leuven
Engineering education is critical for the development of industry and hence of society in general in any country. Nowadays it is generally recognized that in order to be an effective software engineer in the modern software industry one requires skills for performing in a team. A large number of published papers confirm that teams have been widely researched in software engineering education (SEE). However, famous industry Chaos Reports have ...
Testing of software with concurrent behavior KU Leuven
The lock-based shared memory model has proven error prone and difficult to test. Principally, non-deterministic behavior should be isolated, to facilitate testing the deterministic part. Using state space exploration, it is possible to deterministically run through different paths in the state space. However computational restrictions limit this exploration to a fixed number of thread interleavings. Nevertheless, as a testing strategy it is ...
Composable and Embeddable Software Design for Robotic and Cyber-Physical Systems KU Leuven
System-of-systems is the multidisciplinary area that involves system integration as a key to address complex tasks or problems, usually by means of composing multiple independently controlled systems together as part of a large application that often exists only temporarily.
This research presents a systematic methodology for the realization of autonomous coordination and self-reconfiguration on cyber-physical systems and ...