Monday, April 16, 2007

Tesis.

Bueno, en el almuerzo se me ocurrio la idea que podria ser mi tesis (ojala algun dia decida bien que hacer). Siguiendo con la idea del anterior post, seria asi:

En gumstix se correria pistachio, en el cual se correria un Framework de Control, el cual estaria previamente diseñado , modelado con UML y verificado con B-Method, y para la configuracion del control se tendria que especificar en UML.
Se tendria algo asi:

* Una aplicacion en la cual se diseñarian los componentes del sistema: Actuadores, Sensores, y el control como tal. La salida de este seria un modelo en UML.

* Este modelo se le pasaria al Framework en Pistachio el cual lo implementaria y se comunicaria con los sensores y los actuadores.

* El Framework se diseña en UML y se verificaria en B-Method, si algo falla ya seria problema de la arquitectura del Gumstix.

* Se pondria a prueba en el control de algun sistema complejo de controlar.

Eso seria todo.

1 comment:

Sebastián Castillo Builes said...

Ahi entre UML y B-method se sitúa un lenguaje de restricciones muy útil y definido por la OMG, se llama OCL: Object Constraint Language

Y en este vínculo enontrás la documentación oficial de esa vaina:

http://www.omg.org/technology/documents/formal/ocl.htm