• Login
    Ver ítem 
    •   AEIPRO Principal
    • Proceedings from the International Congress on Project Management and Engineering
    • CIDIP 2010 (Madrid)
    • Ver ítem
    •   AEIPRO Principal
    • Proceedings from the International Congress on Project Management and Engineering
    • CIDIP 2010 (Madrid)
    • Ver ítem
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    ABORDAGEM SISTEMÁTICA PARA O CONTROLO SEGURO DE SISTEMAS AEROESPACIAIS

    Thumbnail
    Ver/
    CIIP10_2666_2676.PDF (244.0Kb)
    Fecha
    2010
    Autor
    Borges, Paulo
    Machado, José
    Ferreira, João
    Creissac Campos, José
    Villani, Emilia
    Metadatos
    Mostrar el registro completo del ítem
    Resumen
    Formal verification of real-time systems behavior of is a complex task, for several reasons. There are multiple works developed in the domain of formal verification of real-time system behavior by model-checking, and various software tools were developed for this purpose. One of the most complexes problems to be solved in the analysis of real-time controllers is the conversion of programming languages controllers in formal languages, for example finite timed automata to be used as inputs of the existing model-checkers. If the methodology of the programming is well developed and known, this task can be greatly facilitated. Moreover, most real-time systems (especially embedded systems that we intend to study) are programmed in C language This article seeks to establish the methodology of creating programs in C code, from SFC specification formalism, taking into account the formal verification of behavior al properties desired for the system, using the Model-Checking technique and the modelchecker UPPAAL. A case study is presented to illustrate the methodology presented. These preliminary studies are presented on the context of a research collaboration project being developed by researchers of CT2M, ALGORITMI and CCTC research centers of University of Minho (Portugal) and the Mechanical Engineering Department of Technological Institute of Aeronautics (Brazil). Keywords: safe controllers; real-time systems; embedded systems; formal verification; specification formalisms
    URI
    http://dspace.aeipro.com/xmlui/handle/123456789/2168
    Colecciones
    • CIDIP 2010 (Madrid) [239]

    DSpace software copyright © 2002-2016  AEIPRO
    Contacto | Sugerencias
     

     

    Listar

    Todo AEIPROComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasEsta colecciónPor fecha de publicaciónAutoresTítulosMaterias

    Mi cuenta

    Acceder

    DSpace software copyright © 2002-2016  AEIPRO
    Contacto | Sugerencias