Formal goal-oriented development of resilient MAS in event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
A case study in formal development of a fault tolerant multi-robotic system
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Aligning SysML with the B method to provide V&V for systems engineering
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Hi-index | 0.00 |
With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the description obtained by the requirements analysis. Unfortunately, this transition from the requirements phase to the formal specification phase is one of the most painful steps and is still ambiguous. In fact, building this initial model requires a high level of competence and a lot of practice, especially as there is no well-defined process to assist designers. For that purpose, we propose a goal-based approach in which initial formal models (in Event-B) are built incrementally driven by a goal-oriented requirements engineering (GORE) paradigm.