Abstract
R2D2C is a technique to mechanically transform system requirements via provably equivalent models to running code. In this paper we complement its CSPbased, syntax-oriented model construction, which requires the support of a theorem prover, by model extrapolation via automata learning. The main practical impact of this approach is its power to support the systematic completion of the requirements, which by their nature are typically very partial and concentrate on the most prominent scenarios. Our technique generalizes these typical requirement skeletons by extrapolation and it indicates by means of automatically generated traces where the requirement specification is too loose and additional information is required.
Original language | English |
---|---|
Pages | 43-52 |
Number of pages | 10 |
Publication status | Published - 2006 |
Event | Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II - 2nd Workshop on Model-Based Development of Embedded Systems, MBEES 2006 - Braunschweig, Germany Duration: 9 Jan 2006 → 13 Jan 2006 |
Conference
Conference | Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II - 2nd Workshop on Model-Based Development of Embedded Systems, MBEES 2006 |
---|---|
Country/Territory | Germany |
City | Braunschweig |
Period | 9/01/06 → 13/01/06 |