Estamos com um projeto em aberto aqui na empresa que acho que pode ser tornar um trabalho de formatura. A empresa se chama AeS e tem como foco o desenvolvimento de sistemas criticos embarcados, tendo como principal cliente o metro de São Paulo. Além disso, a sede se localiza no Butantã, facilitando a locomoção do aluno. Segue abaixo um resumo do projeto:
++++++++++++++++++++++++++++++
+++++++++++++
The Event-B method is gaining visibility in formal methods community due to excellent support for refinement and has been used in embedded safety-critical systems development. However, the traceability between the requirements and the formal model is still an issue of this method. On the other hand, use cases have become the informal industry standard for mapping functional requirements, describing the system's behavior using natural language. In this project we plan mapping use cases into Event-B specifications, providing a practical way to establish traceability between functional requirements and formal models. Specifically, the student will develop an editor for controlled use cases (as Eclipse plugin) to accomplish this mapping.
The Event-B method is gaining visibility in formal methods community due to excellent support for refinement and has been used in embedded safety-critical systems development. However, the traceability between the requirements and the formal model is still an issue of this method. On the other hand, use cases have become the informal industry standard for mapping functional requirements, describing the system's behavior using natural language. In this project we plan mapping use cases into Event-B specifications, providing a practical way to establish traceability between functional requirements and formal models. Specifically, the student will develop an editor for controlled use cases (as Eclipse plugin) to accomplish this mapping.
+++++++++++++++++++++++++++++++++++++++++++
Contato: Thiago Carvalho de Sousa <thiagosousa@hotmail.com>