_____________________________________________________________________
SUMMARY
Systems software — such as operating system kernels, hypervisors, database engines, web servers, and language run-times — form the foundation of any modern computer system. It is extremely complex and hard to maintain stably and securely, with bugs making entire 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 ADVENT project will develop innovative methods and tools for the cost-effective verification of real-world systems software, making it possible to guarantee an unprecedented level of reliability.
Building on the emerging technology of separation logic, the project team will formalise such the ad hoc software engineering concepts used by systems programmers (such as informally described patterns, idioms, and abstractions) which constitute the software architecture. The project team will use the results to drive the design of verification techniques.
_____________________________________________________________________
SOLUTIONS
- Formalising the ad hoc, improvised set of practices witch constitute modern software architecture
- Developing verification tools which can scale to large, complex systems
- Improving the cost-benefit ratio of verification technology that will allow verification to scale of systems of real-world size and complexity that so far have been beyond the reach of conventional quality assurance methods
_____________________________________________________________________
LINK: http://www.iminds.be/en/projects/2014/04/07/advent
_____________________________________________________________________
