Amphion/NAV: deductive synthesis of state estimation software

Whittle, Jon; Baalen, Jeffrey Van; Schumann, Johann; Robinson, Peter; Pressburger, Thomas; Penix, John; Oh, Poo-Kyung; Lowry, Michael; Brat, Guillaume

doi:10.1109/ase.2001.989837

Cited by 19 publications

(7 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Based on automatic transformation from natural language to formal logic [68] based on code synthesis [198] Model generation from natural language similar to rule-based linguistic approaches (e.g., [91,92]-but do not explicitly mention traceability).…”

Section: Fully Automatedmentioning

confidence: 99%

“…Thus, new tools have to be developed which are able to record traces, and existing tools have to be enhanced, like the ExplainIt! enhancement to Amphion/NAV, a Fortran code generator [198]. Also, in the QVT domain, metamodels and transformation rules have to be explicitly enhanced for every project in order to make the transformations traceable.…”

Section: Fully Automated Traceabilitymentioning

confidence: 99%

See 1 more Smart Citation

A survey of traceability in requirements engineering and model-driven development

2009

View full text Add to dashboard Cite

Traceability-the ability to follow the life of software artifacts-is a topic of great interest to software developers in general, and to requirements engineers and model-driven developers in particular. This article aims to bring those stakeholders together by providing an overview of the current state of traceability research and practice in both areas. As part of an extensive literature survey, we identify commonalities and differences in these areas and uncover several unresolved challenges which affect both domains. A good common foundation for further advances regarding these challenges appears to be a combination of the formal basis and the automated recording opportunities of MDD on the one hand, and the more holistic view of traceability in the requirements engineering domain on the other hand.Keywords Requirements engineering · Model-driven engineering · Model-driven development · Traceability

show abstract

Section: Fully Automatedmentioning

confidence: 99%

Section: Fully Automated Traceabilitymentioning

confidence: 99%

A survey of traceability in requirements engineering and model-driven development

2009

View full text Add to dashboard Cite

show abstract

“…There has been work towards implementing DSLs and MDE in other scientific disciples, for example Whittle et al [14] generated Fortran code from a high level graphical specification, composing code from a subroutine library. However in environmental modelling, there are no such examples of languages orchestrating systems from components in this way.…”

Section: Software Engineering and Environmental Sciencementioning

confidence: 99%

The Design of Nothing: A Working Philosophy

Rodgers

Bremner

2018

Design Research Foundations

View full text Add to dashboard Cite

New and emergent computing architectures and software engineering practices provide an opportunity for environmental models to be deployed more efficiently and democratically. In this paper we aim to capture the software engineering practices of environmental scientists, highlight opportunities for software engineering and work towards developing a domain specific language for the configuration and deployment of environmental models. We hold a series of interviews with environmental scientists involved in developing and deploying computer based environmental models about the approach taken in engineering models, and describe a case study in deploying an environmental model (WRF: Weather Research Forecasting) on a cloud architecture. From these studies we find a number of opportunities for a) software engineering methods and tools such as Domain Specific Languages to play a role in abstracting from underlying computing complexity, and for b) new architectures to increase efficiency and availability of deployment. Together, we propose they will allow scientists to concentrate on fundamental science rather than specifics of the underlying computing. CCS CONCEPTS• Applied computing → Environmental sciences; • Software and its engineering → Abstraction, modeling and modularity;

show abstract

“…Amphion [19] is a purely deductive synthesis system which has been used to synthesize astronomical software using library components. Amphion/NAV [20] applies the same technology to the state estimation domain. The scale-up difficulties encountered there led to a switch to a schema-based approach and the development of the AUTOFILTER-system [21] as a domain-specific extension of AUTOBAYES.…”

Section: Related Workmentioning

confidence: 99%

Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond

Fischer¹

2004

AIP Conference Proceedings

View full text Add to dashboard Cite

AUTOBAYES is a fully automatic program synthesis system for the data analysis domain. Its input is a declarative problem description in form of a statistical model; its output is documented and optimized C/C++ code. The synthesis process relies on the combination of three key techniques. Bayesian networks are used as a compact internal representation mechanism which enables problem decompositions and guides the algorithm derivation. Program schemas are used as independently composable building blocks for the algorithm construction; they can encapsulate advanced algorithms and data structures. A symbolic-algebraic system is used to find closed-form solutions for problems and emerging subproblems. In this paper, we describe the application of AUTOBAYES to the analysis of planetary nebulae images taken by the Hubble Space Telescope. We explain the system architecture, and present in detail the automatic derivation of the scientists' original analysis [1] as well as a refined analysis using clustering models. This study demonstrates that AUTOBAYES is now mature enough so that it can be applied to realistic scientific data analysis tasks. FIGURE 3. Bayesian net for Gaussian model, automatically extracted from the Gaussian model specification and drawn using the dot graph layouting package [7].

show abstract

Amphion/NAV: deductive synthesis of state estimation software

Cited by 19 publications

References 6 publications

A survey of traceability in requirements engineering and model-driven development

A survey of traceability in requirements engineering and model-driven development

The Design of Nothing: A Working Philosophy

Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond

Contact Info

Product

Resources

About