Verifikation av säkerhetskritisk programvara för flygtrafikledning mha lättrörliga processer

Agile verification of safety critical air traffic software

Goals/targets: The project aims to develop the verification methods for safety critical air traffic software. Development of efficient verification of non-functional requirement is of central importance in this project. Result and effects: Chalmers will have the possibility to strengthen its position in empiric research together with the industry in the area of verification methods and processes. For Saab it is of strategic importance to have research in this area, especially when automatic verification of non-functional requirements is a new area. Planning and implementing: The project is performed in collaboration between Chalmers University of Technology, Institution of Computer Science and Engineering, and Saab. The project starts with an analyze phase where the present verification methods are described and also the future requirements on safety critical Air Traffic software are defined. Thereafter Chalmers continues developing methods and processes for testing and in parallel these are implemented and evaluated together with Saab.


    • Swedish


    • Sponsor Organizations:


    • Project Managers:

      Westlund, Jan

    • Performing Organizations:

      Saab AB

    • Start Date: 20090801
    • Expected Completion Date: 20130630
    • Actual Completion Date: 0

    Subject/Index Terms

    Filing Info

    • Accession Number: 01517678
    • Record Type: Research project
    • Source Agency: Swedish National Road and Transport Research Institute (VTI)
    • Files: ITRD, VTI
    • Created Date: Mar 10 2014 1:20PM