INES – National Institute of Science and Technology for Software Engineering

RSS feed


August 2010
« Jul   Sep »

  • Context group researchers will have a meeting at Recife

    Publicado em August 18th, 2010Uncategorized

    Members of the Project: “Models, Processes and Tools for Developing Context Sensitive Systems”  meet at UFPE-Recife to discuss developed and ongoing activities within the scope of the INES project.

    The agenda includes two meetings and a master defense.

    Dates: 03/09 and 06/09.

    Place: Centro de Informática, UFPE, Recife.

    Prof. Vaninha Vieira will attend the meetings, representing UFBA.

  • INES at ICTAC 2010

    Publicado em August 18th, 2010Publications

    INES researchers Marcel Oliveira and Ivan Júnior had a paper accepted at ICTAC’2010 (International Colloquium on Theoretical Aspects of Computing – They will will be presenting this paper in Natal, Brazsil, in September 2010.

    Publication’ details are:

    JU. S. da Costa, I. M. Júnior, and M. V. M. Oliveira. Specification and Verification of a MPI
    Implementation for a MP-SoC. In: 7th International Colloquium on Theoretical Aspects of Computing (ICTAC’2010), 2010, Natal. LNCS (Volume to be announced). Heidelberg : Springer-Verlag, 2010.

    Abstract: System-on-Chip is a solution that integrates several components of a computer into a single chip substrate. Those systems are generally targeted for embedded applications and can increase their  processing power by using multiple processors and an on-chip interconnection. STORM is a Multi-Processor System-on-Chip virtual platform which uses a basic implementation of the MPI standard to provide  communication among their applications. STORM implements a small set of MPI routines for essential point-to-point and collective communication in order to provide more programmability and portability for the  applications of the platform. In this work, we make use of CSP to build a formal model of those MPI routines and eliminate imprecision and ambiguities that may arise from their informal descriptions on the MPI  standard. Also, we use the FDR model checker to ensure that the implemented routines have no errors introduced during the development process.

  • UFPE and UFCG Researchers at CBSOFT 2010

    Publicado em August 18th, 2010Uncategorized

    Márcio Cornélio, Rohit Gheyi, and Tiago Massoni (INES researchers), will attend the 1st Brazilian Conference on Software: Theory and Practice (CBSoft), from September 27th through October 1st. In this occasion, they will present a short course entitled “Java Modeling Language – JML”. This short course is part of the project “Making Program Evolution Safer“. Other researcher, Henrique Rebêlo (UFPE), will also attend CBSoft.