A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper)

Spencer Park, Emil Sekerinski

This paper proposes the use of notebooks for the design documentation and tool interaction in the rigorous design of embedded systems. Conventionally, a notebook is a sequence of c…