INES – National Institute of Science and Technology for Software Engineering

RSS feed


November 2022
« Nov    

  • Reliability and Safety in Critical Software

    Publicado em March 19th, 2012Uncategorized

    Development of critical software with high level of Safety and Reliability is still a great challenge in terms of theoretical and practical aspects. From the theoretical point of view, although there are already numerous proposals that are based on formalisms and techniques, the solutions that emerge from them are still incipient to cope with the demands of quality of these systems.

    In order to develop appropriate solutions for the development of critical software with high level of safety and reliability it is critical to address the following aspects:

    1) Ensuring the accurate capture and validation of actual requirements;

    2) Reduce the insertion of defects in the development process ensuring the correctness thorughout the development process (correct by construction);

    3) Demonstrate the absence of defects in the final product, and

    4) Eliminate the occurrence of undesirable behaviors, potential causes of failure related to severe accidents and catastrophic events.

    This research project aims to address these aspects in the context of embedded software, through cooperation between three institutions and two companies.

    The objectives of this proposal include:

    (A) Treatment of ambiguous or vague requirements by using Simulink diagrams or a controlled natural language (LNC), i. e., a subset of the natural language which has a precise syntax and a vocabulary.

    (B) Definition / development of tools for formal specification and analysis of functional and non-functional behaviour in design and implementation of applications.

    (C) Support requirements validation through research of techniques of software testing.

Leave a Reply

You must be logged in to post a comment.