Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Execution and Verification of UML State Machines with Erlang
Año:2014
Áreas de investigación
  • Ingenierías
Datos
Descripción
Validation of a system design enables to discover specification errors before it is implemented (or tested), thus hopefully reducing the development cost and time. The Unified Modelling Language (UML) is becoming widely accepted for the early specification and analysis of requirements for safety-critical systems, although a better balance between UML?s undisputed flexibility, and a precise unambiguous semantics, is needed. In this paper we introduce UMerL, a tool that is capable of executing and formally verifying UML diagrams (namely, UML state machine, class and object diagrams) by means of a translation of its behavioural information into Erlang. The use of the tool is illustrated with an example in embedded software design.
Internacional
Si
Nombre congreso
Software Engineering and Formal Methods
Tipo de participación
960
Lugar del congreso
Grenoble, Francia
Revisores
Si
ISBN o ISSN
978-3-319-10431-7
DOI
Fecha inicio congreso
01/09/2014
Fecha fin congreso
05/09/2014
Desde la página
284
Hasta la página
289
Título de las actas
Software Engineering and Formal Methods
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Ricardo Julio Rodríguez Fernández (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Angel Herranz Nieva (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)