Reuse issues Sample Clauses

Reuse issues. ‌ R-EA-1: When using a formal method efficiently, does it become more natural to design generic, reusable components than when using non formal methods? The second pilot being studied during the enhanced deployment phase is a start and stop system. About xxxxx, there were no model artefact reused from the first pilot (cruise control) given the systems are quite different (closed loop controller vs input/output controller). The reuse considered here is at the process level. Consequently, there is currently no evidence of model artefact reuse. How- ever model reuse could be considered in the automotive domain between more similar systems for example the cruise controller and the speed limiter. R-PQAM-1: Does the potential of reuse increase when formalism is used efficiently? At the process level, the answer is yes: Bosch reused the methodology that was developed for the first pilot with some additional improvements to cope with identified limitations. The methodology is based on a progressive formalisation approach from requirements expressed in natural language to requirements expressed as problems frames and then to formal models in Event-B. In order to im- prove the transition to Event-B, an additional formalism based on RSML (Requirements State Machine Language) was introduced. This allows xxx- lysts to better specify state and transition-based systems. Previously finite state machines had to be directly traced from natural requirements to Event- B resulting in poor maintainability. With RSML finite state machines can now be specified in an explicit formalism before being translated in Event-B.