Enhanced requirements-based programming for embedded systems design

Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen

Research output: Contribution to conferencePaperpeer-review

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 languageEnglish
Pages43-52
Number of pages10
Publication statusPublished - 2006
EventDagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II - 2nd Workshop on Model-Based Development of Embedded Systems, MBEES 2006 - Braunschweig, Germany
Duration: 9 Jan 200613 Jan 2006

Conference

ConferenceDagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II - 2nd Workshop on Model-Based Development of Embedded Systems, MBEES 2006
Country/TerritoryGermany
CityBraunschweig
Period9/01/0613/01/06

Fingerprint

Dive into the research topics of 'Enhanced requirements-based programming for embedded systems design'. Together they form a unique fingerprint.

Cite this