Six (im)possible things before breakfast building-blocks and design-principles for wise computing (work-in-progress report)

Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel

Research output: Contribution to journalConference articlepeer-review

8 Scopus citations


Despite many advances in automating system and software engineering, the knowledge, skills and experience of human Engineers and domain experts are, and will continue to be, critical factors in the success of complex system development projects. In a new research direction we term towards wise computing we aim to make some of these abilities available to all project-team members, at any time, by adding several radically-new capabilities to the development environment. For example, the development environment will be able to, on its own, notice and suggest a required action for, an unexpected, unspecified, emergent system property. A report on the ultimate wise-computing vision and an initial demonstration of the desired functions have been published separately. Clearly, advanced tools, such as formal verification and synthesis, machine learning and automatic reasoning, which were not previously available, are now maturing and will be essential to wise computing. Yet, a comprehensive feasibility plan was not shown until now, and despite the above arsenal of tools, a challenge is often presented: is it indeed possible to automate some critically relevant abilities of humans, like free association, applying general knowledge to a wide variety of specific cases, or \thinking outside the box" to find a solution to a problem. In this report we outline research directions for several software capabilities and design principles that we have begun to work on, and which we believe can remove key remaining obstacles to feasibility of wise computing.

Original languageAmerican English
Pages (from-to)94-100
Number of pages7
JournalCEUR Workshop Proceedings
StatePublished - 2016
Externally publishedYes
Event2016 MoDELS Demo and Poster Sessions, MoDELS-D and P 2016 - Saint-Malo, France
Duration: 2 Oct 20167 Oct 2016


Dive into the research topics of 'Six (im)possible things before breakfast building-blocks and design-principles for wise computing (work-in-progress report)'. Together they form a unique fingerprint.

Cite this