INES – National Institute of Science and Technology for Software Engineering

RSS feed


March 2012
« Feb   Apr »

  • INES has a paper at ICSE’2012

    Publicado em March 19th, 2012News, Publications

    Researchers from the Evidence-Based Software Engineering Project have a full paper at the Software Engineering in Practice (SEIP) track of the 34th International Conference on Software Engineering (ICSE). The paper is entitled “On the Proactive and Interactive Visualization for Feature Evolution Comprehension: An Industrial Investigation” and is authored by Renato Lima Novais, Camila Nunes, Caio Lima, Elder Cirilo, Francisco Dantas, Alessandro Garcia, Manoel Mendon├ža. ICSE is the flagship conference on software engineering in the world.

    , , ,
  • 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.